Introduction.nb

(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 9.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       157,          7]
NotebookDataLength[    112128,       3121]
NotebookOptionsPosition[     45115,       1619]
NotebookOutlinePosition[    105436,       2909]
CellTagsIndexPosition[    105348,       2904]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["PauliAlgebra Package", "Title"],

Cell["Everett You, UCSB, August 21, 2013", "Author"],

Cell[CellGroupData[{

Cell["Abstract", "AbstractSection"],

Cell[TextData[{
 "This document introduces the usage of the ",
 StyleBox["PauliAlgebra", "Program"],
 " package. Please contact the author to report bugs or give suggestions via ",
 StyleBox["everettyou.internet@gmail.com",
  FontVariations->{"Underline"->True}],
 "."
}], "Abstract"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Package Installation", "Section"],

Cell[CellGroupData[{

Cell["Installation", "Subsubsection"],

Cell["To install the package, please evaluate the cell below:", "TextIndent"],

Cell[BoxData[
 RowBox[{
  RowBox[{"With", "[", 
   RowBox[{
    RowBox[{"{", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"dir1", "=", 
       RowBox[{"FileNameJoin", "[", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{"NotebookDirectory", "[", "]"}], ",", 
          "\"\<PauliAlgebra\>\""}], "}"}], "]"}]}], ",", 
      "\[IndentingNewLine]", 
      RowBox[{"dir2", "=", 
       RowBox[{"FileNameJoin", "[", 
        RowBox[{"{", 
         RowBox[{
         "$InstallationDirectory", ",", "\"\<AddOns\>\"", ",", 
          "\"\<ExtraPackages\>\"", ",", "\"\<PauliAlgebra\>\""}], "}"}], 
        "]"}]}]}], "}"}], ",", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{"If", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"FileType", "[", "dir2", "]"}], "==", "Directory"}], ",", 
       RowBox[{"DeleteDirectory", "[", 
        RowBox[{"dir2", ",", 
         RowBox[{"DeleteContents", "->", "True"}]}], "]"}]}], "]"}], ";", 
     "\n", "\t", 
     RowBox[{"CopyDirectory", "[", 
      RowBox[{"dir1", ",", "dir2"}], "]"}]}]}], "]"}], ";"}]], "Input"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Verification", "Subsubsection"],

Cell["To verify the installation, try loading the package by", "TextIndent"],

Cell[BoxData[
 RowBox[{"<<", "PauliAlgebra`"}]], "Input"],

Cell["\<\
If no error message is generated, one can proceed to check the content of the \
package. The package should provide the following functions:\
\>", "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "PauliAlgebra`*"}]], "Input"],

Cell[BoxData[
 DynamicModuleBox[{Typeset`open$$ = True}, 
  PaneSelectorBox[{False->
   RowBox[{
    OpenerBox[Dynamic[Typeset`open$$],
     ImageSize->Small], 
    StyleBox["PauliAlgebra`", "InfoHeading"]}], True->GridBox[{
     {
      RowBox[{
       OpenerBox[Dynamic[Typeset`open$$],
        ImageSize->Small], 
       StyleBox["PauliAlgebra`", "InfoHeading"]}]},
     {GridBox[{
        {
         ButtonBox["Abstract",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info3586209302-9605956", {"Abstract", "PauliAlgebra`"}},
          ButtonNote->"PauliAlgebra`"], 
         ButtonBox["Qbit",
          BaseStyle->"InformationLink",
          ButtonData:>{"Info3586209302-9605956", {"Qbit", "PauliAlgebra`"}},
          ButtonNote->"PauliAlgebra`"], 
         ButtonBox["\[Sigma]",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info3586209302-9605956", {"\[Sigma]", "PauliAlgebra`"}},
          ButtonNote->"PauliAlgebra`"]},
        {
         ButtonBox["ActionSpace",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info3586209302-9605956", {"ActionSpace", "PauliAlgebra`"}},
          ButtonNote->"PauliAlgebra`"], 
         ButtonBox["Represent",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info3586209302-9605956", {"Represent", "PauliAlgebra`"}},
          ButtonNote->"PauliAlgebra`"], 
         ButtonBox["\[Sigma]PolynomialQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info3586209302-9605956", {"\[Sigma]PolynomialQ", "PauliAlgebra`"}},
          ButtonNote->"PauliAlgebra`"]}
       },
       DefaultBaseStyle->"InfoGrid",
       GridBoxItemSize->{"Columns" -> {{
            Scaled[0.31666666666666665`]}}}]}
    },
    GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}]}, 
   Dynamic[Typeset`open$$],
   ImageSize->Automatic]]], "Print", "InfoCell"]
}, Open  ]],

Cell["\<\
If everything is OK, then the package should have been successfully \
installed, and can be used. Otherwise please contact the author to report the \
problem.\
\>", "TextNoIndent"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Tutorial", "Section"],

Cell[CellGroupData[{

Cell["Arithmetic", "Subsection"],

Cell[CellGroupData[{

Cell["Tensor Product", "Subsubsection"],

Cell["Four basic Pauli matrices are introduced", "TextIndent"],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    SubscriptBox["\[Sigma]", "0"], "=", 
    RowBox[{"(", GridBox[{
       {"1", "0"},
       {"0", "1"}
      }], ")"}]}], ",", 
   RowBox[{
    SubscriptBox["\[Sigma]", "1"], "=", 
    RowBox[{"(", GridBox[{
       {"0", "1"},
       {"1", "0"}
      }], ")"}]}], ",", 
   RowBox[{
    SubscriptBox["\[Sigma]", "2"], "=", 
    RowBox[{"(", GridBox[{
       {"0", 
        RowBox[{"-", "\[ImaginaryI]"}]},
       {"\[ImaginaryI]", "0"}
      }], ")"}]}], ",", 
   RowBox[{
    SubscriptBox["\[Sigma]", "3"], "=", 
    RowBox[{
     RowBox[{"(", GridBox[{
        {"1", "0"},
        {"0", 
         RowBox[{"-", "1"}]}
       }], ")"}], "."}]}]}], TraditionalForm]], "DisplayFormulaNumbered"],

Cell[TextData[{
 "Denote the tensor product of a series of Pauli matrices ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    SubscriptBox["\[Sigma]", "a"], "\[CircleTimes]", 
    SubscriptBox["\[Sigma]", "b"], "\[CircleTimes]", 
    SubscriptBox["\[Sigma]", "c"], "\[CircleTimes]", "\[Ellipsis]"}], 
   TraditionalForm]]],
 " by the short-handed notation ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["\[Sigma]", 
    RowBox[{"a", ",", "b", ",", "c", ",", "\[Ellipsis]"}]], TraditionalForm]]],
 ", which can be input either as ",
 StyleBox["\[Sigma][a,b,c,\[Ellipsis]]", "Program"],
 " directly, or can explicitly use the tensor product operator \
(\[CircleTimes] is entered as \[EscapeKey]c*\[EscapeKey]). The tensor product \
construction will be translated by ",
 StyleBox["Mathematica",
  FontSlant->"Italic"],
 " to the short-handed notation automatically."
}], "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Sigma]", "[", "a", "]"}], "\[CircleTimes]", 
  RowBox[{"\[Sigma]", "[", "b", "]"}], "\[CircleTimes]", 
  RowBox[{"\[Sigma]", "[", "c", "]"}]}]], "Input"],

Cell[BoxData[
 RowBox[{"\[Sigma]", "[", 
  RowBox[{"a", ",", "b", ",", "c"}], "]"}]], "Output"]
}, Open  ]],

Cell[TextData[{
 "For example, ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["\[Sigma]", 
    RowBox[{"1", ",", "2"}]], TraditionalForm]]],
 " reads"
}], "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"1", ",", "2"}], "]"}], "//", "Represent"}], "//", 
  "MatrixForm"}]], "Input"],

Cell[BoxData[
 TagBox[
  RowBox[{"(", "\[NoBreak]", GridBox[{
     {"0", "0", "0", 
      RowBox[{"-", "\[ImaginaryI]"}]},
     {"0", "0", "\[ImaginaryI]", "0"},
     {"0", 
      RowBox[{"-", "\[ImaginaryI]"}], "0", "0"},
     {"\[ImaginaryI]", "0", "0", "0"}
    },
    GridBoxAlignment->{
     "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
      "RowsIndexed" -> {}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[0.7]}, 
        Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}],
  Function[BoxForm`e$, 
   MatrixForm[
   SparseArray[
    Automatic, {4, 4}, 0, {
     1, {{0, 1, 2, 3, 4}, {{4}, {3}, {2}, {1}}}, {
      Complex[0, -1], Complex[0, 1], Complex[0, -1], Complex[
       0, 1]}}]]]]], "Output"]
}, Open  ]],

Cell[TextData[{
 "Let us call ",
 Cell[BoxData[
  FormBox[
   RowBox[{"z", " ", 
    SubscriptBox["\[Sigma]", 
     RowBox[{"a", ",", "b", ",", "\[Ellipsis]"}]]}], TraditionalForm]]],
 " a Pauli monomial, and the sum of several Pauli monomials is a Pauli \
polynomial. In quantum mechanics, many seemly complicated matrices have \
simple expressions in terms of Pauli polynomials. That is why the Pauli \
algebra is useful in physics applications."
}], "TextIndent"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Dot Product", "Subsubsection"],

Cell[TextData[{
 "The dot product  \[CenterDot] is entered as \[EscapeKey].\[EscapeKey]. Dot \
product simply stands for the matrix multiplication, which is carried out \
according to the Pauli algebra. For example, ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{
     SubscriptBox["\[Sigma]", "2"], 
     SubscriptBox["\[Sigma]", "3"]}], "=", 
    RowBox[{"\[ImaginaryI]", " ", 
     SubscriptBox["\[Sigma]", "1"]}]}], TraditionalForm]]],
 " is given by"
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Sigma]", "[", "2", "]"}], "\[CenterDot]", 
  RowBox[{"\[Sigma]", "[", "3", "]"}]}]], "Input"],

Cell[BoxData[
 RowBox[{"\[ImaginaryI]", " ", 
  RowBox[{"\[Sigma]", "[", "1", "]"}]}]], "Output"]
}, Open  ]],

Cell[TextData[{
 "The following  is the multiplication table calculated by ",
 StyleBox["Mathematica",
  FontSlant->"Italic"],
 " for ",
 Cell[BoxData[
  FormBox[
   RowBox[{"2", "\[Times]", "2"}], TraditionalForm]]],
 " matrices."
}], "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"TableForm", "[", 
  RowBox[{
   RowBox[{"Table", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"\[Sigma]", "[", "i", "]"}], "\[CenterDot]", 
      RowBox[{"\[Sigma]", "[", "j", "]"}]}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "0", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"j", ",", "0", ",", "3"}], "}"}]}], "]"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"TableHeadings", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{"#", ",", "#"}], "}"}]}], "&"}], "@", 
    RowBox[{"Array", "[", 
     RowBox[{"\[Sigma]", ",", "4", ",", "0"}], "]"}]}]}], "]"}]], "Input"],

Cell[BoxData[
 TagBox[
  TagBox[GridBox[{
     {
      StyleBox["\[Null]",
       ShowStringCharacters->False], 
      TagBox[
       RowBox[{"\[Sigma]", "[", "0", "]"}],
       HoldForm], 
      TagBox[
       RowBox[{"\[Sigma]", "[", "1", "]"}],
       HoldForm], 
      TagBox[
       RowBox[{"\[Sigma]", "[", "2", "]"}],
       HoldForm], 
      TagBox[
       RowBox[{"\[Sigma]", "[", "3", "]"}],
       HoldForm]},
     {
      TagBox[
       RowBox[{"\[Sigma]", "[", "0", "]"}],
       HoldForm], 
      RowBox[{"\[Sigma]", "[", "0", "]"}], 
      RowBox[{"\[Sigma]", "[", "1", "]"}], 
      RowBox[{"\[Sigma]", "[", "2", "]"}], 
      RowBox[{"\[Sigma]", "[", "3", "]"}]},
     {
      TagBox[
       RowBox[{"\[Sigma]", "[", "1", "]"}],
       HoldForm], 
      RowBox[{"\[Sigma]", "[", "1", "]"}], 
      RowBox[{"\[Sigma]", "[", "0", "]"}], 
      RowBox[{"\[ImaginaryI]", " ", 
       RowBox[{"\[Sigma]", "[", "3", "]"}]}], 
      RowBox[{
       RowBox[{"-", "\[ImaginaryI]"}], " ", 
       RowBox[{"\[Sigma]", "[", "2", "]"}]}]},
     {
      TagBox[
       RowBox[{"\[Sigma]", "[", "2", "]"}],
       HoldForm], 
      RowBox[{"\[Sigma]", "[", "2", "]"}], 
      RowBox[{
       RowBox[{"-", "\[ImaginaryI]"}], " ", 
       RowBox[{"\[Sigma]", "[", "3", "]"}]}], 
      RowBox[{"\[Sigma]", "[", "0", "]"}], 
      RowBox[{"\[ImaginaryI]", " ", 
       RowBox[{"\[Sigma]", "[", "1", "]"}]}]},
     {
      TagBox[
       RowBox[{"\[Sigma]", "[", "3", "]"}],
       HoldForm], 
      RowBox[{"\[Sigma]", "[", "3", "]"}], 
      RowBox[{"\[ImaginaryI]", " ", 
       RowBox[{"\[Sigma]", "[", "2", "]"}]}], 
      RowBox[{
       RowBox[{"-", "\[ImaginaryI]"}], " ", 
       RowBox[{"\[Sigma]", "[", "1", "]"}]}], 
      RowBox[{"\[Sigma]", "[", "0", "]"}]}
    },
    GridBoxAlignment->{
     "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
      "RowsIndexed" -> {}},
    GridBoxDividers->{
     "Columns" -> {False, True, {False}, False}, "ColumnsIndexed" -> {}, 
      "Rows" -> {False, True, {False}, False}, "RowsIndexed" -> {}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[2.0999999999999996`]}, 
        Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}, "RowsIndexed" -> {}}],
   {OutputFormsDump`HeadedRows, OutputFormsDump`HeadedColumns}],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$, TableHeadings -> {{
       PauliAlgebra`\[Sigma][0], 
       PauliAlgebra`\[Sigma][1], 
       PauliAlgebra`\[Sigma][2], 
       PauliAlgebra`\[Sigma][3]}, {
       PauliAlgebra`\[Sigma][0], 
       PauliAlgebra`\[Sigma][1], 
       PauliAlgebra`\[Sigma][2], 
       PauliAlgebra`\[Sigma][3]}}]]]], "Output"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Representation and Abstraction", "Subsubsection"],

Cell[TextData[{
 "The matrix representation may be given by ",
 StyleBox["Represent", "Program"],
 " as sparse array"
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Represent", "[", 
  RowBox[{
   RowBox[{"a", " ", 
    RowBox[{"\[Sigma]", "[", 
     RowBox[{"1", ",", "1"}], "]"}]}], "+", 
   RowBox[{"b", " ", 
    RowBox[{"\[Sigma]", "[", 
     RowBox[{"3", ",", "3"}], "]"}]}]}], "]"}]], "Input"],

Cell[BoxData[
 TagBox[
  RowBox[{"SparseArray", "[", 
   RowBox[{
    InterpretationBox[
     RowBox[{"\<\"<\"\>", "\[InvisibleSpace]", "8", 
      "\[InvisibleSpace]", "\<\">\"\>"}],
     SequenceForm["<", 8, ">"],
     Editable->False], ",", 
    RowBox[{"{", 
     RowBox[{"4", ",", "4"}], "}"}]}], "]"}],
  False,
  Editable->False]], "Output"]
}, Open  ]],

Cell[TextData[{
 "Use ",
 StyleBox["MatrixForm", "Program"],
 " to convert the sparse array to its dense version for display."
}], "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"%", "//", "MatrixForm"}]], "Input"],

Cell[BoxData[
 TagBox[
  RowBox[{"(", "\[NoBreak]", GridBox[{
     {"b", "0", "0", "a"},
     {"0", 
      RowBox[{"-", "b"}], "a", "0"},
     {"0", "a", 
      RowBox[{"-", "b"}], "0"},
     {"a", "0", "0", "b"}
    },
    GridBoxAlignment->{
     "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
      "RowsIndexed" -> {}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[0.7]}, 
        Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}],
  Function[BoxForm`e$, 
   MatrixForm[
   SparseArray[
    Automatic, {4, 4}, 0, {
     1, {{0, 2, 4, 6, 8}, {{1}, {4}, {2}, {3}, {3}, {2}, {4}, {
       1}}}, {$CellContext`b, $CellContext`a, -$CellContext`b, \
$CellContext`a, -$CellContext`b, $CellContext`a, $CellContext`b, \
$CellContext`a}}]]]]], "Output"]
}, Open  ]],

Cell[TextData[{
 "Use ",
 StyleBox["Abstract", "Program"],
 " to recover the Pauli polynomial notation from the above matrix."
}], "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Abstract", "[", "%", "]"}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{"a", " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"1", ",", "1"}], "]"}]}], "+", 
  RowBox[{"b", " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"3", ",", "3"}], "]"}]}]}]], "Output"]
}, Open  ]],

Cell[TextData[{
 "Abstraction is just the inverse function of representation. Of cause, it \
only works for ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    SuperscriptBox["2", "n"], "\[Times]", 
    SuperscriptBox["2", "n"]}], TraditionalForm]]],
 " matrices (with integer ",
 Cell[BoxData[
  FormBox["n", TraditionalForm]]],
 "). Here is one more example."
}], "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Abstract", "[", 
  RowBox[{"DiagonalMatrix", "[", 
   RowBox[{"{", 
    RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}], "]"}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["1", "4"], " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"0", ",", "0"}], "]"}]}], "-", 
  RowBox[{
   FractionBox["1", "4"], " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"0", ",", "3"}], "]"}]}], "-", 
  RowBox[{
   FractionBox["1", "4"], " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"3", ",", "0"}], "]"}]}], "+", 
  RowBox[{
   FractionBox["1", "4"], " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"3", ",", "3"}], "]"}]}]}]], "Output"]
}, Open  ]],

Cell[TextData[{
 StyleBox["Qbit", "Program"],
 " gives the qbit number, which is the ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["log", "2"], TraditionalForm]]],
 " of the matrix dimension. The qbit number of a ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    SuperscriptBox["2", "n"], "\[Times]", 
    SuperscriptBox["2", "n"]}], TraditionalForm]]],
 " matrix is ",
 Cell[BoxData[
  FormBox["n", TraditionalForm]]],
 ". For example,"
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Qbit", "[", 
  RowBox[{"\[Sigma]", "[", 
   RowBox[{"1", ",", "2", ",", "3"}], "]"}], "]"}]], "Input"],

Cell[BoxData["3"], "Output"]
}, Open  ]],

Cell[TextData[{
 "This means that the representation space of ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["\[Sigma]", 
    RowBox[{"1", ",", "2", ",", "3"}]], TraditionalForm]]],
 " is spanned by 3 qubits (or ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    SuperscriptBox["2", "3"], "=", "8"}], TraditionalForm]]],
 " states). "
}], "TextNoIndent"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Basic Arithmetic", "Subsubsection"],

Cell["\<\
The tensor product and dot product automatically distributes over plus, such \
that the Pauli  expression is always expanded.\
\>", "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "1", "]"}], "+", 
    RowBox[{"2", 
     RowBox[{"\[Sigma]", "[", "2", "]"}]}]}], ")"}], "\[CircleTimes]", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "1", "]"}], "-", 
    RowBox[{"\[Sigma]", "[", "2", "]"}]}], ")"}]}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Sigma]", "[", 
   RowBox[{"1", ",", "1"}], "]"}], "-", 
  RowBox[{"\[Sigma]", "[", 
   RowBox[{"1", ",", "2"}], "]"}], "+", 
  RowBox[{"2", " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"2", ",", "1"}], "]"}]}], "-", 
  RowBox[{"2", " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"2", ",", "2"}], "]"}]}]}]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "1", "]"}], "+", 
    RowBox[{"2", 
     RowBox[{"\[Sigma]", "[", "2", "]"}]}]}], ")"}], "\[CenterDot]", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "1", "]"}], "-", 
    RowBox[{"\[Sigma]", "[", "2", "]"}]}], ")"}]}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   RowBox[{"\[Sigma]", "[", "0", "]"}]}], "-", 
  RowBox[{"3", " ", "\[ImaginaryI]", " ", 
   RowBox[{"\[Sigma]", "[", "3", "]"}]}]}]], "Output"]
}, Open  ]],

Cell[TextData[{
 "The built-in functions ",
 StyleBox["Conjugate", "Program"],
 ", ",
 StyleBox["Transpose", "Program"],
 ", ",
 StyleBox["ConjugateTranspose ", "Program"],
 "and ",
 StyleBox["Tr", "Program"],
 " are modified to handle the Pauli expressions. However if the Pauli \
expressions appear as elements in a list or a spase array,  ",
 StyleBox["Transpose", "Program"],
 " and ",
 StyleBox["ConjugateTranspose", "Program"],
 " will just operate on the array level without acting on the Pauli \
expressions."
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Through", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"Conjugate", ",", "Transpose", ",", "ConjugateTranspose"}], "}"}],
    "\[IndentingNewLine]", "[", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "0", "]"}], "+", 
    RowBox[{"\[ImaginaryI]", " ", 
     RowBox[{"\[Sigma]", "[", "1", "]"}]}], "+", " ", 
    RowBox[{"\[Sigma]", "[", "2", "]"}]}], "]"}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    RowBox[{"\[Sigma]", "[", "0", "]"}], "-", 
    RowBox[{"\[ImaginaryI]", " ", 
     RowBox[{"\[Sigma]", "[", "1", "]"}]}], "-", 
    RowBox[{"\[Sigma]", "[", "2", "]"}]}], ",", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "0", "]"}], "+", 
    RowBox[{"\[ImaginaryI]", " ", 
     RowBox[{"\[Sigma]", "[", "1", "]"}]}], "-", 
    RowBox[{"\[Sigma]", "[", "2", "]"}]}], ",", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "0", "]"}], "-", 
    RowBox[{"\[ImaginaryI]", " ", 
     RowBox[{"\[Sigma]", "[", "1", "]"}]}], "+", 
    RowBox[{"\[Sigma]", "[", "2", "]"}]}]}], "}"}]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Tr", "[", 
  RowBox[{
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"0", ",", "0"}], "]"}], "+", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"3", ",", "3"}], "]"}]}], "]"}]], "Input"],

Cell[BoxData["4"], "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Algebras", "Subsection"],

Cell[CellGroupData[{

Cell["Action Space", "Subsubsection"],

Cell["\<\
The package uses the Pauli basis to represent the Pauli polynomial so as to \
calculate the determinant, inversion, power, exponential and logarithm \
efficiently. The idea is that acting (multiplying) a Pauli polynomial to \
another Pauli matrix (of the same dimension) basically performs a linear \
transformation to the later. The matrix representation of such linear \
transform can be used to represent the Pauli polynomial, which is usually \
much smaller than its canonical representation, so that the computational \
efficiency is much enhanced.\
\>", "TextIndent"],

Cell[TextData[{
 "For example, the ",
 Cell[BoxData[
  FormBox[
   RowBox[{"4", "\[Times]", "4"}], TraditionalForm]]],
 " matrix ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["\[Sigma]", 
    RowBox[{"1", ",", "3"}]], TraditionalForm]]],
 " acting on the Pauli basis ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"(", GridBox[{
       {
        SubscriptBox["\[Sigma]", 
         RowBox[{"0", ",", "0"}]], 
        SubscriptBox["\[Sigma]", 
         RowBox[{"1", ",", "3"}]]}
      }], ")"}], "\[Transpose]"}], TraditionalForm]]],
 " as"
}], "TextIndent"],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{
     SubscriptBox["\[Sigma]", 
      RowBox[{"1", ",", "3"}]], "(", GridBox[{
       {
        SubscriptBox["\[Sigma]", 
         RowBox[{"0", ",", "0"}]]},
       {
        SubscriptBox["\[Sigma]", 
         RowBox[{"1", ",", "3"}]]}
      }], ")"}], "=", 
    RowBox[{
     RowBox[{"(", GridBox[{
        {
         SubscriptBox["\[Sigma]", 
          RowBox[{"3", ",", "1"}]]},
        {
         SubscriptBox["\[Sigma]", 
          RowBox[{"0", ",", "0"}]]}
       }], ")"}], "=", 
     RowBox[{
      RowBox[{"(", GridBox[{
         {"0", "1"},
         {"1", "0"}
        }], ")"}], 
      RowBox[{"(", GridBox[{
         {
          SubscriptBox["\[Sigma]", 
           RowBox[{"0", ",", "0"}]]},
         {
          SubscriptBox["\[Sigma]", 
           RowBox[{"1", ",", "3"}]]}
        }], ")"}]}]}]}], ","}], TraditionalForm]], "DisplayFormulaNumbered"],

Cell[TextData[{
 "so it may be represented by the ",
 Cell[BoxData[
  FormBox[
   RowBox[{"2", "\[Times]", "2"}], TraditionalForm]]],
 " matrix"
}], "TextNoIndent"],

Cell[BoxData[
 FormBox[
  RowBox[{
   SubscriptBox["\[Sigma]", 
    RowBox[{"1", ",", "3"}]], "\[HumpEqual]", 
   RowBox[{
    RowBox[{"(", GridBox[{
       {"0", "1"},
       {"1", "0"}
      }], ")"}], "."}]}], TraditionalForm]], "DisplayFormulaNumbered",
 CellTags->"eq: 5703535385873264504"],

Cell[TextData[{
 "The linear space spanned by the basis ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"(", GridBox[{
       {
        SubscriptBox["\[Sigma]", 
         RowBox[{"0", ",", "0"}]], 
        SubscriptBox["\[Sigma]", 
         RowBox[{"1", ",", "3"}]]}
      }], ")"}], "\[Transpose]"}], TraditionalForm]]],
 " is called the ",
 StyleBox["action space",
  FontSlant->"Italic"],
 ". The action space of a Pauli polynomial is found by continuously acting \
the polynomial on the present basis to discover new basis, until the action \
is closed."
}], "TextNoIndent"],

Cell[TextData[{
 "For a given Pauli polynomial, its matrix representation in its action space \
and the corresponding Pauli basis are given by the function ",
 StyleBox["ActionSpace", "Program"],
 ". For example,"
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"MatrixForm", "/@", 
  RowBox[{"ActionSpace", "[", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"1", ",", "3"}], "]"}], "]"}]}]], "Input"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   TagBox[
    RowBox[{"(", "\[NoBreak]", GridBox[{
       {"0", "1"},
       {"1", "0"}
      },
      GridBoxAlignment->{
       "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, 
        "Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
      GridBoxSpacings->{"Columns" -> {
          Offset[0.27999999999999997`], {
           Offset[0.7]}, 
          Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
          Offset[0.2], {
           Offset[0.4]}, 
          Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}],
    Function[BoxForm`e$, 
     MatrixForm[
     SparseArray[
      Automatic, {2, 2}, 0, {1, {{0, 1, 2}, {{2}, {1}}}, {1, 1}}]]]], ",", 
   TagBox[
    RowBox[{"(", "\[NoBreak]", 
     TagBox[GridBox[{
        {
         RowBox[{"\[Sigma]", "[", 
          RowBox[{"0", ",", "0"}], "]"}]},
        {
         RowBox[{"\[Sigma]", "[", 
          RowBox[{"1", ",", "3"}], "]"}]}
       },
       GridBoxAlignment->{
        "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, 
         "Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
       GridBoxSpacings->{"Columns" -> {
           Offset[0.27999999999999997`], {
            Offset[0.5599999999999999]}, 
           Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
           Offset[0.2], {
            Offset[0.4]}, 
           Offset[0.2]}, "RowsIndexed" -> {}}],
      Column], "\[NoBreak]", ")"}],
    Function[BoxForm`e$, 
     MatrixForm[BoxForm`e$]]]}], "}"}]], "Output"]
}, Open  ]],

Cell["One more example for Pauli polynomials.", "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"MatrixForm", "/@", 
  RowBox[{"ActionSpace", "[", 
   RowBox[{
    RowBox[{"a", " ", 
     RowBox[{"\[Sigma]", "[", 
      RowBox[{"1", ",", "1", ",", "0"}], "]"}]}], "+", 
    RowBox[{"b", " ", 
     RowBox[{"\[Sigma]", "[", 
      RowBox[{"1", ",", "0", ",", "0"}], "]"}]}], "+", 
    RowBox[{"c", " ", 
     RowBox[{"\[Sigma]", "[", 
      RowBox[{"0", ",", "1", ",", "0"}], "]"}]}]}], "]"}]}]], "Input"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   TagBox[
    RowBox[{"(", "\[NoBreak]", GridBox[{
       {"0", "c", "b", "a"},
       {"c", "0", "a", "b"},
       {"b", "a", "0", "c"},
       {"a", "b", "c", "0"}
      },
      GridBoxAlignment->{
       "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, 
        "Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
      GridBoxSpacings->{"Columns" -> {
          Offset[0.27999999999999997`], {
           Offset[0.7]}, 
          Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
          Offset[0.2], {
           Offset[0.4]}, 
          Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}],
    Function[BoxForm`e$, 
     MatrixForm[
     SparseArray[
      Automatic, {4, 4}, 0, {
       1, {{0, 3, 6, 9, 12}, {{2}, {3}, {4}, {3}, {4}, {1}, {2}, {4}, {1}, {
         2}, {3}, {
         1}}}, {$CellContext`c, $CellContext`b, $CellContext`a, \
$CellContext`a, $CellContext`b, $CellContext`c, $CellContext`a, \
$CellContext`c, $CellContext`b, $CellContext`b, $CellContext`c, \
$CellContext`a}}]]]], ",", 
   TagBox[
    RowBox[{"(", "\[NoBreak]", 
     TagBox[GridBox[{
        {
         RowBox[{"\[Sigma]", "[", 
          RowBox[{"0", ",", "0", ",", "0"}], "]"}]},
        {
         RowBox[{"\[Sigma]", "[", 
          RowBox[{"0", ",", "1", ",", "0"}], "]"}]},
        {
         RowBox[{"\[Sigma]", "[", 
          RowBox[{"1", ",", "0", ",", "0"}], "]"}]},
        {
         RowBox[{"\[Sigma]", "[", 
          RowBox[{"1", ",", "1", ",", "0"}], "]"}]}
       },
       GridBoxAlignment->{
        "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, 
         "Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
       GridBoxSpacings->{"Columns" -> {
           Offset[0.27999999999999997`], {
            Offset[0.5599999999999999]}, 
           Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
           Offset[0.2], {
            Offset[0.4]}, 
           Offset[0.2]}, "RowsIndexed" -> {}}],
      Column], "\[NoBreak]", ")"}],
    Function[BoxForm`e$, 
     MatrixForm[BoxForm`e$]]]}], "}"}]], "Output"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Determinant", "Subsubsection"],

Cell[TextData[{
 "The determinant of a Pauli polynomial can be calculated from its action \
space representation. This is because if, for example, ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["\[Sigma]", 
    RowBox[{"1", ",", "3"}]], TraditionalForm]]],
 " is represented as in Eq. (",
 
 CounterBox["DisplayFormulaNumbered", "eq: 5703535385873264504"],
 "), then there must exist a unitary transform ",
 Cell[BoxData[
  FormBox["U", TraditionalForm]]],
 " such that ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["\[Sigma]", 
    RowBox[{"1", ",", "3"}]], TraditionalForm]]],
 " can be similar transformed to"
}], "TextIndent"],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{
     SuperscriptBox["U", "\[Dagger]"], " ", 
     SubscriptBox["\[Sigma]", 
      RowBox[{"1", ",", "3"}]], "U"}], "=", 
    RowBox[{
     RowBox[{"(", GridBox[{
        {"0", "1"},
        {"1", "0"}
       }], ")"}], "\[CircleTimes]", "\[DoubleStruckCapitalI]"}]}], ","}], 
  TraditionalForm]], "DisplayFormulaNumbered",
 CellTags->"eq: 5703535385873264504"],

Cell[TextData[{
 "where \[DoubleStruckCapitalI] stands for a identity matrix of suitable \
dimension (which is ",
 Cell[BoxData[
  FormBox[
   RowBox[{"2", "\[Times]", "2"}], TraditionalForm]]],
 " here), such that the matrix dimensions on both sides are balanced. Then \
the determinant of ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["\[Sigma]", 
    RowBox[{"1", ",", "3"}]], TraditionalForm]]],
 " is given by the determinant of the action space representation to the \
power of the dimension of  ",
 Cell[BoxData[
  FormBox["\[DoubleStruckCapitalI]", TraditionalForm]]],
 " (because there are ",
 Cell[BoxData[
  FormBox[
   RowBox[{"dim", " ", "\[DoubleStruckCapitalI]"}], TraditionalForm]]],
 " copies of such representations)."
}], "TextNoIndent"],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"det", " ", 
    SubscriptBox["\[Sigma]", 
     RowBox[{"1", ",", "3"}]]}], "=", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"[", 
      RowBox[{"det", "(", GridBox[{
         {"0", "1"},
         {"1", "0"}
        }], ")"}], "]"}], 
     RowBox[{"dim", " ", "\[DoubleStruckCapitalI]"}]], "."}]}], 
  TraditionalForm]], "DisplayFormulaNumbered",
 CellTags->"eq: 5703535385873264504"],

Cell[TextData[{
 "Using the above algorithm, the package redefines ",
 StyleBox["Det", "Program"],
 " to calculate the determinant of the Pauli expression."
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Det", "[", 
  RowBox[{
   RowBox[{"b", " ", 
    RowBox[{"\[Sigma]", "[", 
     RowBox[{"1", ",", "3"}], "]"}]}], "+", 
   RowBox[{"c", " ", 
    RowBox[{"\[Sigma]", "[", 
     RowBox[{"2", ",", "2"}], "]"}]}]}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{
  SuperscriptBox["b", "4"], "-", 
  RowBox[{"2", " ", 
   SuperscriptBox["b", "2"], " ", 
   SuperscriptBox["c", "2"]}], "+", 
  SuperscriptBox["c", "4"]}]], "Output"]
}, Open  ]],

Cell["\<\
For large matrix, the algorithm is faster than the ordinary symbolic \
determinant algorithm, if the matrix has simple decomposition in terms of \
Pauli matrices.\
\>", "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Det", "[", 
  RowBox[{
   RowBox[{"b", " ", 
    RowBox[{"\[Sigma]", "[", 
     RowBox[{
     "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", 
      "0", ",", "0"}], "]"}]}], "+", 
   RowBox[{"c", " ", 
    RowBox[{"\[Sigma]", "[", 
     RowBox[{
     "1", ",", "3", ",", "2", ",", "2", ",", "3", ",", "1", ",", "3", ",", 
      "2", ",", "1"}], "]"}]}]}], "]"}]], "Input"],

Cell[BoxData[
 SuperscriptBox[
  RowBox[{"(", 
   RowBox[{
    SuperscriptBox["b", "2"], "-", 
    SuperscriptBox["c", "2"]}], ")"}], "256"]], "Output"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Inversion", "Subsubsection"],

Cell[TextData[{
 "The inversion of a Pauli polynomial can be obtained by inverting its action \
space representation matrix, then applying the inverted matrix to the vector \
that represents the identity matrix. This can be efficiently performed in ",
 StyleBox["Mathematica",
  FontSlant->"Italic"],
 " by the function ",
 StyleBox["LinearSolve", "Program"],
 ". The package use it to calculate the inversion symbolically."
}], "TextIndent"],

Cell[TextData[{
 "The built-in function ",
 StyleBox["Inverse", "Program"],
 " is redefined to give the matrix inversion in terms of Pauli matrices."
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Inverse", "[", 
  RowBox[{
   RowBox[{"a", " ", 
    RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
   RowBox[{"b", " ", 
    RowBox[{"\[Sigma]", "[", "1", "]"}]}]}], "]"}]], "Input"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{
    RowBox[{"-", "a"}], " ", 
    RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
   RowBox[{"b", " ", 
    RowBox[{"\[Sigma]", "[", "1", "]"}]}]}], 
  RowBox[{
   RowBox[{"-", 
    SuperscriptBox["a", "2"]}], "+", 
   SuperscriptBox["b", "2"]}]]], "Output"]
}, Open  ]],

Cell["One can also use division to do the same thing.", "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"1", "/", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"a", " ", 
     RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
    RowBox[{"b", " ", 
     RowBox[{"\[Sigma]", "[", "1", "]"}]}]}], ")"}]}]], "Input"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{
    RowBox[{"-", "a"}], " ", 
    RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
   RowBox[{"b", " ", 
    RowBox[{"\[Sigma]", "[", "1", "]"}]}]}], 
  RowBox[{
   RowBox[{"-", 
    SuperscriptBox["a", "2"]}], "+", 
   SuperscriptBox["b", "2"]}]]], "Output"]
}, Open  ]],

Cell["\<\
Singular matrix can not be inverted. If one attempts to invert a singular \
matrix, the package will issue error messages as follows.\
\>", "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Inverse", "[", 
  RowBox[{
   RowBox[{"\[Sigma]", "[", "0", "]"}], "+", 
   RowBox[{"\[Sigma]", "[", "3", "]"}]}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{
  StyleBox[
   RowBox[{"LinearSolve", "::", "nosol"}], "MessageName"], ":", 
  " ", "\<\"Linear equation encountered that has no solution. \
\\!\\(\\*ButtonBox[\\\"\[RightSkeleton]\\\", ButtonStyle->\\\"Link\\\", \
ButtonFrame->None, ButtonData:>\\\"paclet:ref/message/LinearSolve/nosol\\\", \
ButtonNote -> \\\"LinearSolve::nosol\\\"]\\)\"\>"}]], "Message", "MSG"],

Cell[BoxData[
 RowBox[{
  StyleBox[
   RowBox[{"Inverse", "::", "sing"}], "MessageName"], ":", 
  " ", "\<\"Matrix \[NoBreak]\\!\\(\\(\\(\[Sigma][0]\\)\\) + \
\\(\\(\[Sigma][3]\\)\\)\\)\[NoBreak] is singular. \\!\\(\\*ButtonBox[\\\"\
\[RightSkeleton]\\\", ButtonStyle->\\\"Link\\\", ButtonFrame->None, \
ButtonData:>\\\"paclet:ref/message/General/sing\\\", ButtonNote -> \
\\\"Inverse::sing\\\"]\\)\"\>"}]], "Message", "MSG"],

Cell[BoxData[
 TagBox[
  RowBox[{"Inverse", "[", 
   RowBox[{
    RowBox[{"\[Sigma]", "[", "0", "]"}], "+", 
    RowBox[{"\[Sigma]", "[", "3", "]"}]}], "]"}],
  HoldForm]], "Output"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Matrix Power", "Subsubsection"],

Cell[TextData[{
 "Based on the action space representation, the matrix power of Pauli \
polynomial can be also calculated. The package redefines ",
 StyleBox["Power", "Program"],
 " to give the matrix power in term of Pauli matrices."
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Sigma]", "[", "3", "]"}], "^", "2"}]], "Input"],

Cell[BoxData[
 RowBox[{"\[Sigma]", "[", "0", "]"}]], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{"a", " ", 
     RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
    RowBox[{"b", " ", 
     RowBox[{"\[Sigma]", "[", "1", "]"}]}]}], ")"}], "^", "4"}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{"4", " ", 
      SuperscriptBox["a", "2"], " ", 
      SuperscriptBox["b", "2"]}], "+", 
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox["a", "2"], "+", 
        SuperscriptBox["b", "2"]}], ")"}], "2"]}], ")"}], " ", 
   RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
  RowBox[{"4", " ", "a", " ", "b", " ", 
   RowBox[{"(", 
    RowBox[{
     SuperscriptBox["a", "2"], "+", 
     SuperscriptBox["b", "2"]}], ")"}], " ", 
   RowBox[{"\[Sigma]", "[", "1", "]"}]}]}]], "Output"]
}, Open  ]],

Cell["\<\
The negative power can also be handled. The package will first perform the \
inversion, then calculate the positive power.\
\>", "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{"a", " ", 
     RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
    RowBox[{"b", " ", 
     RowBox[{"\[Sigma]", "[", "3", "]"}]}]}], ")"}], "^", 
  RowBox[{"(", 
   RowBox[{"-", "4"}], ")"}]}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     FractionBox[
      RowBox[{"4", " ", 
       SuperscriptBox["a", "2"], " ", 
       SuperscriptBox["b", "2"]}], 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", 
          SuperscriptBox["a", "2"]}], "+", 
         SuperscriptBox["b", "2"]}], ")"}], "4"]], "+", 
     FractionBox[
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{
         SuperscriptBox["a", "2"], "+", 
         SuperscriptBox["b", "2"]}], ")"}], "2"], 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", 
          SuperscriptBox["a", "2"]}], "+", 
         SuperscriptBox["b", "2"]}], ")"}], "4"]]}], ")"}], " ", 
   RowBox[{"\[Sigma]", "[", "0", "]"}]}], "-", 
  FractionBox[
   RowBox[{"4", " ", "a", " ", "b", " ", 
    RowBox[{"(", 
     RowBox[{
      SuperscriptBox["a", "2"], "+", 
      SuperscriptBox["b", "2"]}], ")"}], " ", 
    RowBox[{"\[Sigma]", "[", "3", "]"}]}], 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", 
       SuperscriptBox["a", "2"]}], "+", 
      SuperscriptBox["b", "2"]}], ")"}], "4"]]}]], "Output"]
}, Open  ]],

Cell["\<\
The package uses the divide-and-conquer algorithm to efficiently handle the \
large integer power (in logarithmic computation time).\
\>", "TextNoIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Timing", "[", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{"a", " ", 
      RowBox[{"\[Sigma]", "[", "1", "]"}]}], "+", 
     RowBox[{"b", " ", 
      RowBox[{"\[Sigma]", "[", "3", "]"}]}]}], ")"}], "^", "99"}], 
  "]"}]], "Input"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
  "0.00590400000000000039351855107838673575`3.7917462620946094", ",", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        SuperscriptBox["a", "3"], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              SuperscriptBox["a", "3"], "+", 
              RowBox[{"a", " ", 
               SuperscriptBox["b", "2"]}]}], ")"}], "2"], "+", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               SuperscriptBox["a", "2"], " ", "b"}], "+", 
              SuperscriptBox["b", "3"]}], ")"}], "2"]}], ")"}], "16"]}], "+", 
       
       RowBox[{"a", " ", 
        SuperscriptBox["b", "2"], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              SuperscriptBox["a", "3"], "+", 
              RowBox[{"a", " ", 
               SuperscriptBox["b", "2"]}]}], ")"}], "2"], "+", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               SuperscriptBox["a", "2"], " ", "b"}], "+", 
              SuperscriptBox["b", "3"]}], ")"}], "2"]}], ")"}], "16"]}]}], 
      ")"}], " ", 
     RowBox[{"\[Sigma]", "[", "1", "]"}]}], "+", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        SuperscriptBox["a", "2"], " ", "b", " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              SuperscriptBox["a", "3"], "+", 
              RowBox[{"a", " ", 
               SuperscriptBox["b", "2"]}]}], ")"}], "2"], "+", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               SuperscriptBox["a", "2"], " ", "b"}], "+", 
              SuperscriptBox["b", "3"]}], ")"}], "2"]}], ")"}], "16"]}], "+", 
       
       RowBox[{
        SuperscriptBox["b", "3"], " ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              SuperscriptBox["a", "3"], "+", 
              RowBox[{"a", " ", 
               SuperscriptBox["b", "2"]}]}], ")"}], "2"], "+", 
           SuperscriptBox[
            RowBox[{"(", 
             RowBox[{
              RowBox[{
               SuperscriptBox["a", "2"], " ", "b"}], "+", 
              SuperscriptBox["b", "3"]}], ")"}], "2"]}], ")"}], "16"]}]}], 
      ")"}], " ", 
     RowBox[{"\[Sigma]", "[", "3", "]"}]}]}]}], "}"}]], "Output"]
}, Open  ]],

Cell[TextData[{
 "The package redefines ",
 StyleBox["Sqrt", "Program"],
 " to give the matrix square root in term of Pauli matrices, which is \
equivalent to the ",
 Cell[BoxData[
  FormBox[
   RowBox[{"1", "/", "2"}], TraditionalForm]]],
 " power."
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Sqrt", "[", 
  RowBox[{
   RowBox[{"a", " ", 
    RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
   RowBox[{"b", " ", 
    RowBox[{"\[Sigma]", "[", "3", "]"}]}]}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     FractionBox[
      SqrtBox[
       RowBox[{"a", "-", "b"}]], "2"], "+", 
     FractionBox[
      SqrtBox[
       RowBox[{"a", "+", "b"}]], "2"]}], ")"}], " ", 
   RowBox[{"\[Sigma]", "[", "0", "]"}]}], "+", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", 
      FractionBox[
       SqrtBox[
        RowBox[{"a", "-", "b"}]], "2"]}], "+", 
     FractionBox[
      SqrtBox[
       RowBox[{"a", "+", "b"}]], "2"]}], ")"}], " ", 
   RowBox[{"\[Sigma]", "[", "3", "]"}]}]}]], "Output"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Matrix Exp and Log ", "Subsubsection"],

Cell[TextData[{
 "The package redefines ",
 StyleBox["Exp", "Program"],
 " to give the matrix exponential in term of Pauli matrices."
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Exp", "[", 
  RowBox[{"\[ImaginaryI]", " ", "\[Phi]", " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"3", ",", "2"}], "]"}]}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"Cos", "[", "\[Phi]", "]"}], " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"0", ",", "0"}], "]"}]}], "+", 
  RowBox[{"\[ImaginaryI]", " ", 
   RowBox[{"Sin", "[", "\[Phi]", "]"}], " ", 
   RowBox[{"\[Sigma]", "[", 
    RowBox[{"3", ",", "2"}], "]"}]}]}]], "Output"]
}, Open  ]],

Cell[TextData[{
 "The package redefines ",
 StyleBox["Log", "Program"],
 " to give the matrix ",
 "logarithm",
 " in term of Pauli matrices."
}], "TextIndent"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Log", "[", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{"\[Sigma]", "[", 
      RowBox[{"0", ",", "0"}], "]"}], "+", 
     RowBox[{"\[ImaginaryI]", " ", 
      RowBox[{"Sqrt", "[", "3", "]"}], " ", 
      RowBox[{"\[Sigma]", "[", 
       RowBox[{"1", ",", "3"}], "]"}]}]}], ")"}], "/", "2"}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "3"], " ", "\[ImaginaryI]", " ", "\[Pi]", " ", 
  RowBox[{"\[Sigma]", "[", 
   RowBox[{"1", ",", "3"}], "]"}]}]], "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
},
WindowSize->{620, 617},
WindowMargins->{{5, Automatic}, {Automatic, 0}},
ShowSelection->True,
FrontEndVersion->"9.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (November 20, \
2012)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[StyleDefinitions -> "Default.nb"]], 
   Cell[
    StyleData[StyleDefinitions -> "Core.nb"]], 
   Cell["Modify the definitions below to change the default appearance of all \
cells in a given style. \nMake modifications to any definition using commands \
in the Format menu.", "Text"], 
   Cell[
    CellGroupData[{
      Cell["Style Environment Names", "Section"], 
      Cell[
       StyleData[
       All, "SlideShow", StyleDefinitions -> StyleData[All, "Presentation"]], 
       PageWidth -> WindowWidth, DockedCells -> 
       FEPrivate`FrontEndResource["FEExpressions", "SlideshowToolbar"], 
       ScrollingOptions -> {
        "PagewiseDisplay" -> True, "VerticalScrollRange" -> Fit}, 
       MenuSortingValue -> 1300]}, Closed]], 
   Cell[
    CellGroupData[{
      Cell["Notebook Options Settings", "Section"], 
      Cell[
      "The options defined for the style below will be used at the Notebook \
level.", "Text"], 
      Cell[
       StyleData["Notebook"], WindowToolbars -> {"EditBar"}, 
       WindowSize -> {400, 400}, PageHeaders -> {{
          Cell[
           TextData[{
             CounterBox["Page"]}], "PageNumber"], None, 
          Cell[
           TextData[{
             ValueBox["FileName"]}], "Header"]}, {
          Cell[
           TextData[{
             ValueBox["FileName"]}], "Header"], None, 
          Cell[
           TextData[{
             CounterBox["Page"]}], "PageNumber"]}}, ShowCellBracket -> 
       Automatic, CellFrameLabelMargins -> 6, ShowStringCharacters -> True, 
       StyleMenuListing -> None]}, Closed]], 
   Cell[
    CellGroupData[{
      Cell["Styles for Headings", "Section"], 
      Cell[
       CellGroupData[{
         Cell["Title", "Subsection"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Title"], CellMargins -> {{0, 0}, {10, 30}}, 
             CellGroupingRules -> {"TitleGrouping", 0}, PageBreakBelow -> 
             False, DefaultNewInlineCellStyle -> "None", 
             InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, TextAlignment -> Center, LineSpacing -> {1, 11}, 
             LanguageCategory -> "NaturalLanguage", CounterIncrements -> 
             "Title", 
             CounterAssignments -> {{"Section", 0}, {"Equation", 0}, {
               "Figure", 0}, {"Subtitle", 0}, {"Subsubtitle", 0}}, 
             MenuSortingValue -> 1100, FontFamily -> "Helvetica", FontSize -> 
             36, FontWeight -> "Bold", FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Title", "Presentation"], 
             CellMargins -> {{0, 0}, {15, 45}}, LineSpacing -> {1, 18}, 
             FontSize -> 72], 
            Cell[
             StyleData["Title", "Condensed"], CellMargins -> {{0, 0}, {4, 8}},
              FontSize -> 20], 
            Cell[
             StyleData["Title", "Printout"], 
             CellMargins -> {{0, 0}, {12, 30}}, FontSize -> 24]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subtitle"], CellMargins -> {{0, 0}, {20, 2}}, 
             CellGroupingRules -> {"TitleGrouping", 10}, PageBreakBelow -> 
             False, DefaultNewInlineCellStyle -> "None", 
             InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, TextAlignment -> Center, LanguageCategory -> 
             "NaturalLanguage", CounterIncrements -> "Subtitle", 
             CounterAssignments -> {{"Section", 0}, {"Equation", 0}, {
               "Figure", 0}, {"Subsubtitle", 0}}, MenuSortingValue -> 1120, 
             FontFamily -> "Helvetica", FontSize -> 24, FontWeight -> "Bold", 
             FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Subtitle", "Presentation"], 
             CellMargins -> {{0, 0}, {30, 3}}, LineSpacing -> {1, 16}, 
             FontSize -> 48], 
            Cell[
             StyleData["Subtitle", "Condensed"], 
             CellMargins -> {{0, 0}, {4, 4}}, FontSize -> 14], 
            Cell[
             StyleData["Subtitle", "Printout"], 
             CellMargins -> {{0, 0}, {12, 8}}, FontSize -> 18]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subsubtitle"], CellMargins -> {{0, 0}, {8, 2}}, 
             CellGroupingRules -> {"TitleGrouping", 20}, PageBreakBelow -> 
             False, DefaultNewInlineCellStyle -> "None", 
             InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, TextAlignment -> Center, LanguageCategory -> 
             "NaturalLanguage", CounterIncrements -> "Subsubtitle", 
             CounterAssignments -> {{"Section", 0}, {"Equation", 0}, {
               "Figure", 0}}, MenuSortingValue -> 1140, FontFamily -> 
             "Helvetica", FontSize -> 16, FontWeight -> "Bold", FontSlant -> 
             "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Subsubtitle", "Presentation"], 
             CellMargins -> {{0, 0}, {12, 3}}, LineSpacing -> {1, 14}, 
             FontSize -> 32], 
            Cell[
             StyleData["Subsubtitle", "Condensed"], 
             CellMargins -> {{0, 0}, {8, 8}}, FontSize -> 12], 
            Cell[
             StyleData["Subsubtitle", "Printout"], 
             CellMargins -> {{0, 0}, {12, 8}}, FontSize -> 14]}, Closed]]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell["Author", "Subsection"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Author"], CellMargins -> {{15, 15}, {0, 18}}, 
             CellFrameLabels -> {{None, None}, {
                Cell[
                 TextData[{
                   ValueBox["MonthName"], " ", 
                   ValueBox["Day"], ", ", 
                   ValueBox["Year"]}]], None}}, TextAlignment -> Center, 
             ParagraphSpacing -> {0, 0}, MenuSortingValue -> 1180, FontFamily -> 
             "Georgia", FontSize -> 14, FontWeight -> "Plain", FontSlant -> 
             "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Author", "Presentation"], 
             CellMargins -> {{30, 30}, {2, 27}}, FontSize -> 24], 
            Cell[
             StyleData["Author", "Condensed"], 
             CellMargins -> {{8, 10}, {0, 6}}, FontSize -> 11], 
            Cell[
             StyleData["Author", "Printout"], CellMargins -> {{2, 2}, {0, 6}},
              FontSize -> 10]}, Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell["Abstract", "Subsection", StyleMenuListing -> None], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData[
             "AbstractSection", StyleDefinitions -> 
              StyleData["Subsubsection"]], CellDingbat -> None, 
             CellMargins -> {{80, 80}, {8, 12}}, 
             CellGroupingRules -> {"SectionGrouping", 30}, 
             DefaultNewCellStyle -> "Abstract", TextAlignment -> Center, 
             MenuSortingValue -> 1200], 
            Cell[
             StyleData["AbstractSection", "Presentation"], 
             CellMargins -> {{80, 80}, {24, 18}}, FontSize -> 16], 
            Cell[
             StyleData["AbstractSection", "Condensed"], 
             CellMargins -> {{12, 12}, {6, 10}}, FontSize -> 9], 
            Cell[
             StyleData["AbstractSection", "Printout"], 
             CellMargins -> {{40, 40}, {6, 10}}]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData[
             "Abstract", StyleDefinitions -> StyleData["TextIndent"]], 
             CellMargins -> {{80, 80}, {5, 5}}, CellGroupingRules -> 
             "GraphicsGrouping", MenuSortingValue -> 1220], 
            Cell[
             StyleData["Abstract", "Presentation"], 
             CellMargins -> {{80, 80}, {10, 10}}], 
            Cell[
             StyleData["Abstract", "Condensed"], 
             CellMargins -> {{12, 12}, {6, 6}}], 
            Cell[
             StyleData["Abstract", "Printout"], 
             CellMargins -> {{40, 40}, {3, 3}}]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Keywords", StyleDefinitions -> StyleData["Text"]], 
             CellMargins -> {{80, 80}, {7, 7}}, CellFrameLabels -> {{
                Cell[
                 TextData[{
                   StyleBox["Keywords:", "BF"]}], CellBaseline -> Baseline], 
                None}, {None, None}}, CounterIncrements -> "Text", 
             MenuSortingValue -> 1280], 
            Cell[
             StyleData["Keywords", "Presentation"], 
             CellMargins -> {{80, 80}, {10, 10}}], 
            Cell[
             StyleData["Keywords", "Condensed"], 
             CellMargins -> {{12, 12}, {6, 6}}], 
            Cell[
             StyleData["Keywords", "Printout"], 
             CellMargins -> {{40, 40}, {6, 6}}]}, Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell["Section", "Subsection"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Section"], CellFrame -> {{0, 0}, {0, 1}}, 
             CellMargins -> {{27, Inherited}, {8, 34}}, 
             CellGroupingRules -> {"SectionGrouping", 30}, PageBreakBelow -> 
             False, CellFrameMargins -> 4, DefaultNewInlineCellStyle -> 
             "None", InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, LineSpacing -> {1, 2}, LanguageCategory -> 
             "NaturalLanguage", CounterIncrements -> "Section", 
             CounterAssignments -> {{"Subsection", 0}, {"Subsubsection", 0}}, 
             MenuSortingValue -> 1300, FontFamily -> "Helvetica", FontSize -> 
             21, FontWeight -> "Bold", FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Section", "Presentation"], 
             CellFrame -> {{0, 0}, {0, 2}}, 
             CellMargins -> {{27, Inherited}, {12, 51}}, CellFrameMargins -> 
             8, LineSpacing -> {1, 10}, FontSize -> 40], 
            Cell[
             StyleData["Section", "Condensed"], 
             CellMargins -> {{18, Inherited}, {6, 12}}, FontSize -> 14], 
            Cell[
             StyleData["Section", "Printout"], ShowGroupOpener -> False, 
             CellMargins -> {{5, 0}, {7, 22}}, FontSize -> 18]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subsection"], CellDingbat -> 
             Cell["\[FilledSmallSquare]"], 
             CellMargins -> {{60, Inherited}, {8, 12}}, 
             CellGroupingRules -> {"SectionGrouping", 40}, PageBreakBelow -> 
             False, DefaultNewInlineCellStyle -> "None", 
             InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, LanguageCategory -> "NaturalLanguage", 
             CounterIncrements -> "Subsection", 
             CounterAssignments -> {{"Subsubsection", 0}}, MenuSortingValue -> 
             1310, FontFamily -> "Helvetica", FontSize -> 18, FontWeight -> 
             "Bold", FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Subsection", "Presentation"], 
             CellMargins -> {{60, Inherited}, {12, 18}}, 
             LineSpacing -> {1, 10}, FontFamily -> "Helvetica", FontSize -> 
             32], 
            Cell[
             StyleData["Subsection", "Condensed"], 
             CellMargins -> {{16, Inherited}, {6, 12}}, FontFamily -> 
             "Helvetica", FontSize -> 13], 
            Cell[
             StyleData["Subsection", "Printout"], 
             CellMargins -> {{15, 0}, {7, 16}}, FontFamily -> "Helvetica", 
             FontSize -> 16]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subsubsection"], CellDingbat -> 
             Cell["\[FilledSmallSquare]"], 
             CellMargins -> {{60, Inherited}, {2, 10}}, 
             CellGroupingRules -> {"SectionGrouping", 50}, PageBreakBelow -> 
             False, InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, LanguageCategory -> "NaturalLanguage", 
             CounterIncrements -> "Subsubsection", MenuSortingValue -> 1320, 
             MenuCommandKey -> "1", FontFamily -> "Georgia", FontSize -> 16, 
             FontWeight -> "Bold", FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Subsubsection", "Presentation"], 
             CellMargins -> {{60, Inherited}, {3, 15}}, LineSpacing -> {1, 6},
              FontSize -> 28], 
            Cell[
             StyleData["Subsubsection", "Condensed"], 
             CellMargins -> {{17, Inherited}, {6, 12}}, FontSize -> 11], 
            Cell[
             StyleData["Subsubsection", "Printout"], 
             CellMargins -> {{25, 0}, {7, 14}}, FontSize -> 14]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subsubsubsection"], CellDingbat -> {
               Cell["\[EmptySmallSquare]", FontSlant -> "Plain"]}, 
             CellMargins -> {{75, Inherited}, {2, 10}}, 
             CellGroupingRules -> {"SectionGrouping", 60}, PageBreakBelow -> 
             False, InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, LanguageCategory -> "NaturalLanguage", 
             CounterIncrements -> "Subsubsubsection", MenuSortingValue -> 
             1330, FontFamily -> "Georgia", FontSize -> 14, FontWeight -> 
             "Bold", FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Subsubsubsection", "Presentation"], 
             CellMargins -> {{75, Inherited}, {3, 15}}, LineSpacing -> {1, 7},
              FontSize -> 24], 
            Cell[
             StyleData["Subsubsubsection", "Condensed"], 
             CellMargins -> {{58, Inherited}, {6, 12}}, FontSize -> 11], 
            Cell[
             StyleData["Subsubsubsection", "Printout"], 
             CellMargins -> {{40, 0}, {7, 14}}, FontSize -> 12]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Passage"], ShowGroupOpener -> True, 
             CellMargins -> {{75, Inherited}, {2, 10}}, 
             CellGroupingRules -> {"SectionGrouping", 70}, PageBreakBelow -> 
             False, InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, LanguageCategory -> "NaturalLanguage", 
             CounterIncrements -> "Passage", MenuSortingValue -> 1340, 
             FontFamily -> "Georgia", FontSize -> 14, FontWeight -> "Bold", 
             FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}, FontColor -> 
             RGBColor[0.5019607843137255, 0., 0.]], 
            Cell[
             StyleData["Passage", "Presentation"], 
             CellMargins -> {{75, Inherited}, {3, 15}}, LineSpacing -> {1, 7},
              FontSize -> 24], 
            Cell[
             StyleData["Passage", "Condensed"], 
             CellMargins -> {{58, Inherited}, {6, 12}}, FontSize -> 11], 
            Cell[
             StyleData["Passage", "Printout"], 
             CellMargins -> {{50, 0}, {7, 14}}, FontSize -> 12]}, Closed]]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell["Reference", "Subsection", StyleMenuListing -> None], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData[
             "ReferenceSection", StyleDefinitions -> 
              StyleData["Subsubsection"]], CellDingbat -> None, 
             CellMargins -> {{30, Inherited}, {Inherited, Inherited}}, 
             CellGroupingRules -> {"SectionGrouping", 30}, 
             DefaultNewCellStyle -> "Reference", MenuSortingValue -> 1800], 
            Cell[
             StyleData["ReferenceSection", "Presentation"], 
             CellMargins -> {{30, Inherited}, {Inherited, Inherited}}], 
            Cell[
             StyleData["ReferenceSection", "Condensed"], 
             CellMargins -> {{18, Inherited}, {Inherited, Inherited}}], 
            Cell[
             StyleData["ReferenceSection", "Printout"], ShowGroupOpener -> 
             False, CellMargins -> {{2, Inherited}, {Inherited, Inherited}}]},
            Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Reference", StyleDefinitions -> StyleData["Text"]], 
             CellMargins -> {{35, Inherited}, {Inherited, Inherited}}, 
             CellFrameLabels -> {{
                Cell[
                 TextData[{"[", 
                   CounterBox["Reference"], "]"}], CellBaseline -> Baseline], 
                None}, {None, None}}, DefaultNewCellStyle -> "Reference", 
             CounterIncrements -> "Reference", MenuSortingValue -> 1810, 
             MenuCommandKey -> "5"], 
            Cell[
             StyleData["Reference", "Presentation"], 
             CellMargins -> {{35, Inherited}, {Inherited, Inherited}}], 
            Cell[
             StyleData["Reference", "Condensed"], 
             CellMargins -> {{8, Inherited}, {Inherited, Inherited}}], 
            Cell[
             StyleData["Reference", "Printout"], 
             CellMargins -> {{2, Inherited}, {Inherited, Inherited}}]}, 
           Closed]]}, Closed]]}, Open]], 
   Cell[
    CellGroupData[{
      Cell["Styles for Body Text", "Section"], 
      Cell[
       CellGroupData[{
         Cell["Standard", "Subsection"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Text"], CellMargins -> {{60, 10}, {2, 2}}, 
             InputAutoReplacements -> {"TeX" -> FormBox[
                 StyleBox[
                  RowBox[{"T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "LaTeX" -> FormBox[
                 StyleBox[
                  RowBox[{"L", 
                    StyleBox[
                    AdjustmentBox[
                    "A", BoxMargins -> {{-0.5, -0.3}, {0, 0}}, 
                    BoxBaselineShift -> -0.4], FontSize -> Smaller], "T", 
                    AdjustmentBox[
                    "E", BoxMargins -> {{-0.3, 0}, {0, 0}}, BoxBaselineShift -> 
                    0.5], "X"}], SingleLetterItalics -> False], 
                 TraditionalForm], "mma" -> "Mathematica", "Mma" -> 
               "Mathematica", "MMA" -> "Mathematica", "gridMathematica" -> 
               FormBox[
                 RowBox[{"grid", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               "webMathematica" -> FormBox[
                 RowBox[{"web", 
                   AdjustmentBox[
                    StyleBox["Mathematica", FontSlant -> "Italic"], 
                    BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], 
               ParentList}, TextJustification -> 1, LineSpacing -> {1, 3}, 
             LanguageCategory -> "NaturalLanguage", CounterIncrements -> 
             "Text", StyleMenuListing -> None, FontFamily -> "Cambria", 
             FontSize -> 14, FontWeight -> "Plain", FontSlant -> "Plain", 
             FontVariations -> {
              "StrikeThrough" -> False, "Underline" -> False}], 
            Cell[
             StyleData["Text", "Presentation"], 
             CellMargins -> {{80, 10}, {5, 5}}, LineSpacing -> {1, 5}, 
             FontSize -> 26], 
            Cell[
             StyleData["Text", "Condensed"], CellMargins -> {{8, 10}, {2, 2}},
              LineSpacing -> {1, 1}, FontSize -> 11], 
            Cell[
             StyleData["Text", "Printout"], CellMargins -> {{20, 2}, {2, 2}}, 
             Hyphenation -> True, FontSize -> 12]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["TextIndent", StyleDefinitions -> StyleData["Text"]], 
             CellMargins -> {{60, 10}, {2, 7}}, DefaultDuplicateCellStyle -> 
             "TextIndent", ParagraphIndent -> 14, MenuSortingValue -> 1410, 
             MenuCommandKey -> "2"], 
            Cell[
             StyleData["TextIndent", "Presentation"], ParagraphIndent -> 24], 
            
            Cell[
             StyleData["TextIndent", "Condensed"], 
             CellMargins -> {{8, 10}, {2, 7}}, ParagraphIndent -> 11], 
            Cell[
             StyleData["TextIndent", "Printout"], 
             CellMargins -> {{20, 2}, {4, 2}}, ParagraphIndent -> 10]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["TextNoIndent", StyleDefinitions -> StyleData["Text"]],
              DefaultDuplicateCellStyle -> "TextNoIndent", MenuSortingValue -> 
             1420, MenuCommandKey -> "3"], 
            Cell[
             StyleData["TextNoIndent", "Presentation"]], 
            Cell[
             StyleData["TextNoIndent", "Condensed"]], 
            Cell[
             StyleData["TextNoIndent", "Printout"], 
             CellMargins -> {{20, 2}, {2, 2}}]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["SmallText"], CellMargins -> {{60, 10}, {0, 0}}, 
             CellGroupingRules -> "GraphicsGrouping", 
             DefaultNewInlineCellStyle -> "None", TextAlignment -> Right, 
             TextJustification -> 0., LineSpacing -> {1, 1}, LanguageCategory -> 
             "NaturalLanguage", CounterIncrements -> "SmallText", 
             MenuSortingValue -> 2000, MenuCommandKey -> "6", FontFamily -> 
             "Helvetica", FontSize -> 9], 
            Cell[
             StyleData["SmallText", "Presentation"], 
             CellMargins -> {{60, 10}, {9, 9}}, LineSpacing -> {1, 5}, 
             FontSize -> 18], 
            Cell[
             StyleData["SmallText", "Condensed"], 
             CellMargins -> {{8, 10}, {5, 5}}, LineSpacing -> {1, 2}, 
             FontSize -> 9], 
            Cell[
             StyleData["SmallText", "Printout"], 
             CellMargins -> {{10, 2}, {0, 0}}, CellOpen -> False]}, Closed]]},
         Closed]], 
      Cell[
       CellGroupData[{
         Cell["Display", "Subsection"], 
         Cell[
          CellGroupData[{
            Cell["Lists", "Subsubsection"], 
            Cell[
             CellGroupData[{
               Cell["Bulleted", "Subsubsubsection"], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData["Item", StyleDefinitions -> StyleData["Text"]], 
                   CellDingbat -> 
                   Cell["\[FilledSmallCircle]", FontWeight -> "Bold"], 
                   CellMargins -> {{75, 10}, {4, 4}}, ReturnCreatesNewCell -> 
                   True, CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15000}, 
                   CellFrameLabelMargins -> 4, TextAlignment -> Left, 
                   TextJustification -> 0., CounterIncrements -> "Item", 
                   CounterAssignments -> {{"Subitem", 0}, {"Subsubitem", 0}}, 
                   MenuSortingValue -> 1600], 
                  Cell[
                   StyleData["Item", "Presentation"], ShowGroupOpener -> 
                   False, CellMargins -> {{100, 10}, {7, 7}}, 
                   CellFrameLabelMargins -> 6], 
                  Cell[
                   StyleData["Item", "SlideShow"], ShowGroupOpener -> False, 
                   CellMargins -> {{100, 10}, {7, 7}}, CellFrameLabelMargins -> 
                   6], 
                  Cell[
                   StyleData["Item", "Condensed"], 
                   CellMargins -> {{58, Inherited}, {2, 2}}], 
                  Cell[
                   StyleData["Item", "Printout"], 
                   CellMargins -> {{50, 0}, {2, 2}}]}, Closed]], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "ItemParagraph", StyleDefinitions -> StyleData["Text"]], 
                   CellMargins -> {{75, 10}, {4, 1}}, ReturnCreatesNewCell -> 
                   True, CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15000}, 
                   DefaultNewCellStyle -> "Item", TextAlignment -> Left, 
                   TextJustification -> 0., MenuSortingValue -> 1605], 
                  Cell[
                   StyleData["ItemParagraph", "Presentation"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{100, 10}, {7, 2}}], 
                  Cell[
                   StyleData["ItemParagraph", "SlideShow"], ShowGroupOpener -> 
                   False, CellMargins -> {{100, 10}, {7, 2}}], 
                  Cell[
                   StyleData["ItemParagraph", "Condensed"], 
                   CellMargins -> {{58, Inherited}, {2, 1}}], 
                  Cell[
                   StyleData["ItemParagraph", "Printout"], 
                   CellMargins -> {{50, 0}, {1, 0}}]}, Closed]], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "Subitem", StyleDefinitions -> StyleData["Text"]], 
                   CellDingbat -> 
                   Cell["\[FilledSmallCircle]", FontWeight -> "Bold"], 
                   CellMargins -> {{99, 12}, {4, 4}}, ReturnCreatesNewCell -> 
                   True, CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15100}, 
                   CellFrameLabelMargins -> 4, DefaultNewCellStyle -> "Item", 
                   TextAlignment -> Left, TextJustification -> 0., 
                   CounterIncrements -> "Subitem", 
                   CounterAssignments -> {{"Subsubitem", 0}}, 
                   MenuSortingValue -> 1610], 
                  Cell[
                   StyleData["Subitem", "Presentation"], ShowGroupOpener -> 
                   False, CellMargins -> {{136, 12}, {7, 7}}, 
                   CellFrameLabelMargins -> 6], 
                  Cell[
                   StyleData["Subitem", "SlideShow"], ShowGroupOpener -> 
                   False, CellMargins -> {{136, 12}, {7, 7}}, 
                   CellFrameLabelMargins -> 6], 
                  Cell[
                   StyleData["Subitem", "Condensed"], 
                   CellMargins -> {{90, 2}, {2, 2}}], 
                  Cell[
                   StyleData["Subitem", "Printout"], 
                   CellMargins -> {{82, 2}, {1, 1}}]}, Closed]], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "SubitemParagraph", StyleDefinitions -> StyleData["Text"]],
                    CellMargins -> {{99, 12}, {4, 1}}, ReturnCreatesNewCell -> 
                   True, CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15100}, 
                   CellFrameLabelMargins -> 4, DefaultNewCellStyle -> 
                   "Subitem", TextAlignment -> Left, TextJustification -> 0., 
                   MenuSortingValue -> 1615], 
                  Cell[
                   StyleData["SubitemParagraph", "Presentation"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{136, 12}, {7, 2}}], 
                  Cell[
                   StyleData["SubitemParagraph", "SlideShow"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{136, 12}, {7, 2}}], 
                  Cell[
                   StyleData["SubitemParagraph", "Condensed"], 
                   CellMargins -> {{90, 2}, {2, 1}}], 
                  Cell[
                   StyleData["SubitemParagraph", "Printout"], 
                   CellMargins -> {{82, 2}, {1, 0}}]}, Closed]], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "Subsubitem", StyleDefinitions -> StyleData["Text"]], 
                   CellDingbat -> 
                   Cell["\[FilledSmallCircle]", FontWeight -> "Bold"], 
                   CellMargins -> {{123, 12}, {4, 4}}, ReturnCreatesNewCell -> 
                   True, CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15200}, 
                   CellFrameLabelMargins -> 4, DefaultNewCellStyle -> 
                   "Subsubitem", TextAlignment -> Left, TextJustification -> 
                   0., CounterIncrements -> "Subsubitem", MenuSortingValue -> 
                   1620], 
                  Cell[
                   StyleData["Subsubitem", "Presentation"], ShowGroupOpener -> 
                   False, CellMargins -> {{172, 12}, {7, 7}}, 
                   CellFrameLabelMargins -> 6], 
                  Cell[
                   StyleData["Subsubitem", "SlideShow"], ShowGroupOpener -> 
                   False, CellMargins -> {{172, 12}, {7, 7}}, 
                   CellFrameLabelMargins -> 6], 
                  Cell[
                   StyleData["Subsubitem", "Condensed"], 
                   CellMargins -> {{114, 2}, {2, 2}}], 
                  Cell[
                   StyleData["Subsubitem", "Printout"], 
                   CellMargins -> {{106, 2}, {1, 1}}]}, Closed]], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "SubsubitemParagraph", StyleDefinitions -> 
                    StyleData["Text"]], CellMargins -> {{123, 12}, {4, 1}}, 
                   ReturnCreatesNewCell -> True, 
                   CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15200}, 
                   CellFrameLabelMargins -> 4, DefaultNewCellStyle -> 
                   "Subsubitem", TextAlignment -> Left, TextJustification -> 
                   0., CounterIncrements -> "Subsubitem", MenuSortingValue -> 
                   1625], 
                  Cell[
                   StyleData["SubsubitemParagraph", "Presentation"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{172, 12}, {7, 2}}], 
                  Cell[
                   StyleData["SubsubitemParagraph", "SlideShow"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{172, 12}, {7, 2}}], 
                  Cell[
                   StyleData["SubsubitemParagraph", "Condensed"], 
                   CellMargins -> {{114, 2}, {2, 1}}], 
                  Cell[
                   StyleData["SubsubitemParagraph", "Printout"], 
                   CellMargins -> {{106, 2}, {1, 0}}]}, Closed]]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell["Numbered", "Subsubsubsection"], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "ItemNumbered", StyleDefinitions -> StyleData["Text"]], 
                   CellDingbat -> Cell[
                    TextData[{
                    CounterBox["ItemNumbered"], "."}], FontWeight -> "Bold"], 
                   CellMargins -> {{75, 10}, {4, 4}}, ReturnCreatesNewCell -> 
                   True, CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15000}, 
                   CellFrameLabelMargins -> 4, CounterIncrements -> 
                   "ItemNumbered", 
                   CounterAssignments -> {{"SubitemNumbered", 0}, {
                    "SubsubitemNumbered", 0}}, MenuSortingValue -> 1630], 
                  Cell[
                   StyleData["ItemNumbered", "Presentation"], ShowGroupOpener -> 
                   False, CellMargins -> {{100, 10}, {7, 7}}, 
                   CellFrameLabelMargins -> 6, FontSize -> 24], 
                  Cell[
                   StyleData["ItemNumbered", "SlideShow"], ShowGroupOpener -> 
                   False, CellMargins -> {{100, 10}, {7, 7}}, 
                   CellFrameLabelMargins -> 6, FontSize -> 24], 
                  Cell[
                   StyleData["ItemNumbered", "Condensed"], 
                   CellMargins -> {{58, Inherited}, {2, 2}}, FontSize -> 8], 
                  Cell[
                   StyleData["ItemNumbered", "Printout"], 
                   CellMargins -> {{50, 0}, {2, 2}}, FontSize -> 10]}, 
                 Closed]], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "SubitemNumbered", StyleDefinitions -> StyleData["Text"]], 
                   CellDingbat -> Cell[
                    TextData[{
                    CounterBox["ItemNumbered"], ".", 
                    CounterBox["SubitemNumbered"], "."}], FontWeight -> 
                    "Bold"], CellMargins -> {{99, 12}, {4, 4}}, 
                   ReturnCreatesNewCell -> True, 
                   CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15100}, 
                   CellFrameLabelMargins -> 4, DefaultNewCellStyle -> "Item", 
                   CounterIncrements -> "SubitemNumbered", 
                   CounterAssignments -> {{"SubsubitemNumbered", 0}}, 
                   MenuSortingValue -> 1640], 
                  Cell[
                   StyleData["SubitemNumbered", "Presentation"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{150, 12}, {7, 7}}, CellFrameLabelMargins -> 
                   6, FontSize -> 24], 
                  Cell[
                   StyleData["SubitemNumbered", "SlideShow"], ShowGroupOpener -> 
                   False, CellMargins -> {{150, 12}, {7, 7}}, 
                   CellFrameLabelMargins -> 6, FontSize -> 24], 
                  Cell[
                   StyleData["SubitemNumbered", "Condensed"], 
                   CellMargins -> {{90, 2}, {2, 2}}, FontSize -> 8], 
                  Cell[
                   StyleData["SubitemNumbered", "Printout"], 
                   CellMargins -> {{82, 2}, {1, 1}}, FontSize -> 10]}, 
                 Closed]], 
               Cell[
                CellGroupData[{
                  Cell[
                   StyleData[
                   "SubsubitemNumbered", StyleDefinitions -> 
                    StyleData["Text"]], CellDingbat -> Cell[
                    TextData[{
                    CounterBox["ItemNumbered"], ".", 
                    CounterBox["SubitemNumbered"], ".", 
                    CounterBox["SubsubitemNumbered"], "."}], FontWeight -> 
                    "Bold"], CellMargins -> {{123, 12}, {4, 4}}, 
                   ReturnCreatesNewCell -> True, 
                   CellGroupingRules -> {
                    "GroupTogetherNestedGrouping", 15200}, 
                   CellFrameLabelMargins -> 4, DefaultNewCellStyle -> 
                   "SubitemNumbered", CounterIncrements -> 
                   "SubsubitemNumbered"], 
                  Cell[
                   StyleData["SubsubitemNumbered", "Presentation"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{172, 12}, {7, 7}}, CellFrameLabelMargins -> 
                   6, FontSize -> 24], 
                  Cell[
                   StyleData["SubsubitemNumbered", "SlideShow"], 
                   ShowGroupOpener -> False, 
                   CellMargins -> {{172, 12}, {7, 7}}, CellFrameLabelMargins -> 
                   6, FontSize -> 24], 
                  Cell[
                   StyleData["SubsubitemNumbered", "Condensed"], 
                   CellMargins -> {{114, 2}, {2, 2}}, FontSize -> 8], 
                  Cell[
                   StyleData["SubsubitemNumbered", "Printout"], 
                   CellMargins -> {{106, 2}, {1, 1}}, FontSize -> 10]}, 
                 Closed]]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Formula", "Subsubsection"], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData[
                "InlineFormula", StyleDefinitions -> StyleData["Text"]], 
                CellMargins -> {{10, 4}, {0, 8}}, StripStyleOnPaste -> True, 
                DefaultFormatType -> "TraditionalForm", 
                HyphenationOptions -> {
                 "HyphenationCharacter" -> "\[Continuation]"}, 
                LanguageCategory -> "Formula", ScriptLevel -> 1, 
                SingleLetterItalics -> True], 
               Cell[
                StyleData["InlineFormula", "Presentation"], 
                CellMargins -> {{10, 4}, {0, 12}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["InlineFormula", "Condensed"], 
                CellMargins -> {{8, 10}, {6, 6}}, LineSpacing -> {1, 1}, 
                FontSize -> 11], 
               Cell[
                StyleData["InlineFormula", "Printout"], 
                CellMargins -> {{2, 0}, {6, 6}}, FontSize -> 10]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData[
                "DisplayFormula", StyleDefinitions -> StyleData["Text"]], 
                CellMargins -> {{100, 20}, {7, 7}}, 
                CellGroupingRules -> {"GroupTogetherGrouping", 20000}, 
                StripStyleOnPaste -> True, DefaultFormatType -> 
                "TraditionalForm", 
                HyphenationOptions -> {
                 "HyphenationCharacter" -> "\[Continuation]"}, 
                LanguageCategory -> "Formula", ScriptLevel -> 0, 
                SingleLetterItalics -> True, MenuSortingValue -> 1720], 
               Cell[
                StyleData["DisplayFormula", "Presentation"], 
                CellMargins -> {{140, 10}, {7, 7}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["DisplayFormula", "SlideShow"], 
                CellMargins -> {{140, 10}, {7, 7}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["DisplayFormula", "Condensed"], 
                LineSpacing -> {1, 1}, FontSize -> 11], 
               Cell[
                StyleData["DisplayFormula", "Printout"], 
                CellMargins -> {{80, 2}, {1, 1}}]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData[
                "DisplayFormulaNumbered", StyleDefinitions -> 
                 StyleData["Text"]], CellMargins -> {{100, 20}, {7, 7}}, 
                StripStyleOnPaste -> True, CellFrameLabels -> {{None, 
                   Cell[
                    TextData[{"(", 
                    CounterBox["DisplayFormulaNumbered"], ")"}]]}, {
                  None, None}}, DefaultFormatType -> "TraditionalForm", 
                HyphenationOptions -> {
                 "HyphenationCharacter" -> "\[Continuation]"}, 
                LanguageCategory -> "Formula", ScriptLevel -> 0, 
                SingleLetterItalics -> True, CounterIncrements -> 
                "DisplayFormulaNumbered", MenuSortingValue -> 1740, 
                MenuCommandKey -> "4"], 
               Cell[
                StyleData["DisplayFormulaNumbered", "Presentation"], 
                CellMargins -> {{140, 10}, {7, 7}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["DisplayFormulaNumbered", "SlideShow"], 
                CellMargins -> {{140, 10}, {7, 7}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["DisplayFormulaNumbered", "Condensed"], 
                LineSpacing -> {1, 1}, FontSize -> 11], 
               Cell[
                StyleData["DisplayFormulaNumbered", "Printout"], 
                CellMargins -> {{80, 2}, {1, 1}}]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData[
                "DisplayFormulaFramed", StyleDefinitions -> 
                 StyleData["DisplayFormulaNumbered"]], CellFrame -> True, 
                CounterIncrements -> "DisplayFormulaNumbered", 
                MenuSortingValue -> 1760], 
               Cell[
                StyleData["DisplayFormulaNumbered", "Presentation"], 
                CellMargins -> {{140, 10}, {7, 7}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["DisplayFormulaNumbered", "SlideShow"], 
                CellMargins -> {{140, 10}, {7, 7}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["DisplayFormulaNumbered", "Condensed"], 
                LineSpacing -> {1, 1}, FontSize -> 11], 
               Cell[
                StyleData["DisplayFormulaNumbered", "Printout"], 
                CellMargins -> {{80, 2}, {1, 1}}]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Program", "Subsubsection"], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Program"], CellFrame -> {{0, 0}, {0.5, 0.5}}, 
                CellMargins -> {{60, 4}, {0, 8}}, StripStyleOnPaste -> True, 
                Hyphenation -> False, LanguageCategory -> "Formula", 
                ScriptLevel -> 1, MenuSortingValue -> 1900, MenuCommandKey -> 
                "9", FontFamily -> "Courier"], 
               Cell[
                StyleData["Program", "Presentation"], 
                CellFrame -> {{0, 0}, {1, 1}}, 
                CellMargins -> {{60, 4}, {0, 12}}, LineSpacing -> {1, 5}, 
                FontSize -> 24], 
               Cell[
                StyleData["Program", "Condensed"], 
                CellMargins -> {{8, 10}, {6, 6}}, LineSpacing -> {1, 1}, 
                FontSize -> 11], 
               Cell[
                StyleData["Program", "Printout"], 
                CellMargins -> {{2, 0}, {6, 6}}]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Graphics", "Subsubsection"], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Graphics"], CellMargins -> {{80, 10}, {2, 7}}, 
                DefaultDuplicateCellStyle -> "Graphics", MenuSortingValue -> 
                2100], 
               Cell[
                StyleData["Graphics", "Presentation"], 
                CellMargins -> {{80, 10}, {2, 7}}, Magnification -> 1.8], 
               Cell[
                StyleData["Graphics", "SlideShow"]], 
               Cell[
                StyleData["Graphics", "Condensed"]], 
               Cell[
                StyleData["Graphics", "Printout"]]}, Open]]}, Closed]]}, 
        Open]]}, Open]], 
   Cell[
    CellGroupData[{
      Cell["Styles for Input and Output Cells", "Section"], 
      Cell[
      "The cells in this section define styles used for input and output.", 
       "Text"], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["Input"], ShowCellBracket -> True, MenuSortingValue -> 
          1500, MenuCommandKey -> "7"], 
         Cell[
          StyleData["Input", "Presentation"], ShowGroupOpener -> False, 
          ShowCellLabel -> False], 
         Cell[
          StyleData["Input", "SlideShow"]], 
         Cell[
          StyleData["Input", "Condensed"]], 
         Cell[
          StyleData["Input", "Printout"], CellMargins -> {{80, 2}, {1, 1}}, 
          ShowCellLabel -> False, FontSize -> 10]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["Code"], ShowCellBracket -> True, PageBreakWithin -> True,
           AutoIndent -> Automatic, 
          InputAutoReplacements -> {"\n" -> "\[IndentingNewLine]"}, 
          TabSpacings -> {3.}, FormatType -> InputForm, AutoSpacing -> True, 
          LineIndent -> 1, MenuSortingValue -> 1510, MenuCommandKey -> "8"], 
         Cell[
          StyleData["Code", "Presentation"], ShowCellLabel -> False], 
         Cell[
          StyleData["Code", "SlideShow"], ShowCellLabel -> False], 
         Cell[
          StyleData["Code", "Condensed"]], 
         Cell[
          StyleData["Code", "Printout"]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["Output"], ShowCellBracket -> True, MenuSortingValue -> 
          1550], 
         Cell[
          StyleData["Output", "Presentation"], ShowGroupOpener -> False, 
          CellMargins -> {{60, 10}, {2, 7}}, ShowCellLabel -> False, FontSize -> 
          14, Magnification -> 1.8], 
         Cell[
          StyleData["Output", "SlideShow"]], 
         Cell[
          StyleData["Output", "Condensed"]], 
         Cell[
          StyleData["Output", "Printout"], CellMargins -> {{80, 2}, {1, 1}}, 
          ShowCellLabel -> False, FontSize -> 14, Magnification -> 0.714]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["Print"], ShowCellBracket -> True], 
         Cell[
          StyleData["Print", "Presentation"]], 
         Cell[
          StyleData["Print", "Condensed"]], 
         Cell[
          StyleData["Print", "Printout"], FrontSize -> 10]}, Closed]]}, 
     Closed]], 
   Cell[
    CellGroupData[{
      Cell["Styles for Printed Runningheads and Footers", "Section"], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["Header"], CellMargins -> {{0, 0}, {0, 0}}, 
          LineSpacing -> {1, 8}, MenuSortingValue -> None, FontFamily -> 
          "Cambria", FontSize -> 7], 
         Cell[
          StyleData["Header", "Printout"], Magnification -> 1.]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["HeaderSection"], StyleMenuListing -> None], 
         Cell[
          StyleData["HeaderSection", "Printout"], Magnification -> 1.]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["HeaderSubsection"], StyleMenuListing -> None], 
         Cell[
          StyleData["HeaderSubsection", "Printout"], Magnification -> 1.]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["HeaderTitle"], StyleMenuListing -> None], 
         Cell[
          StyleData["HeaderTitle", "Printout"], Magnification -> 1.]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["Footer"], CellMargins -> {{0, 0}, {0, 0}}, 
          MenuSortingValue -> None, FontFamily -> "Cambria", FontSize -> 7], 
         Cell[
          StyleData["Footer", "Printout"], Magnification -> 1.]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["FooterSection"], StyleMenuListing -> None], 
         Cell[
          StyleData["FooterSection", "Printout"], Magnification -> 1.]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["FooterSubsection"], StyleMenuListing -> None], 
         Cell[
          StyleData["FooterSubsection", "Printout"], Magnification -> 1.]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["FooterTitle"], StyleMenuListing -> None], 
         Cell[
          StyleData["FooterTitle", "Printout"], Magnification -> 1.]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
          StyleData["PageNumber"], LineSpacing -> {1, 8}, MenuSortingValue -> 
          None, FontFamily -> "Cambria", FontSize -> 7, FontWeight -> "Bold"], 
         Cell[
          StyleData["PageNumber", "Printout"], Magnification -> 1.]}, 
        Closed]]}, Closed]]}, Visible -> False, FrontEndVersion -> 
  "9.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (November 20, 2012)", 
  StyleDefinitions -> "PrivateStylesheetFormatting.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "eq: 5703535385873264504"->{
  Cell[23862, 862, 295, 10, 48, "DisplayFormulaNumbered",
   CellTags->"eq: 5703535385873264504"],
  Cell[30031, 1061, 420, 14, 48, "DisplayFormulaNumbered",
   CellTags->"eq: 5703535385873264504"],
  Cell[31212, 1100, 432, 15, 49, "DisplayFormulaNumbered",
   CellTags->"eq: 5703535385873264504"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"eq: 5703535385873264504", 105025, 2894}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[579, 22, 37, 0, 77, "Title"],
Cell[619, 24, 52, 0, 58, "Author"],
Cell[CellGroupData[{
Cell[696, 28, 35, 0, 39, "AbstractSection"],
Cell[734, 30, 284, 7, 70, "Abstract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[1055, 42, 39, 0, 69, "Section"],
Cell[CellGroupData[{
Cell[1119, 46, 37, 0, 31, "Subsubsection"],
Cell[1159, 48, 77, 0, 27, "TextIndent"],
Cell[1239, 50, 1077, 30, 131, "Input"]
}, Open  ]],
Cell[CellGroupData[{
Cell[2353, 85, 37, 0, 31, "Subsubsection"],
Cell[2393, 87, 76, 0, 27, "TextIndent"],
Cell[2472, 89, 57, 1, 28, "Input"],
Cell[2532, 92, 172, 3, 43, "TextNoIndent"],
Cell[CellGroupData[{
Cell[2729, 99, 57, 1, 28, "Input"],
Cell[2789, 102, 1990, 56, 75, "Print"]
}, Open  ]],
Cell[4794, 161, 190, 4, 43, "TextNoIndent"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[5033, 171, 27, 0, 69, "Section"],
Cell[CellGroupData[{
Cell[5085, 175, 32, 0, 39, "Subsection"],
Cell[CellGroupData[{
Cell[5142, 179, 39, 0, 31, "Subsubsection"],
Cell[5184, 181, 62, 0, 27, "TextIndent"],
Cell[5249, 183, 740, 29, 48, "DisplayFormulaNumbered"],
Cell[5992, 214, 875, 22, 109, "TextNoIndent"],
Cell[CellGroupData[{
Cell[6892, 240, 190, 4, 28, "Input"],
Cell[7085, 246, 95, 2, 28, "Output"]
}, Open  ]],
Cell[7195, 251, 168, 7, 25, "TextNoIndent"],
Cell[CellGroupData[{
Cell[7388, 262, 155, 5, 28, "Input"],
Cell[7546, 269, 914, 26, 81, "Output"]
}, Open  ]],
Cell[8475, 298, 466, 11, 93, "TextIndent"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8978, 314, 36, 0, 31, "Subsubsection"],
Cell[9017, 316, 479, 13, 69, "TextIndent"],
Cell[CellGroupData[{
Cell[9521, 333, 130, 3, 28, "Input"],
Cell[9654, 338, 97, 2, 28, "Output"]
}, Open  ]],
Cell[9766, 343, 251, 9, 43, "TextNoIndent"],
Cell[CellGroupData[{
Cell[10042, 356, 641, 19, 46, "Input"],
Cell[10686, 377, 2777, 83, 99, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[13512, 466, 55, 0, 31, "Subsubsection"],
Cell[13570, 468, 135, 4, 27, "TextIndent"],
Cell[CellGroupData[{
Cell[13730, 476, 259, 8, 28, "Input"],
Cell[13992, 486, 348, 12, 28, "Output"]
}, Open  ]],
Cell[14355, 501, 146, 4, 22, "TextNoIndent"],
Cell[CellGroupData[{
Cell[14526, 509, 59, 1, 28, "Input"],
Cell[14588, 512, 951, 27, 81, "Output"]
}, Open  ]],
Cell[15554, 542, 146, 4, 22, "TextNoIndent"],
Cell[CellGroupData[{
Cell[15725, 550, 61, 1, 28, "Input"],
Cell[15789, 553, 218, 7, 28, "Output"]
}, Open  ]],
Cell[16022, 563, 374, 12, 43, "TextNoIndent"],
Cell[CellGroupData[{
Cell[16421, 579, 171, 4, 28, "Input"],
Cell[16595, 585, 494, 17, 47, "Output"]
}, Open  ]],
Cell[17104, 605, 449, 16, 50, "TextIndent"],
Cell[CellGroupData[{
Cell[17578, 625, 126, 3, 28, "Input"],
Cell[17707, 630, 28, 0, 28, "Output"]
}, Open  ]],
Cell[17750, 633, 346, 12, 46, "TextNoIndent"]
}, Open  ]],
Cell[CellGroupData[{
Cell[18133, 650, 41, 0, 31, "Subsubsection"],
Cell[18177, 652, 155, 3, 48, "TextIndent"],
Cell[CellGroupData[{
Cell[18357, 659, 325, 10, 28, "Input"],
Cell[18685, 671, 356, 11, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19078, 687, 323, 10, 28, "Input"],
Cell[19404, 699, 185, 5, 28, "Output"]
}, Open  ]],
Cell[19604, 707, 535, 16, 111, "TextIndent"],
Cell[CellGroupData[{
Cell[20164, 727, 395, 10, 46, "Input"],
Cell[20562, 739, 632, 17, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21231, 761, 200, 6, 28, "Input"],
Cell[21434, 769, 28, 0, 28, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[21523, 776, 30, 0, 39, "Subsection"],
Cell[CellGroupData[{
Cell[21578, 780, 37, 0, 31, "Subsubsection"],
Cell[21618, 782, 583, 9, 153, "TextIndent"],
Cell[22204, 793, 561, 22, 30, "TextIndent"],
Cell[22768, 817, 924, 35, 52, "DisplayFormulaNumbered"],
Cell[23695, 854, 164, 6, 22, "TextNoIndent"],
Cell[23862, 862, 295, 10, 48, "DisplayFormulaNumbered",
 CellTags->"eq: 5703535385873264504"],
Cell[24160, 874, 583, 18, 66, "TextNoIndent"],
Cell[24746, 894, 231, 5, 69, "TextIndent"],
Cell[CellGroupData[{
Cell[25002, 903, 158, 4, 28, "Input"],
Cell[25163, 909, 1521, 44, 47, "Output"]
}, Open  ]],
Cell[26699, 956, 63, 0, 22, "TextNoIndent"],
Cell[CellGroupData[{
Cell[26787, 960, 431, 12, 46, "Input"],
Cell[27221, 974, 2092, 58, 81, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[29362, 1038, 36, 0, 31, "Subsubsection"],
Cell[29401, 1040, 627, 19, 96, "TextIndent"],
Cell[30031, 1061, 420, 14, 48, "DisplayFormulaNumbered",
 CellTags->"eq: 5703535385873264504"],
Cell[30454, 1077, 755, 21, 88, "TextNoIndent"],
Cell[31212, 1100, 432, 15, 49, "DisplayFormulaNumbered",
 CellTags->"eq: 5703535385873264504"],
Cell[31647, 1117, 174, 4, 48, "TextIndent"],
Cell[CellGroupData[{
Cell[31846, 1125, 253, 8, 28, "Input"],
Cell[32102, 1135, 191, 6, 32, "Output"]
}, Open  ]],
Cell[32308, 1144, 194, 4, 43, "TextNoIndent"],
Cell[CellGroupData[{
Cell[32527, 1152, 419, 12, 28, "Input"],
Cell[32949, 1166, 152, 5, 36, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[33150, 1177, 34, 0, 31, "Subsubsection"],
Cell[33187, 1179, 442, 9, 111, "TextIndent"],
Cell[33632, 1190, 167, 4, 48, "TextIndent"],
Cell[CellGroupData[{
Cell[33824, 1198, 205, 6, 28, "Input"],
Cell[34032, 1206, 306, 11, 49, "Output"]
}, Open  ]],
Cell[34353, 1220, 71, 0, 22, "TextNoIndent"],
Cell[CellGroupData[{
Cell[34449, 1224, 222, 7, 28, "Input"],
Cell[34674, 1233, 306, 11, 49, "Output"]
}, Open  ]],
Cell[34995, 1247, 165, 3, 43, "TextNoIndent"],
Cell[CellGroupData[{
Cell[35185, 1254, 155, 4, 28, "Input"],
Cell[35343, 1260, 389, 7, 24, "Message"],
Cell[35735, 1269, 425, 8, 24, "Message"],
Cell[36163, 1279, 182, 6, 28, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[36394, 1291, 37, 0, 31, "Subsubsection"],
Cell[36434, 1293, 252, 5, 69, "TextIndent"],
Cell[CellGroupData[{
Cell[36711, 1302, 84, 2, 28, "Input"],
Cell[36798, 1306, 62, 1, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[36897, 1312, 222, 7, 28, "Input"],
Cell[37122, 1321, 584, 19, 36, "Output"]
}, Open  ]],
Cell[37721, 1343, 154, 3, 43, "TextNoIndent"],
Cell[CellGroupData[{
Cell[37900, 1350, 264, 9, 28, "Input"],
Cell[38167, 1361, 1168, 40, 61, "Output"]
}, Open  ]],
Cell[39350, 1404, 164, 3, 43, "TextNoIndent"],
Cell[CellGroupData[{
Cell[39539, 1411, 265, 9, 28, "Input"],
Cell[39807, 1422, 2704, 84, 108, "Output"]
}, Open  ]],
Cell[42526, 1509, 268, 9, 48, "TextIndent"],
Cell[CellGroupData[{
Cell[42819, 1522, 202, 6, 28, "Input"],
Cell[43024, 1530, 562, 22, 56, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[43635, 1558, 44, 0, 31, "Subsubsection"],
Cell[43682, 1560, 151, 4, 48, "TextIndent"],
Cell[CellGroupData[{
Cell[43858, 1568, 167, 4, 28, "Input"],
Cell[44028, 1574, 312, 9, 28, "Output"]
}, Open  ]],
Cell[44355, 1586, 159, 6, 48, "TextIndent"],
Cell[CellGroupData[{
Cell[44539, 1596, 343, 10, 28, "Input"],
Cell[44885, 1608, 166, 4, 48, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}
]
*)

(* End of internal cache information *)