(************** Content-type: application/mathematica ************** CreatedBy='Mathematica 5.2' Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 22850, 731]*) (*NotebookOutlinePosition[ 71203, 2296]*) (* CellTagsIndexPosition[ 71121, 2290]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageFirst"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPagePrevious"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageNext"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageLast"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[TextData[{ "The Objectives\n", StyleBox["of Formal Mathematics\nand the Workshop on Formal \ Gr\[ODoubleDot]bner Bases Theory", FontSize->16] }], "Title"], Cell["\<\ Bruno Buchberger Research Institute for Symbolic Computation Johannes Kepler University, Linz, Austria Talk at Workshop \"Formal Gr\[ODoubleDot]bner Bases Theory\" RICAM - RISC, Linz, Austria March 6, 2006\ \>", "Subtitle"], Cell["\<\ \ \>", "Subsubtitle"], Cell[TextData[{ StyleBox["Copyright Note: ", FontWeight->"Bold"], "Copyright Bruno Buchberger 2006\nThis file may be copied and stored in \ data bases under the following conditions:\n\n- The file is kept unchanged \ (including this copyright note).\n- A message is sent to \ Bruno.Buchberger@jku.at.\n- If you use material contained in this file, cite \ it appropriately referring to the above talk and workshop.\n" }], "Text", FontColor->RGBColor[1, 0, 0]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageFirst"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPagePrevious"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageNext"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageLast"]}], ButtonStyle->"SlideHyperlink"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Formal Mathematics", "Section"], Cell[TextData[{ StyleBox["Computer mathematics on the \"object level\":", FontColor->RGBColor[0, 0, 1]], " Given a mathematical theory (e.g. commutative algebra, graph theory, \ geometry, etc.)" }], "Text"], Cell["\<\ a problem formulated in the theory is solved by an algorithm formulated in \ the theory. \ \>", "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell[TextData[{ StyleBox["Computer mathematics on the \"meta-level\" (= Formal \ Mathematics):", FontColor->RGBColor[0, 0, 1]], " the process of developing a mathematical theory is supported by \ algorithms (\"automated\", \"mechanized\", ...)." }], "Text"], Cell[TextData[{ "The ", StyleBox["process of developing a mathematical theory", FontColor->RGBColor[0, 0, 1]], " has, at least, the following ingredients:" }], "Text"], Cell[TextData[{ "inventing (and \"verifying\") axioms and ", StyleBox["definitions", FontColor->RGBColor[0, 0, 1]], "," }], "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell[TextData[{ "inventing and proving / disproving ", StyleBox["propositions", FontColor->RGBColor[0, 0, 1]], "," }], "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell[TextData[{ "inventing (and \"verifying\") ", StyleBox["problems", FontColor->RGBColor[0, 0, 1]], "," }], "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell[TextData[{ "inventing and proving methods (", StyleBox["algorithms", FontColor->RGBColor[0, 0, 1]], ")," }], "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell[TextData[{ StyleBox["managing knowledge", FontColor->RGBColor[0, 0, 1]], " generated in the theory." }], "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell[TextData[StyleBox["(Mathematical Theory Exploration Paradigm # \ Isolated Theorem Proving Paradigm).", "Text"]], "Text"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageFirst"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPagePrevious"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageNext"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageLast"]}], ButtonStyle->"SlideHyperlink"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Reflection", "Section"], Cell[TextData[{ "The ", StyleBox["algorithms used in formal mathematics (for a given theory) are / \ contain often algorithms developed on the object level of some other theory", FontColor->RGBColor[0, 0, 1]], " (e.g. algorithm for computing Gr\[ODoubleDot]bner bases can be used in \ generating proofs / disproofs for a wide class of formulae in geometry). \ Therefore, formal mathematics must contain means for describing and verifying \ its reasoners. (", StyleBox["Reflection", FontColor->RGBColor[0, 0, 1]], ".)" }], "Text"], Cell["(Proved Provers Paradigm.)", "Text"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageFirst"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPagePrevious"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageNext"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageLast"]}], ButtonStyle->"SlideHyperlink"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Future of Formal Mathematics", "Section"], Cell[TextData[{ "In a certain sense, ", StyleBox["mathematics started when it started to be \"formal\".", FontColor->RGBColor[0, 0, 1]] }], "Text"], Cell["\<\ In terms of a clear notion of algorithm, the foundation of formal mathematics \ was laid in the 20th century.\ \>", "Text"], Cell[TextData[{ StyleBox["Formality in mathematics will develop", FontColor->RGBColor[0, 0, 1]], " to a degree not at all expected, desired, and anticipated currently by \ the majority of mathematicians." }], "Text"], Cell[TextData[{ "The", StyleBox[" ingredients for this development are here", FontColor->RGBColor[0, 0, 1]], ". (The were not available 40 years ago.)" }], "Text"], Cell[TextData[{ "The", StyleBox[" amount of work needed to make it happen is still enormous but \ not beyond the working power ", FontColor->RGBColor[0, 0, 1]], "of (a small part of) the current mathematical community." }], "Text"], Cell[TextData[{ StyleBox["Formality will drastically change", FontColor->RGBColor[0, 0, 1]], " the way how ", StyleBox["mathematics", FontColor->RGBColor[0, 0, 1]], " is researched, taught, and applied." }], "Text"], Cell[TextData[{ "The ", StyleBox["formalization of mathematics will be never completed", FontColor->RGBColor[0, 0, 1]], ", the horizon of the unformalized expands as formalization of some parts \ of mathematics is achieved. (This is a good reason to work for formalization \ and not a reason not to work for formalization.)" }], "Text"], Cell[TextData[{ StyleBox["Formal mathematics needs a different (better) kind of \ mathematicians", FontColor->RGBColor[0, 0, 1]], "." }], "Text"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageFirst"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPagePrevious"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageNext"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageLast"]}], ButtonStyle->"SlideHyperlink"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Tools for Formal Mathematics", "Section"], Cell[CellGroupData[{ Cell[TextData[StyleBox["Logical Tools", FontColor->RGBColor[0, 0, 1]]], "Subsection"], Cell[CellGroupData[{ Cell["For the Verification Steps", "Subsubsection"], Cell[TextData[{ StyleBox["\"Reasoners\"", FontColor->RGBColor[0, 0, 1]], " (not only \"general\" ones but, more importantly \"special\" ones; i.e. \ reasoners that are valid only for special theories.)" }], "Text"], Cell[TextData[{ StyleBox["\"Solvers\"", FontColor->RGBColor[0, 0, 1]], " (\"Model Checkers\", etc.)" }], "Text"], Cell[TextData[{ StyleBox["\"Retrievers\"", FontColor->RGBColor[0, 0, 1]], " (essentially, they are reasoners)." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["For the Invention Steps", "Subsubsection"], Cell[TextData[{ StyleBox["Schemes ", FontColor->RGBColor[0, 0, 1]], "(... ", StyleBox["functors", FontColor->RGBColor[0, 0, 1]], "): can be \"applied\" (by substitution) in order to propose definitions, \ propositions, problems, algorithms in bottom-up style." }], "Text"], Cell[TextData[{ StyleBox["Analysis of failing proofs:", FontColor->RGBColor[0, 0, 1]], " can be used for proposing propositions, problems (specifications) in a \ top-down style." }], "Text"], Cell[TextData[{ StyleBox["Others: ", FontColor->RGBColor[0, 0, 1]], "see talks." }], "Text"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[StyleBox["Organizational Tools", FontColor->RGBColor[0, 0, 1]]], "Subsection"], Cell["Notebook organization,", "Text"], Cell["Label management,", "Text"], Cell["...", "Text"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageFirst"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPagePrevious"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageNext"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageLast"]}], ButtonStyle->"SlideHyperlink"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Formal Gr\[ODoubleDot]bner Bases Theory", "Section"], Cell[TextData[{ "Can be used as ", StyleBox["a benchmark theory f", FontColor->RGBColor[0, 0, 1]], "or formal mathematics." }], "Text"], Cell[TextData[{ "Was", StyleBox[" for me the personal motivation why I started the Theorema \ project", FontColor->RGBColor[0, 0, 1]], " in 1995:" }], "Text"], Cell["\<\ Wanted to write a textbook on Gr\[ODoubleDot]bner Bases; this is still \ handcrafting.\ \>", "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell["\<\ Wanted to do research on generalized Sylvester matrices and possible \ additional \"criteria\"; formal proofs essential and difficult.\ \>", "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell["\<\ So many papers on GB, very different level of reliabilty, originality, etc.\ \>", "Text", CellDingbat->"\[EmptySmallCircle]", CellMargins->{{62.625, Inherited}, {Inherited, Inherited}}], Cell[TextData[{ "By now, ", StyleBox["a few groups started to develop a formal Gr\[ODoubleDot]bner \ bases theory", FontColor->RGBColor[0, 0, 1]], "." }], "Text"], Cell[TextData[{ "Acknowledgement to ", StyleBox["Theorema", FontSlant->"Italic"], " Group: T. Jebelean, W. Windsteiger, T. Kutsia, M. Rosenkranz, F. Piroi, \ and docs." }], "Text"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageFirst"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPagePrevious"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageNext"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageLast"]}], ButtonStyle->"SlideHyperlink"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Examples", "Section"], Cell[TextData[{ "Generating ", StyleBox["conjectures from failing proofs", FontColor->RGBColor[0, 0, 1]], ": inductive proofs." }], "Text"], Cell[TextData[{ StyleBox["Schemes ", FontColor->RGBColor[0, 0, 1]], "for inventing definitions, propositions, problems, algorithms." }], "Text"], Cell[TextData[{ StyleBox["Functor notation", FontColor->RGBColor[0, 0, 1]], " for schemes." }], "Text"] }, Open ]] }, FrontEndVersion->"5.2 for Microsoft Windows", ScreenRectangle->{{0, 1024}, {0, 681}}, ScreenStyleEnvironment->"Brackets", WindowToolbars->{"RulerBar", "EditBar"}, WindowSize->{1016, 631}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, Magnification->1.5, StyleDefinitions -> Notebook[{ Cell[CellGroupData[{ Cell["Style Definitions", "Subtitle"], Cell["\<\ Modify the definitions below to change the default appearance of all cells in \ a given style. Make modifications to any definition using commands in the \ Format menu.\ \>", "Text"], Cell[CellGroupData[{ Cell["Style Environment Names", "Section"], Cell[StyleData[All, "Working"], PageWidth->WindowWidth, ScriptMinSize->9], Cell[StyleData[All, "Presentation"], PageWidth->WindowWidth, ScriptMinSize->12, FontSize->16], Cell[StyleData[All, "SlideShow"], PageWidth->WindowWidth, ScrollingOptions->{"PagewiseDisplay"->True}, ShowCellBracket->False, ScriptMinSize->9], Cell[StyleData[All, "Condensed"], PageWidth->WindowWidth, CellBracketOptions->{"Margins"->{1, 1}, "Widths"->{0, 5}}, ScriptMinSize->8, FontSize->11], Cell[StyleData[All, "Printout"], PageWidth->PaperWidth, ScriptMinSize->7, FontSize->10, PrivateFontOptions->{"FontType"->"Outline"}] }, Closed]], Cell[CellGroupData[{ Cell["Notebook Options", "Section"], Cell["\<\ The options defined for the style below will be used at the Notebook level.\ \>", "Text"], Cell[StyleData["Notebook"], PageHeaders->{{Cell[ TextData[ { CounterBox[ "Page"]}], "PageNumber"], None, Cell[ TextData[ { ValueBox[ "FileName"]}], "Header"]}, {Cell[ TextData[ { ValueBox[ "FileName"]}], "Header"], None, Cell[ TextData[ { CounterBox[ "Page"]}], "PageNumber"]}}, PageHeaderLines->{True, True}, PrintingOptions->{"FirstPageHeader"->False, "FacingPages"->True}, CellFrameLabelMargins->6, StyleMenuListing->None] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Headings", "Section", FontFamily->"Arial"], Cell[CellGroupData[{ Cell[StyleData["Title"], ShowCellBracket->False, CellMargins->{{0, 0}, {0, 0}}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, TextAlignment->Center, LineSpacing->{1, 11}, CounterIncrements->"Title", CounterAssignments->{{"Section", 0}, {"Equation", 0}, {"Figure", 0}, { "Subtitle", 0}, {"Subsubtitle", 0}}, FontFamily->"Arial", FontSize->34, FontColor->GrayLevel[1], Background->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["Title", "Presentation"], CellMargins->{{0, 0}, {0, 0}}, CellFrameMargins->{{12, 10}, {24, 24}}, TextAlignment->Center, LineSpacing->{1, 0}, FontSize->46], Cell[StyleData["Title", "Condensed"], CellMargins->{{0, 0}, {0, 0}}, TextAlignment->Center, FontSize->20], Cell[StyleData["Title", "Printout"], CellMargins->{{0, 0}, {0, 0}}, TextAlignment->Center, FontSize->24, FontTracking->"Plain", Background->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Subtitle"], ShowCellBracket->False, CellMargins->{{0, 0}, {0, 0}}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, TextAlignment->Center, LineSpacing->{1, 3}, ParagraphIndent->-96, CounterIncrements->"Subtitle", CounterAssignments->{{"Section", 0}, {"Equation", 0}, {"Figure", 0}, { "Subsubtitle", 0}}, FontFamily->"Arial", FontSize->18, FontColor->GrayLevel[1], Background->RGBColor[0.2, 0.700008, 0.700008]], Cell[StyleData["Subtitle", "Presentation"], CellMargins->{{0, 0}, {4, 0}}, CellFrameMargins->{{12, 10}, {12, 8}}, TextAlignment->Center, LineSpacing->{1, 6}, ParagraphIndent->-157, FontSize->28], Cell[StyleData["Subtitle", "Condensed"], CellMargins->{{0, 0}, {0, 0}}, TextAlignment->Center, ParagraphIndent->-78, FontSize->14], Cell[StyleData["Subtitle", "Printout"], CellMargins->{{0, 0}, {0, 0}}, TextAlignment->Center, ParagraphIndent->-85, FontSize->16, Background->GrayLevel[0.6]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Subsubtitle"], ShowCellBracket->False, CellMargins->{{10, 4}, {30, 10}}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, TextAlignment->Center, CounterIncrements->"Subsubtitle", CounterAssignments->{{"Section", 0}, {"Equation", 0}, {"Figure", 0}}, FontFamily->"Arial", FontSize->14, FontSlant->"Italic"], Cell[StyleData["Subsubtitle", "Presentation"], CellMargins->{{15, 10}, {50, 10}}, TextAlignment->Center, LineSpacing->{1, 0}, FontSize->22], Cell[StyleData["Subsubtitle", "Condensed"], CellMargins->{{8, 10}, {12, 8}}, TextAlignment->Center, FontSize->12], Cell[StyleData["Subsubtitle", "Printout"], CellMargins->{{9, 10}, {50, 10}}, TextAlignment->Center, FontSize->14] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Section"], CellFrame->{{6, 0}, {0, 1}}, CellDingbat->None, CellMargins->{{12, Inherited}, {4, 24}}, CellGroupingRules->{"SectionGrouping", 30}, PageBreakBelow->False, CellFrameMargins->6, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, LineSpacing->{1, 7}, CounterIncrements->"Section", CounterAssignments->{{"Subsection", 0}, {"Subsubsection", 0}}, FontFamily->"Arial", FontSize->16, FontWeight->"Bold", FontColor->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["Section", "Presentation"], CellFrame->{{8, 0}, {0, 2}}, CellMargins->{{15, 10}, {14, 32}}, CellFrameMargins->{{8, 10}, {10, 14}}, LineSpacing->{1, 2}, FontSize->24, FontTracking->"Condensed"], Cell[StyleData["Section", "Condensed"], CellMargins->{{8, Inherited}, {2, 12}}, FontSize->12], Cell[StyleData["Section", "Printout"], CellMargins->{{9, 0}, {2, 50}}, FontSize->14, FontTracking->"Plain", FontColor->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Subsection"], CellMargins->{{12, Inherited}, {8, 20}}, CellGroupingRules->{"SectionGrouping", 40}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, LineSpacing->{1, 7}, CounterIncrements->"Subsection", CounterAssignments->{{"Subsubsection", 0}}, FontFamily->"Arial", FontSize->13, FontWeight->"Bold"], Cell[StyleData["Subsection", "Presentation"], CellMargins->{{15, 10}, {12, 32}}, LineSpacing->{1, 0}, FontSize->22], Cell[StyleData["Subsection", "Condensed"], CellMargins->{{8, Inherited}, {2, 12}}, FontSize->12], Cell[StyleData["Subsection", "Printout"], CellMargins->{{9, 0}, {4, 40}}, FontSize->12] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Subsubsection"], CellDingbat->"\[FilledSquare]", CellMargins->{{25, Inherited}, {8, 12}}, CellGroupingRules->{"SectionGrouping", 50}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, LineSpacing->{1, 9}, CounterIncrements->"Subsubsection", FontFamily->"Arial", FontSize->13, FontWeight->"Bold"], Cell[StyleData["Subsubsection", "Presentation"], CellMargins->{{34, 10}, {18, 28}}, LineSpacing->{1, 0}, FontSize->18], Cell[StyleData["Subsubsection", "Condensed"], CellMargins->{{22, Inherited}, {2, 12}}, FontSize->10], Cell[StyleData["Subsubsection", "Printout"], CellMargins->{{21, 0}, {4, 20}}, FontSize->11] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Body Text", "Section", FontFamily->"Arial"], Cell[CellGroupData[{ Cell[StyleData["Text"], CellMargins->{{12, 10}, {5, 5}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 12}, CounterIncrements->"Text", FontFamily->"Arial"], Cell[StyleData["Text", "Presentation"], CellMargins->{{15, 10}, {8, 10}}, LineSpacing->{1, 5}, ParagraphSpacing->{0, 12}, FontSize->18], Cell[StyleData["Text", "Condensed"], CellMargins->{{8, 10}, {4, 4}}, LineSpacing->{1, 1}, ParagraphSpacing->{0, 4}], Cell[StyleData["Text", "Printout"], CellMargins->{{9, 0}, {4, 4}}, Hyphenation->True, ParagraphSpacing->{0, 6}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SmallText"], CellMargins->{{12, 10}, {5, 5}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 6}, CounterIncrements->"SmallText", FontFamily->"Arial", FontSize->9], Cell[StyleData["SmallText", "Presentation"], CellMargins->{{15, 10}, {8, 10}}, LineSpacing->{1, 5}, FontSize->14], Cell[StyleData["SmallText", "Condensed"], CellMargins->{{8, 10}, {2, 2}}, LineSpacing->{1, 2}, FontSize->9], Cell[StyleData["SmallText", "Printout"], CellMargins->{{9, 0}, {4, 4}}, Hyphenation->True, FontSize->7] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell["Styles for Input/Output", "Section"], Cell["\<\ The cells in this section define styles used for input and output to the \ kernel. Be careful when modifying, renaming, or removing these styles, \ because the front end associates special meanings with these style names.\ \>", "Text"], Cell[CellGroupData[{ Cell[StyleData["Input"], CellFrame->{{3, 0}, {0, 0}}, CellMargins->{{52, 10}, {8, 8}}, Evaluatable->True, CellGroupingRules->"InputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, CellLabelMargins->{{5, Inherited}, {Inherited, Inherited}}, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", FormatType->InputForm, ShowStringCharacters->True, NumberMarks->True, LinebreakAdjustments->{0.85, 2, 10, 0, 1}, CounterIncrements->"Input", FontWeight->"Bold", Background->GrayLevel[0.666667]], Cell[StyleData["Input", "Presentation"], CellFrame->{{5, 0}, {0, 0}}, CellMargins->{{74, 10}, {8, 10}}, CellFrameMargins->{{10, 10}, {14, 14}}, LineSpacing->{1, 0}, FontSize->18] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["InlineInput"], Evaluatable->True, CellGroupingRules->"InputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, AutoItalicWords->{}, FormatType->InputForm, ShowStringCharacters->True, NumberMarks->True, CounterIncrements->"Input", FontWeight->"Bold"], Cell[StyleData["InlineInput", "Presentation"], CellMargins->{{10, 10}, {12, 12}}, FontSize->18] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Output"], CellFrame->True, CellMargins->{{52, 10}, {8, 8}}, CellEditDuplicate->True, CellGroupingRules->"OutputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, CellLabelMargins->{{3, Inherited}, {Inherited, Inherited}}, DefaultFormatType->DefaultOutputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", FormatType->InputForm, CounterIncrements->"Output", Background->None], Cell[StyleData["Output", "Presentation"], CellFrame->True, CellMargins->{{74, 10}, {12, 5}}, CellFrameMargins->{{10, 10}, {14, 14}}, LineSpacing->{1, 0}, FontSize->18], Cell[StyleData["Output", "Condensed"], CellFrame->True, CellMargins->{{40, Inherited}, {4, 1}}], Cell[StyleData["Output", "Printout"], CellFrame->True, CellMargins->{{44, 0}, {6, 2}}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Message"], CellMargins->{{62, Inherited}, {Inherited, Inherited}}, CellGroupingRules->"OutputGrouping", PageBreakWithin->False, GroupPageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, ShowCellLabel->False, DefaultFormatType->DefaultOutputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, FormatType->InputForm, CounterIncrements->"Message", StyleMenuListing->None, FontColor->RGBColor[1, 0, 0]], Cell[StyleData["Message", "Presentation"], CellMargins->{{86, 20}, {10, 10}}, LineSpacing->{1, 0}, FontSize->18], Cell[StyleData["Message", "Condensed"], CellMargins->{{50, Inherited}, {Inherited, Inherited}}], Cell[StyleData["Message", "Printout"], CellMargins->{{54, Inherited}, {Inherited, Inherited}}, FontColor->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Print"], CellMargins->{{62, Inherited}, {Inherited, Inherited}}, CellGroupingRules->"OutputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, ShowCellLabel->False, DefaultFormatType->DefaultOutputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, FormatType->InputForm, CounterIncrements->"Print", StyleMenuListing->None], Cell[StyleData["Print", "Presentation"], CellMargins->{{86, 20}, {4, 4}}, LineSpacing->{1, 0}, FontSize->18], Cell[StyleData["Print", "Condensed"], CellMargins->{{50, Inherited}, {Inherited, Inherited}}], Cell[StyleData["Print", "Printout"], CellMargins->{{54, Inherited}, {Inherited, Inherited}}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Graphics"], CellMargins->{{62, Inherited}, {Inherited, Inherited}}, CellGroupingRules->"GraphicsGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, ShowCellLabel->False, DefaultFormatType->DefaultOutputFormatType, FormatType->InputForm, CounterIncrements->"Graphics", StyleMenuListing->None], Cell[StyleData["Graphics", "Presentation"], CellMargins->{{86, 20}, {8, 8}}, FontSize->18], Cell[StyleData["Graphics", "Condensed"], CellMargins->{{52, Inherited}, {Inherited, Inherited}}, ImageSize->{175, 175}], Cell[StyleData["Graphics", "Printout"], CellMargins->{{54, Inherited}, {Inherited, Inherited}}, ImageSize->{250, 250}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["CellLabel"], StyleMenuListing->None, FontFamily->"Helvetica", FontSize->11, FontWeight->"Bold", FontColor->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["CellLabel", "Presentation"], FontSize->12], Cell[StyleData["CellLabel", "Condensed"], FontSize->8], Cell[StyleData["CellLabel", "Printout"], FontSize->8, FontColor->GrayLevel[0]] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell["Unique Styles", "Section"], Cell[CellGroupData[{ Cell[StyleData["Author"], ShowCellBracket->False, CellMargins->{{10, 4}, {2, 10}}, LineSpacing->{1, 5}, FontSize->16, FontSlant->"Italic"], Cell[StyleData["Author", "Presentation"], CellMargins->{{15, 10}, {4, 16}}, LineSpacing->{1, 5}, ParagraphSpacing->{0, 12}, FontSize->24], Cell[StyleData["Author", "Condensed"], CellMargins->{{8, 10}, {1, 4}}, LineSpacing->{1, 1}, ParagraphSpacing->{0, 4}, FontSize->12], Cell[StyleData["Author", "Printout"], CellMargins->{{9, 0}, {4, 12}}, ParagraphSpacing->{0, 6}, FontSize->14] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Copyright"], ShowCellBracket->False, CellMargins->{{10, 10}, {40, 2}}, FontFamily->"Helvetica", FontSize->9], Cell[StyleData["Copyright", "Presentation"], CellMargins->{{15, 10}, {50, 4}}, LineSpacing->{1, 5}, FontSize->14], Cell[StyleData["Copyright", "Condensed"], CellMargins->{{8, 10}, {12, 1}}, LineSpacing->{1, 2}, FontSize->9], Cell[StyleData["Copyright", "Printout"], CellMargins->{{9, 0}, {72, 4}}, FontSize->7] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Example"], CellMargins->{{12, 10}, {5, 12}}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 12}, CounterIncrements->"Example", FontFamily->"Times", FontWeight->"Bold"], Cell[StyleData["Example", "Presentation"], CellMargins->{{18, 10}, {8, 20}}, LineSpacing->{1, 5}, ParagraphSpacing->{0, 12}, FontSize->18], Cell[StyleData["Example", "Condensed"], CellMargins->{{8, 10}, {4, 8}}, LineSpacing->{1, 1}, ParagraphSpacing->{0, 4}], Cell[StyleData["Example", "Printout"], CellMargins->{{9, 0}, {4, 10}}, ParagraphSpacing->{0, 6}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Definition"], CellFrame->{{3, 0}, {0, 0}}, CellMargins->{{52, 10}, {8, 8}}, PageBreakWithin->False, GroupPageBreakWithin->False, CellLabelMargins->{{23, Inherited}, {Inherited, Inherited}}, ShowStringCharacters->True, CounterIncrements->"Definition", FontFamily->"Helvetica", FontWeight->"Bold", FontColor->GrayLevel[1], Background->RGBColor[0.2, 0.700008, 0.700008]], Cell[StyleData["Definition", "Presentation"], CellFrame->{{5, 0}, {0, 0}}, CellMargins->{{74, 10}, {8, 12}}, CellFrameMargins->{{10, 10}, {14, 14}}, LineSpacing->{1, 0}, FontSize->18], Cell[StyleData["Definition", "Condensed"], CellMargins->{{40, 10}, {1, 4}}], Cell[StyleData["Definition", "Printout"], CellMargins->{{44, 0}, {2, 6}}, Hyphenation->True, Background->GrayLevel[0.6]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Theorem"], CellFrame->{{3, 0}, {0, 0}}, CellMargins->{{52, 10}, {8, 8}}, PageBreakWithin->False, GroupPageBreakWithin->False, CellLabelMargins->{{23, Inherited}, {Inherited, Inherited}}, ShowStringCharacters->True, CounterIncrements->"Theorem", FontFamily->"Helvetica", FontWeight->"Bold", FontColor->GrayLevel[1], Background->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["Theorem", "Presentation"], CellFrame->{{5, 0}, {0, 0}}, CellMargins->{{74, 10}, {8, 12}}, CellFrameMargins->{{10, 10}, {14, 14}}, LineSpacing->{1, 0}, FontSize->18], Cell[StyleData["Theorem", "Condensed"], CellMargins->{{40, 10}, {1, 4}}], Cell[StyleData["Theorem", "Printout"], CellMargins->{{44, 0}, {2, 6}}, Hyphenation->True, Background->GrayLevel[0.4]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["ExerciseMain"], CellFrame->{{6, 0}, {0, 1}}, CellMargins->{{12, Inherited}, {4, 20}}, CellGroupingRules->{"SectionGrouping", 30}, PageBreakBelow->False, CellFrameColor->RGBColor[0.571389, 0.19675, 0.570504], LineSpacing->{1, 7}, CounterIncrements->"Subsection", CounterAssignments->{{"Subsubsection", 0}}, FontFamily->"Helvetica", FontSize->16, FontWeight->"Bold", FontColor->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["ExerciseMain", "Presentation"], CellFrame->{{8, 0}, {0, 2}}, CellMargins->{{18, 10}, {12, 32}}, CellFrameMargins->{{10, 10}, {14, 14}}, LineSpacing->{1, 2}, FontSize->24, FontTracking->"Condensed"], Cell[StyleData["ExerciseMain", "Condensed"], CellMargins->{{8, Inherited}, {2, 12}}, FontSize->12], Cell[StyleData["ExerciseMain", "Printout"], CellMargins->{{9, 0}, {2, 50}}, CellFrameColor->GrayLevel[0.500008], FontSize->14, FontTracking->"Plain", FontColor->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Exercise"], CellDingbat->"\[FilledDownTriangle]", CellMargins->{{23, Inherited}, {4, 18}}, CellGroupingRules->{"SectionGrouping", 50}, PageBreakBelow->False, LineSpacing->{1, 7}, CounterIncrements->"Subsubsection", FontFamily->"Times", FontSize->13, FontWeight->"Bold", FontColor->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["Exercise", "Presentation"], CellMargins->{{28, 10}, {10, 34}}, LineSpacing->{1, 0}, FontSize->22], Cell[StyleData["Exercise", "Condensed"], CellMargins->{{17, Inherited}, {2, 12}}, FontSize->10], Cell[StyleData["Exercise", "Printout"], CellFrame->{{0, 0}, {0.5, 0}}, CellDingbat->None, CellMargins->{{9, 0}, {6, 20}}, Hyphenation->True, FontSize->11, FontColor->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["ExerciseText"], CellMargins->{{62, 10}, {5, 5}}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 8}, CounterIncrements->"ExerciseText", FontFamily->"Times"], Cell[StyleData["ExerciseText", "Presentation"], CellMargins->{{100, 10}, {8, 8}}, LineSpacing->{1, 5}, ParagraphSpacing->{0, 12}, FontSize->18], Cell[StyleData["ExerciseText", "Condensed"], CellMargins->{{52, 10}, {2, 2}}, LineSpacing->{1, 1}, ParagraphSpacing->{0, 4}], Cell[StyleData["ExerciseText", "Printout"], CellMargins->{{54, 0}, {4, 4}}, Hyphenation->True, ParagraphSpacing->{0, 6}] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Formulas and Programming", "Section"], Cell[CellGroupData[{ Cell[StyleData["DisplayFormula"], CellMargins->{{62, 10}, {2, 10}}, CellHorizontalScrolling->True, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", ScriptLevel->0, SingleLetterItalics->True, UnderoverscriptBoxOptions->{LimitsPositioning->True}], Cell[StyleData["DisplayFormula", "Presentation"], CellMargins->{{100, 10}, {8, 16}}, FontSize->18], Cell[StyleData["DisplayFormula", "Condensed"], CellMargins->{{52, 10}, {2, 10}}, FontSize->10], Cell[StyleData["DisplayFormula", "Printout"], CellMargins->{{54, 10}, {2, 10}}, FontSize->10] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["ChemicalFormula"], CellMargins->{{62, 10}, {2, 10}}, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", AutoSpacing->False, ScriptLevel->1, ScriptBaselineShifts->{0.6, Automatic}, SingleLetterItalics->False, ZeroWidthTimes->True], Cell[StyleData["ChemicalFormula", "Presentation"], CellMargins->{{100, 10}, {8, 12}}, FontSize->18], Cell[StyleData["ChemicalFormula", "Condensed"], CellMargins->{{52, 10}, {2, 10}}, FontSize->10], Cell[StyleData["ChemicalFormula", "Printout"], CellMargins->{{54, 10}, {2, 10}}, FontSize->10] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Program"], CellMargins->{{12, 10}, {Inherited, 6}}, Hyphenation->False, LanguageCategory->"Formula", FontFamily->"Courier"], Cell[StyleData["Program", "Presentation"], CellMargins->{{20, 30}, {4, 4}}, FontSize->18], Cell[StyleData["Program", "Condensed"], CellMargins->{{8, 10}, {Inherited, 4}}, FontSize->9.5], Cell[StyleData["Program", "Printout"], CellMargins->{{9, 0}, {Inherited, 4}}, FontSize->9.5] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Automatic Numbering", "Section"], Cell["\<\ The following styles are useful for numbered equations, figures, etc. They \ automatically give the cell a FrameLabel containing a reference to a \ particular counter, and also increment that counter.\ \>", "Text"], Cell[CellGroupData[{ Cell[StyleData["NumberedEquation"], CellMargins->{{62, 10}, {Inherited, Inherited}}, CellFrameLabels->{{None, Cell[ TextData[ {"(", CounterBox[ "NumberedEquation"], ")"}]]}, {None, None}}, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, CounterIncrements->"NumberedEquation", FormatTypeAutoConvert->False], Cell[StyleData["NumberedEquation", "Presentation"], CellMargins->{{100, 10}, {6, 8}}, FontSize->18], Cell[StyleData["NumberedEquation", "Condensed"], CellMargins->{{52, 10}, {Inherited, Inherited}}], Cell[StyleData["NumberedEquation", "Printout"], CellMargins->{{54, 0}, {Inherited, Inherited}}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["NumberedFigure"], CellMargins->{{62, 145}, {Inherited, Inherited}}, CellFrameLabels->{{None, None}, {Cell[ TextData[ {"Figure ", CounterBox[ "NumberedFigure"]}]], None}}, CounterIncrements->"NumberedFigure", ImageMargins->{{43, Inherited}, {Inherited, 0}}, FormatTypeAutoConvert->False], Cell[StyleData["NumberedFigure", "Presentation"], CellMargins->{{100, 145}, {8, 6}}, FontSize->18], Cell[StyleData["NumberedFigure", "Condensed"]], Cell[StyleData["NumberedFigure", "Printout"]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["NumberedTable"], CellMargins->{{62, 145}, {Inherited, Inherited}}, CellFrameLabels->{{None, None}, {Cell[ TextData[ {"Table ", CounterBox[ "NumberedTable"]}]], None}}, TextAlignment->Center, CounterIncrements->"NumberedTable", FormatTypeAutoConvert->False], Cell[StyleData["NumberedTable", "Presentation"], CellMargins->{{100, 145}, {8, 8}}, FontSize->18], Cell[StyleData["NumberedTable", "Condensed"]], Cell[StyleData["NumberedTable", "Printout"]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Headers and Footers", "Section"], Cell[StyleData["Header"], CellMargins->{{0, 0}, {4, 1}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->9, FontSlant->"Italic"], Cell[StyleData["Footer"], CellMargins->{{0, 0}, {0, 4}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->6], Cell[StyleData["PageNumber"], CellMargins->{{0, 0}, {4, 1}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->9, FontWeight->"Bold"] }, Closed]], Cell[CellGroupData[{ Cell["Hyperlink Styles", "Section"], Cell["\<\ The cells below define styles useful for making hypertext ButtonBoxes. The \ \"Hyperlink\" style is for links within the same Notebook, or between \ Notebooks.\ \>", "Text"], Cell[CellGroupData[{ Cell[StyleData["Hyperlink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontColor->GrayLevel[1], Background->RGBColor[1, 0.4, 0], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookLocate[ #2]}]&), Active->True, ButtonFrame->"None", ButtonNote->ButtonData}], Cell[StyleData["Hyperlink", "Presentation"]], Cell[StyleData["Hyperlink", "Condensed"]], Cell[StyleData["Hyperlink", "Printout"], FontColor->GrayLevel[0], Background->GrayLevel[1]] }, Closed]], Cell["\<\ The following styles are for linking automatically to the on-line help \ system.\ \>", "Text"], Cell[CellGroupData[{ Cell[StyleData["MainBookLink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontColor->GrayLevel[1], Background->RGBColor[1, 0.4, 0], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`HelpBrowserLookup[ "MainBook", #]}]&), Active->True, ButtonFrame->"None"}], Cell[StyleData["MainBookLink", "Presentation"]], Cell[StyleData["MainBookLink", "Condensed"]], Cell[StyleData["MainBookLink", "Printout"], FontColor->GrayLevel[0], Background->GrayLevel[1]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["AddOnsLink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontFamily->"Courier", FontColor->GrayLevel[1], Background->RGBColor[1, 0.4, 0], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`HelpBrowserLookup[ "AddOns", #]}]&), Active->True, ButtonFrame->"None"}], Cell[StyleData["AddOnsLink", "Presentation"]], Cell[StyleData["AddOnsLink", "Condensed"]], Cell[StyleData["AddOnLink", "Printout"], FontColor->GrayLevel[0], Background->GrayLevel[1]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["RefGuideLink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontFamily->"Courier", FontColor->GrayLevel[1], Background->RGBColor[1, 0.4, 0], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`HelpBrowserLookup[ "RefGuideLink", #]}]&), Active->True, ButtonFrame->"None"}], Cell[StyleData["RefGuideLink", "Presentation"]], Cell[StyleData["RefGuideLink", "Condensed"]], Cell[StyleData["RefGuideLink", "Printout"], FontColor->GrayLevel[0], Background->GrayLevel[1]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["GettingStartedLink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontColor->GrayLevel[1], Background->RGBColor[1, 0.4, 0], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`HelpBrowserLookup[ "GettingStarted", #]}]&), Active->True, ButtonFrame->"None"}], Cell[StyleData["GettingStartedLink", "Presentation"]], Cell[StyleData["GettingStartedLink", "Condensed"]], Cell[StyleData["GettingStartedLink", "Printout"], FontColor->GrayLevel[0], Background->GrayLevel[1]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["OtherInformationLink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontColor->GrayLevel[1], Background->RGBColor[1, 0.4, 0], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`HelpBrowserLookup[ "OtherInformation", #]}]&), Active->True, ButtonFrame->"None"}], Cell[StyleData["OtherInformationLink", "Presentation"]], Cell[StyleData["OtherInformationLink", "Condensed"]], Cell[StyleData["OtherInformationLink", "Printout"], FontColor->GrayLevel[0], Background->GrayLevel[1]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Palette Styles", "Section"], Cell["\<\ The cells below define styles that define standard ButtonFunctions, for use \ in palette buttons.\ \>", "Text"], Cell[StyleData["Paste"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, After]}]&)}], Cell[StyleData["Evaluate"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], SelectionEvaluate[ FrontEnd`InputNotebook[ ], All]}]&)}], Cell[StyleData["EvaluateCell"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], FrontEnd`SelectionMove[ FrontEnd`InputNotebook[ ], All, Cell, 1], FrontEnd`SelectionEvaluateCreateCell[ FrontEnd`InputNotebook[ ], All]}]&)}], Cell[StyleData["CopyEvaluate"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`SelectionCreateCell[ FrontEnd`InputNotebook[ ], All], FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], FrontEnd`SelectionEvaluate[ FrontEnd`InputNotebook[ ], All]}]&)}], Cell[StyleData["CopyEvaluateCell"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`SelectionCreateCell[ FrontEnd`InputNotebook[ ], All], FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], FrontEnd`SelectionEvaluateCreateCell[ FrontEnd`InputNotebook[ ], All]}]&)}] }, Closed]], Cell[CellGroupData[{ Cell["Slide Show Styles", "Section"], Cell[CellGroupData[{ Cell[StyleData["SlideShowNavigationBar"], Editable->False, CellFrame->True, CellMargins->{{0, 0}, {3, 3}}, CellElementSpacings->{"CellMinHeight"->0.8125}, CellGroupingRules->{"SectionGrouping", 30}, CellFrameMargins->False, CellFrameColor->GrayLevel[1], CellFrameLabelMargins->False, TextAlignment->Center, CounterIncrements->"SlideShowNavigationBar", StyleMenuListing->None, FontSize->10, Background->GrayLevel[0.8], Magnification->1, GridBoxOptions->{GridBaseline->Center, RowSpacings->0, ColumnSpacings->0, ColumnWidths->{3.5, 3.5, 3.5, 3.5, 13, 5, 4}, RowAlignments->Baseline, ColumnAlignments->{ Center, Center, Center, Center, Center, Center, Right, Center}}], Cell[StyleData["SlideShowNavigationBar", "Presentation"]], Cell[StyleData["SlideShowNavigationBar", "SlideShow"], Deletable->False, ShowCellBracket->False, CellMargins->{{-1, -1}, {-1, -1}}, PageBreakAbove->True, CellFrameMargins->{{1, 1}, {0, 0}}], Cell[StyleData["SlideShowNavigationBar", "Printout"], CellMargins->{{18, 4}, {4, 4}}, LineSpacing->{1, 3}, FontSize->10] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideShowSection"], CellFrame->{{0, 0}, {0, 0.5}}, CellMargins->{{0, 0}, {10, 0}}, CellGroupingRules->{"SectionGrouping", 40}, PageBreakBelow->False, CellFrameMargins->{{12, 4}, {6, 12}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "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], Inherited}, CounterIncrements->"Section", CounterAssignments->{{"Subsection", 0}, {"Subsubsection", 0}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->18, FontWeight->"Plain", FontColor->GrayLevel[1], Background->RGBColor[0.408011, 0.440726, 0.8]], Cell[StyleData["SlideShowSection", "Presentation"], CellFrameMargins->{{18, 10}, {10, 16}}, FontSize->27], Cell[StyleData["SlideShowSection", "SlideShow"], ShowCellBracket->False, PageBreakAbove->True], Cell[StyleData["SlideShowSection", "Printout"], CellMargins->{{18, 30}, {0, 30}}, CellFrameMargins->5, FontSize->14] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideHyperlink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontSize->26, FontColor->GrayLevel[0.400015], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookLocate[ #2]}]&), Active->True, ButtonMinHeight->0.85, ButtonMargins->0.5, ButtonNote->None}], Cell[StyleData["SlideHyperlink", "Presentation"], CellMargins->{{10, 10}, {8, 12}}, FontSize->36], Cell[StyleData["SlideHyperlink", "SlideShow"]], Cell[StyleData["SlideHyperlink", "Printout"], FontSize->10, FontColor->GrayLevel[0], FontVariations->{"Underline"->False}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideTOCLink"], CellMargins->{{24, Inherited}, {Inherited, Inherited}}, StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontFamily->"Helvetica", ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookLocate[ #2]}]&), Active->True, ButtonMargins->1.5, ButtonNote->ButtonData}], Cell[StyleData["SlideTOCLink", "Presentation"], CellMargins->{{35, 10}, {4, 6}}, FontSize->18], Cell[StyleData["SlideTOCLink", "SlideShow"]], Cell[StyleData["SlideTOCLink", "Printout"], FontColor->GrayLevel[0], FontVariations->{"Underline"->False}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideTOC"], CellDingbat->"\[Bullet]", CellMargins->{{18, Inherited}, {Inherited, Inherited}}, StyleMenuListing->None, FontFamily->"Helvetica"], Cell[StyleData["SlideTOC", "Presentation"], CellMargins->{{25, 10}, {8, 6}}, FontSize->18], Cell[StyleData["SlideTOC", "SlideShow"], FontSize->14], Cell[StyleData["SlideTOC", "Printout"], FontSize->10, FontColor->GrayLevel[0]] }, Closed]] }, Closed]] }, Open ]] }] ] (******************************************************************* Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. *******************************************************************) (*CellTagsOutline CellTagsIndex->{ "SlideShowHeader"->{ Cell[1776, 53, 1717, 45, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[4423, 134, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[8371, 261, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[10720, 329, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[14171, 438, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[17541, 559, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[20682, 661, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"]} } *) (*CellTagsIndex CellTagsIndex->{ {"SlideShowHeader", 70420, 2271} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1776, 53, 1717, 45, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[3496, 100, 167, 5, 190, "Title"], Cell[3666, 107, 234, 8, 290, "Subtitle"], Cell[3903, 117, 32, 3, 112, "Subsubtitle"], Cell[3938, 122, 470, 9, 276, "Text"] }, Open ]], Cell[4423, 134, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[6127, 182, 37, 0, 93, "Section"], Cell[6167, 184, 215, 5, 69, "Text"], Cell[6385, 191, 213, 5, 42, "Text"], Cell[6601, 198, 266, 6, 69, "Text"], Cell[6870, 206, 177, 5, 42, "Text"], Cell[7050, 213, 241, 7, 42, "Text"], Cell[7294, 222, 236, 7, 42, "Text"], Cell[7533, 231, 227, 7, 42, "Text"], Cell[7763, 240, 231, 7, 42, "Text"], Cell[7997, 249, 225, 6, 42, "Text"], Cell[8225, 257, 131, 1, 42, "Text"] }, Open ]], Cell[8371, 261, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[10075, 309, 29, 0, 93, "Section"], Cell[10107, 311, 553, 13, 123, "Text"], Cell[10663, 326, 42, 0, 42, "Text"] }, Open ]], Cell[10720, 329, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[12424, 377, 51, 0, 93, "Section"], Cell[12478, 379, 155, 4, 42, "Text"], Cell[12636, 385, 133, 3, 42, "Text"], Cell[12772, 390, 224, 5, 69, "Text"], Cell[12999, 397, 174, 5, 42, "Text"], Cell[13176, 404, 241, 6, 69, "Text"], Cell[13420, 412, 231, 7, 42, "Text"], Cell[13654, 421, 346, 7, 96, "Text"], Cell[14003, 430, 153, 5, 42, "Text"] }, Open ]], Cell[14171, 438, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[15875, 486, 47, 0, 93, "Section"], Cell[CellGroupData[{ Cell[15947, 490, 87, 1, 78, "Subsection"], Cell[CellGroupData[{ Cell[16059, 495, 51, 0, 68, "Subsubsection"], Cell[16113, 497, 222, 5, 69, "Text"], Cell[16338, 504, 120, 4, 42, "Text"], Cell[16461, 510, 131, 4, 42, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[16629, 519, 48, 0, 68, "Subsubsection"], Cell[16680, 521, 288, 8, 69, "Text"], Cell[16971, 531, 198, 5, 42, "Text"], Cell[17172, 538, 100, 4, 42, "Text"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[17321, 548, 94, 1, 78, "Subsection"], Cell[17418, 551, 38, 0, 42, "Text"], Cell[17459, 553, 33, 0, 42, "Text"], Cell[17495, 555, 19, 0, 42, "Text"] }, Open ]] }, Open ]], Cell[17541, 559, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[19245, 607, 58, 0, 93, "Section"], Cell[19306, 609, 145, 5, 42, "Text"], Cell[19454, 616, 168, 6, 42, "Text"], Cell[19625, 624, 210, 5, 42, "Text"], Cell[19838, 631, 258, 5, 69, "Text"], Cell[20099, 638, 199, 4, 42, "Text"], Cell[20301, 644, 172, 6, 42, "Text"], Cell[20476, 652, 191, 6, 43, "Text"] }, Open ]], Cell[20682, 661, 1679, 44, 28, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[22386, 709, 27, 0, 93, "Section"], Cell[22416, 711, 149, 5, 42, "Text"], Cell[22568, 718, 152, 4, 42, "Text"], Cell[22723, 724, 111, 4, 42, "Text"] }, Open ]] } ] *) (******************************************************************* End of Mathematica Notebook file. *******************************************************************)