ads_codebuilder.nb

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

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

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     41672,        921]
NotebookOptionsPosition[     38965,        827]
NotebookOutlinePosition[     39320,        843]
CellTagsIndexPosition[     39277,        840]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{
  RowBox[{"Def", "[", 
   RowBox[{"term_", ",", "title_"}], "]"}], ":=", 
  RowBox[{
  "\"\<<definition xml:id=\\\"def-\>\"", "<>", "term", "<>", 
   "\"\<\\\"><title>\>\"", "<>", "title", "<>", "\"\<</title>\>\"", "<>", 
   RowBox[{"index", "[", "title", "]"}], "<>", 
   "\"\<<notation><usage></usage><description></description></notation><\
statement><p></p></statement></definition>\>\""}]}]], "Input",
 CellChangeTimes->{{3.6701470716354513`*^9, 3.6701470978834476`*^9}, {
   3.6701471340567093`*^9, 3.67014729906526*^9}, {3.6701475005328083`*^9, 
   3.670147502923553*^9}, {3.670147533416329*^9, 3.670147553303752*^9}, {
   3.670147636111429*^9, 3.67014766671926*^9}, {3.671807149519265*^9, 
   3.671807152133806*^9}, 3.6765612097334633`*^9, {3.678184727426043*^9, 
   3.678184816305147*^9}, {3.6781992815738573`*^9, 3.678199286029396*^9}, {
   3.682065540723336*^9, 3.6820655408502903`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Def", "[", 
   RowBox[{
   "\"\<power-series-addition\>\"", ",", "\"\<Power Series Addition\>\""}], 
   "]"}], "//", "Print"}]], "Input",
 CellChangeTimes->CompressedData["
1:eJwdz00og3EcwPEnZTFDScRBXpLi4iRHf6wcqGVrL40LlpfDvMWIHDYy2sFh
Jm0hidV2GNZjkzW2cRhaXnZR2JNM9p+W9cyBMf/fDt8+529Fz3CnIoOiqFIS
GJUJDnrlGIVMS3awjdPKHyKywce0u7XPBlB3aFgDuQdPrzN9GGXNK8OgNnUd
A4+lbFpafreh78fI/Te6Cd5G5RbQNyeygkUJ8YmRKDpfd4FV/uUf0FP9mwQt
bsv4jxKjr+i1Frx5ezeCdmexCaT21Jokkc6XLoDb3gc92GXaWgVPJfqJwAhG
kVCHCiy4UnCqRslXjTcH5EYC2fExjJj1by7oE9polwojf2aJA/ziydgz4g4W
JkDDZHmzh6gfHGgBy5o0sRAx/NbwCbYvBuPGKYwuXxtZ8IhRWxhiru7eCprF
u668aYxW6ibd4NZ+Id1NNPPrHaAtFpFIZzHivVTKQNEF40kRBc4PH/gPWu3v
MQ==
  "]],

Cell[BoxData[
 FormBox["\<\"<definition \
xml:id=\\\"def-power-series-addition\\\"><title>Power Series \
Addition</title><index><main>Power Series \
Addition</main></index><notation><usage></usage><description></description></\
notation><statement><p></p></statement></definition>\"\>", 
  TraditionalForm]], "Print",
 CellChangeTimes->{3.6873477088157053`*^9, 3.687509443054811*^9, 
  3.688040170238141*^9, 3.689071306805215*^9, 3.689414184820078*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Th", "[", "term_", "]"}], ":=", 
  RowBox[{"Print", "[", 
   RowBox[{
   "\"\<<theorem xml:id=\\\"th-\>\"", "<>", "term", "<>", 
    "\"\<\\\"><title>\>\"", "<>", "term", "<>", "\"\<</title>\>\"", "<>", 
    RowBox[{"index", "[", "term", "]"}], "<>", 
    "\"\<<statement><p></p></statement><proof></proof></theorem>\>\""}], 
   "]"}]}]], "Input",
 CellChangeTimes->{{3.67015431202806*^9, 3.6701543730171022`*^9}, 
   3.6701544228215437`*^9, {3.676586600685294*^9, 3.676586629644026*^9}, {
   3.682758051167584*^9, 3.682758053157611*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Th", "[", "\"\<crt\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.67658655645555*^9, 3.676586562060309*^9}, {
  3.678564710639358*^9, 3.678564732920741*^9}, {3.67879168831006*^9, 
  3.678791692660286*^9}, {3.678819784561345*^9, 3.678819786103559*^9}, {
  3.682695373336836*^9, 3.682695388126912*^9}, {3.68302395015267*^9, 
  3.6830239685023603`*^9}, {3.68335904501443*^9, 3.6833590581801*^9}, {
  3.683359519960951*^9, 3.683359526703273*^9}, {3.687680274095621*^9, 
  3.687680274942333*^9}}],

Cell[BoxData[
 FormBox[
  TemplateBox[{
   "StringJoin","string",
    "\"String expected at position \\!\\(\\*FormBox[\\\"2\\\", \
TraditionalForm]\\) in \\!\\(\\*FormBox[RowBox[{\\\"\\\\\\\"<theorem \
xml:id=\\\\\\\\\\\\\\\"th-crt\\\\\\\\\\\\\\\"><title>crt</title>\\\\\\\"\\\", \
\\\"<>\\\", RowBox[{\\\"index\\\", \\\"(\\\", \\\"\\\\\\\"crt\\\\\\\"\\\", \\\
\")\\\"}], \\\"<>\\\", \
\\\"\\\\\\\"<statement><p></p></statement><proof></proof></theorem>\\\\\\\"\\\
\"}], TraditionalForm]\\).\"",2,4,2,32805302973652639216,"Local"},
   "MessageTemplate"], TraditionalForm]], "Message", "MSG",
 CellChangeTimes->{3.688040170280183*^9}],

Cell[BoxData[
 FormBox[
  RowBox[{"\<\"<theorem xml:id=\\\"th-crt\\\"><title>crt</title>\"\>", "<>", 
   RowBox[{"index", "(", "\<\"crt\"\>", ")"}], 
   "<>", "\<\"<statement><p></p></statement><proof></proof></theorem>\"\>"}], 
  TraditionalForm]], "Print",
 CellChangeTimes->{
  3.676586563044901*^9, 3.67658663403922*^9, 3.676972534121557*^9, 
   3.678177764585561*^9, 3.678564734258803*^9, 3.678791693814724*^9, 
   3.678819787023636*^9, 3.679039595166263*^9, 3.6820652948033457`*^9, 
   3.682446417787963*^9, {3.682695368669538*^9, 3.682695388720606*^9}, 
   3.6827580693028107`*^9, 3.683023969541945*^9, 3.68305470347952*^9, 
   3.6831236525456142`*^9, 3.683359059555238*^9, 3.683359528785589*^9, 
   3.686653719692868*^9, 3.68711259252595*^9, 3.687680276246306*^9, 
   3.688040170295587*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Ex", "[", 
   RowBox[{"term_", ",", "title_"}], "]"}], ":=", 
  RowBox[{"Print", "[", 
   RowBox[{
   "\"\<<example xml:id=\\\"ex-\>\"", "<>", "term", "<>", 
    "\"\<\\\"><title>\>\"", "<>", "title", "<>", 
    "\"\<</title><p></p></example>\>\""}], "]"}]}]], "Input",
 CellChangeTimes->{{3.6701470716354513`*^9, 3.6701470978834476`*^9}, {
  3.6701471340567093`*^9, 3.67014729906526*^9}, {3.6701475005328083`*^9, 
  3.670147502923553*^9}, {3.670147533416329*^9, 3.670147553303752*^9}, {
  3.670147636111429*^9, 3.67014766671926*^9}, {3.670147728033148*^9, 
  3.6701477606234503`*^9}, {3.6790408500465403`*^9, 3.679040871950117*^9}, {
  3.679041449184767*^9, 3.679041453494437*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Ex", "[", 
  RowBox[{"\"\<error-detecting\>\"", ",", "\"\<An Error-Detecting Code\>\""}],
   "]"}]], "Input",
 CellChangeTimes->{{3.671794501796036*^9, 3.6717945084494667`*^9}, {
  3.676972560801548*^9, 3.6769725706764507`*^9}, {3.679041467708288*^9, 
  3.6790414822661448`*^9}, {3.683359325097568*^9, 3.683359346831229*^9}, {
  3.68336045993434*^9, 3.683360500059284*^9}, {3.687598961724668*^9, 
  3.687598999362896*^9}, {3.687599396858027*^9, 3.687599426984249*^9}, {
  3.687956025851575*^9, 3.6879560491584167`*^9}, {3.688481898258919*^9, 
  3.688481907135309*^9}}],

Cell[BoxData[
 FormBox["\<\"<example xml:id=\\\"ex-error-detecting\\\"><title>An \
Error-Detecting Code</title><p></p></example>\"\>", TraditionalForm]], "Print",\

 CellChangeTimes->{3.6717945094371367`*^9, 3.6769725341826267`*^9, 
  3.676972572037427*^9, 3.678177764662489*^9, 3.679039595247143*^9, 
  3.679041483421522*^9, 3.682065294863164*^9, 3.6824464178894987`*^9, 
  3.683054703530203*^9, 3.683123652618546*^9, 3.683359348113798*^9, 
  3.683360502288027*^9, 3.686653719769618*^9, 3.687112592581406*^9, 
  3.687599008252598*^9, 3.687599429683372*^9, 3.687956054406953*^9, 
  3.688040170335927*^9, 3.6884819080973177`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Def", "[", 
   RowBox[{
   "\"\<min-diameter-spanning-tree\>\"", ",", 
    "\"\<Minimum Diameter Spanning Tree\>\""}], "]"}], "//", 
  "Print"}]], "Input",
 CellChangeTimes->{{3.670147305374732*^9, 3.670147324518807*^9}, {
  3.670147577775386*^9, 3.670147586918956*^9}, {3.678892402000355*^9, 
  3.6788924084737043`*^9}, {3.678892454496862*^9, 3.678892463744494*^9}, {
  3.679045319780422*^9, 3.679045332314681*^9}, {3.67930954216294*^9, 
  3.679309566336987*^9}, {3.679311259854059*^9, 3.679311267476472*^9}}],

Cell[BoxData[
 FormBox[
  TemplateBox[{
   "StringJoin","string",
    "\"String expected at position \\!\\(\\*FormBox[\\\"2\\\", \
TraditionalForm]\\) in \\!\\(\\*FormBox[RowBox[{\\\"\\\\\\\"<definition \
xml:id=\\\\\\\\\\\\\\\"def-min-diameter-spanning-tree\\\\\\\\\\\\\\\"><title>\
Minimum Diameter Spanning Tree</title>\\\\\\\"\\\", \\\"<>\\\", RowBox[{\\\"\
\[LeftSkeleton]\\\", \\\"1\\\", \\\"\[RightSkeleton]\\\"}], \\\"<>\\\", \
\\\"\\\\\\\"<notation><usage></usage><description></description></notation><\
statement><p></p></statement></definition>\\\\\\\"\\\"}], \
TraditionalForm]\\).\"",2,7,3,32805302973652639216,"Local"},
   "MessageTemplate"], TraditionalForm]], "Message", "MSG",
 CellChangeTimes->{3.682065294908936*^9, 3.6824464179485817`*^9, 
  3.683054703577305*^9, 3.683123652672731*^9, 3.686653719804407*^9, 
  3.687112592599482*^9, 3.6880401703806133`*^9}],

Cell[BoxData[
 FormBox[
  RowBox[{"\<\"<definition \
xml:id=\\\"def-min-diameter-spanning-tree\\\"><title>Minimum Diameter \
Spanning Tree</title>\"\>", "<>", 
   RowBox[{"index", "(", "\<\"Minimum Diameter Spanning Tree\"\>", ")"}], 
   "<>", "\<\"<notation><usage></usage><description></description></notation><\
statement><p></p></statement></definition>\"\>"}], TraditionalForm]], "Print",\

 CellChangeTimes->{3.679309567270485*^9, 3.6793112684705763`*^9, 
  3.682065294917433*^9, 3.6824464179685698`*^9, 3.6830547035947447`*^9, 
  3.68312365268858*^9, 3.686653719819648*^9, 3.687112592615807*^9, 
  3.688040170396463*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Ex", "[", "\"\<invariant-fast-expo\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.670149202892638*^9, 3.670149242410569*^9}, {
  3.670153900794754*^9, 3.67015390981266*^9}}],

Cell[BoxData[
 FormBox[
  RowBox[{"Ex", "(", "\<\"invariant-fast-expo\"\>", ")"}], 
  TraditionalForm]], "Output",
 CellChangeTimes->{3.682065294973977*^9, 3.6824464180157843`*^9, 
  3.6830547036412907`*^9, 3.683123652740431*^9, 3.6866537198548183`*^9, 
  3.687112592651361*^9, 3.68804017043013*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Th", "[", "\"\<xxx\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.6701543820692177`*^9, 3.670154401077046*^9}, {
  3.671796215344845*^9, 3.6717962157679567`*^9}}],

Cell[BoxData[
 FormBox[
  TemplateBox[{
   "StringJoin","string",
    "\"String expected at position \\!\\(\\*FormBox[\\\"2\\\", \
TraditionalForm]\\) in \\!\\(\\*FormBox[RowBox[{\\\"\\\\\\\"<theorem \
xml:id=\\\\\\\\\\\\\\\"th-xxx\\\\\\\\\\\\\\\"><title>xxx</title>\\\\\\\"\\\", \
\\\"<>\\\", RowBox[{\\\"index\\\", \\\"(\\\", \\\"\\\\\\\"xxx\\\\\\\"\\\", \\\
\")\\\"}], \\\"<>\\\", \
\\\"\\\\\\\"<statement><p></p></statement><proof></proof></theorem>\\\\\\\"\\\
\"}], TraditionalForm]\\).\"",2,9,4,32805302973652639216,"Local"},
   "MessageTemplate"], TraditionalForm]], "Message", "MSG",
 CellChangeTimes->{3.683054703694646*^9, 3.683123652790729*^9, 
  3.686653719887588*^9, 3.68711259268892*^9, 3.688040170463664*^9}],

Cell[BoxData[
 FormBox[
  RowBox[{"\<\"<theorem xml:id=\\\"th-xxx\\\"><title>xxx</title>\"\>", "<>", 
   RowBox[{"index", "(", "\<\"xxx\"\>", ")"}], 
   "<>", "\<\"<statement><p></p></statement><proof></proof></theorem>\"\>"}], 
  TraditionalForm]], "Print",
 CellChangeTimes->{3.670154426318749*^9, 3.671796216595902*^9, 
  3.67697253447996*^9, 3.67817776491083*^9, 3.679039595573913*^9, 
  3.682065295048678*^9, 3.682446418087219*^9, 3.6826953539972553`*^9, 
  3.683054703711884*^9, 3.683123652808091*^9, 3.686653719903367*^9, 
  3.687112592705802*^9, 3.6880401704793167`*^9}]
}, Open  ]],

Cell["\<\
<table xml:id=\[CloseCurlyDoubleQuote]tt-conditional\[CloseCurlyDoubleQuote]>
<caption>Truth Table for to demonstrate that <m>p \\implies q</m></caption>
<tabular top=\[CloseCurlyDoubleQuote]major\[CloseCurlyDoubleQuote] halign=\
\[CloseCurlyDoubleQuote]center\[CloseCurlyDoubleQuote]>
<row><cell> p </cell><cell> q </cell><cell> p\\lor q </cell><cell> p\\to \
p\\lor q \\\\</cell></row>
<row><cell> 0 </cell><cell> 0 </cell><cell> 0 </cell><cell> 1 </cell></row>
<row><cell> 0 </cell><cell> 1 </cell><cell> 1 </cell><cell> 1 </cell></row>
<row><cell> 1 </cell><cell> 0 </cell><cell> 1 </cell><cell> 1 </cell></row>
<row><cell> 1 </cell><cell> 1 </cell><cell> 1 </cell><cell> 1 </cell></row>
 </tabular>
</table>\
\>", "Text",
 CellChangeTimes->{3.671097423786978*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"row", "[", "n_", "]"}], ":=", 
  RowBox[{"StringJoin", "[", 
   RowBox[{"Join", "[", 
    RowBox[{
     RowBox[{"{", "\"\<<row>\>\"", "}"}], ",", 
     RowBox[{"Table", "[", 
      RowBox[{"\"\<<cell><m></m></cell>\>\"", ",", "n"}], "]"}], ",", 
     RowBox[{"{", "\"\<</row>\\n\>\"", "}"}]}], "]"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.67109761327149*^9, 3.67109771060461*^9}, {
  3.671097752979701*^9, 3.6710977538025637`*^9}, {3.677317045634755*^9, 
  3.677317076858097*^9}, {3.677319748477669*^9, 3.6773197536115217`*^9}, {
  3.677681456153234*^9, 3.677681459367345*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"row", "[", "n_", "]"}], ":=", 
  RowBox[{"StringJoin", "[", 
   RowBox[{"Join", "[", 
    RowBox[{
     RowBox[{"{", "\"\<<row>\>\"", "}"}], ",", 
     RowBox[{"Table", "[", 
      RowBox[{"\"\<<cell></cell>\>\"", ",", "n"}], "]"}], ",", 
     RowBox[{"{", "\"\<</row>\\n\>\"", "}"}]}], "]"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.67109761327149*^9, 3.67109771060461*^9}, {
   3.671097752979701*^9, 3.6710977538025637`*^9}, {3.677317045634755*^9, 
   3.677317076858097*^9}, {3.677319748477669*^9, 3.6773197536115217`*^9}, {
   3.6773398781264753`*^9, 3.677339881693193*^9}, 3.678799935440023*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"xTable", "[", 
   RowBox[{"rows_", ",", "cols_", ",", "id_", ",", "caption_"}], "]"}], ":=", 
  
  RowBox[{"Module", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"top", ",", "bottom"}], "}"}], ",", 
    RowBox[{
     RowBox[{"top", "=", 
      RowBox[{
      "\"\<<table xml:id=\\\"\>\"", "<>", "id", "<>", 
       "\"\<\\\">\[IndentingNewLine]<caption>\>\"", "<>", "caption", "<>", 
       "\"\<</caption>\\n\[IndentingNewLine]<tabular top=\\\"major\\\" \
halign=\\\"center\\\">\>\""}]}], ";", 
     RowBox[{"bottom", "=", "\"\<</tabular>\\n</table>\>\""}], ";", 
     RowBox[{"StringJoin", "[", 
      RowBox[{"Join", "[", 
       RowBox[{
        RowBox[{"{", "top", "}"}], ",", 
        RowBox[{"Table", "[", 
         RowBox[{
          RowBox[{"row", "[", "cols", "]"}], ",", 
          RowBox[{"{", "rows", "}"}]}], "]"}], ",", 
        RowBox[{"{", "bottom", "}"}]}], "]"}], "]"}]}]}], "]"}]}]], "Input",
 CellChangeTimes->{{3.671097375975206*^9, 3.671097396876843*^9}, {
  3.671097431268373*^9, 3.671097442259103*^9}, {3.6710974768968477`*^9, 
  3.671097601927063*^9}, {3.671097767209858*^9, 3.6710978745904818`*^9}, {
  3.671098039624955*^9, 3.671098055118826*^9}, {3.6787999399911623`*^9, 
  3.678799940895022*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"xTable", "[", 
   RowBox[{
   "3", ",", "2", ",", "\"\<table-permutations-3\>\"", ",", 
    "\"\<Elements of \\(S_3\\)\>\""}], "]"}], "//", "Print"}]], "Input",
 CellChangeTimes->{{3.671097878670835*^9, 3.671098009872038*^9}, {
   3.6710980593026648`*^9, 3.671098088345289*^9}, {3.671484421422063*^9, 
   3.671484447692519*^9}, 3.6726533447680607`*^9, {3.67731698065384*^9, 
   3.6773170219790773`*^9}, 3.677319302669777*^9, {3.67731962578374*^9, 
   3.6773196268466463`*^9}, {3.6773397903608017`*^9, 3.677339838421474*^9}, {
   3.677506220427333*^9, 3.677506284589046*^9}, {3.6776814675117083`*^9, 
   3.677681472405777*^9}, {3.6776925068662567`*^9, 3.677692508888715*^9}, {
   3.677693153442939*^9, 3.677693161257701*^9}, {3.678799947511693*^9, 
   3.678799981462072*^9}, {3.6789587565879507`*^9, 3.678958777609161*^9}, {
   3.683123802632567*^9, 3.683123814492361*^9}, {3.6831246857250557`*^9, 
   3.6831246934753103`*^9}, {3.687874603685462*^9, 3.687874632780098*^9}}],

Cell[BoxData[
 FormBox["\<\"<table \
xml:id=\\\"table-permutations-3\\\">\[IndentingNewLine]<caption>Elements of \
\\(S_3\\)</caption>\\n\[IndentingNewLine]<tabular top=\\\"major\\\" halign=\\\
\"center\\\"><row><cell></cell><cell></cell></row>\\n<row><cell></cell><cell><\
/cell></row>\\n<row><cell></cell><cell></cell></row>\\n</tabular>\\n</table>\"\
\>", TraditionalForm]], "Print",
 CellChangeTimes->{{3.671484449039043*^9, 3.6714844633283997`*^9}, 
   3.6726533454862967`*^9, 3.672908042268887*^9, {3.675500206280911*^9, 
   3.67550021660375*^9}, 3.6769725346057653`*^9, 3.677317025931114*^9, {
   3.677317063967198*^9, 3.6773170800202303`*^9}, 3.677319630967164*^9, 
   3.677319759285941*^9, 3.677339840718897*^9, 3.677339887619132*^9, 
   3.677340260724594*^9, {3.677506285812797*^9, 3.677506299060624*^9}, 
   3.6776924977662477`*^9, 3.677693162889323*^9, 3.6781777650135527`*^9, 
   3.678799983287038*^9, 3.678958779104623*^9, 3.679039595678727*^9, 
   3.682065295148609*^9, 3.6824464182559843`*^9, 3.683054703823697*^9, 
   3.6831236529174643`*^9, 3.683123816237075*^9, 3.683124700215304*^9, 
   3.686653719967329*^9, 3.687112592770534*^9, 3.687874637141823*^9, 
   3.688040170544216*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"xTable", "[", 
  RowBox[{
  "1", ",", "1", ",", "\"\<table-s3\>\"", ",", 
   "\"\<Operation Table for \\(S(3)\\)\>\""}], "]"}]], "Input",
 CellChangeTimes->{{3.671097878670835*^9, 3.671098009872038*^9}, {
   3.6710980593026648`*^9, 3.671098088345289*^9}, 3.671484417919324*^9, {
   3.6716140152979727`*^9, 3.6716140472608356`*^9}, {3.672907990339286*^9, 
   3.672908009960929*^9}, {3.683125416019425*^9, 3.6831254766564627`*^9}, {
   3.687875767456814*^9, 3.687875817774604*^9}}],

Cell[BoxData[
 FormBox["\<\"<table \
xml:id=\\\"table-s3\\\">\[IndentingNewLine]<caption>Operation Table for \
\\(S(3)\\)</caption>\\n\[IndentingNewLine]<tabular top=\\\"major\\\" \
halign=\\\"center\\\"><row><cell></cell></row>\\n</tabular>\\n</table>\"\>", 
  TraditionalForm]], "Output",
 CellChangeTimes->{{3.672908011219692*^9, 3.672908046622674*^9}, 
   3.676972534660007*^9, 3.678177765066202*^9, 3.679039595718315*^9, 
   3.682065295211999*^9, 3.682446418315288*^9, 3.6830547038784122`*^9, 
   3.683123652956147*^9, 3.683125478442418*^9, 3.6866537199839687`*^9, 
   3.687112592818734*^9, 3.687875819930592*^9, 3.688040170560586*^9}]
}, Open  ]],

Cell["\<\

            <figure xml:id=\[CloseCurlyDoubleQuote]dominos\
\[CloseCurlyDoubleQuote]>
                <caption>An analogy for Mathematical Induction
                </caption>
                <image width=\[CloseCurlyDoubleQuote]400\
\[CloseCurlyDoubleQuote] source=\[CloseCurlyDoubleQuote]images/dominos.png\
\[CloseCurlyDoubleQuote]>
                    <description>Dominos</description>
                </image>
            </figure>
\
\>", "Text",
 CellChangeTimes->{3.671481076018551*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"Fig", "[", 
    RowBox[{"id_", ",", "caption_", ",", 
     RowBox[{"width_:", "75"}]}], "]"}], ":=", 
   RowBox[{
   "\"\<\n            <figure xml:id=\\\"\>\"", "<>", "id", "<>", 
    "\"\<\\\">\n                <caption>\>\"", "<>", "caption", "<>", 
    "\"\<\n                </caption>\n                <image width=\\\"\>\"",
     "<>", 
    RowBox[{"ToString", "[", "width", "]"}], "<>", 
    "\"\<%\\\" source=\\\"images/\>\"", "<>", "id", "<>", 
    "\"\<.png\\\">\n                    <description>\>\"", "<>", "caption", 
    "<>", "\"\<</description>\n                </image>\n            \
</figure>\>\""}]}], "\n"}]], "Input",
 CellChangeTimes->{{3.6714810802005873`*^9, 3.67148114397033*^9}, {
  3.67148144602199*^9, 3.6714815857111797`*^9}, {3.67148179471338*^9, 
  3.6714818018329353`*^9}, {3.673089589326808*^9, 3.673089589541634*^9}, {
  3.673089626208105*^9, 3.673089626388465*^9}, {3.675498573616778*^9, 
  3.67549857458211*^9}, {3.6824464428834047`*^9, 3.6824464583296003`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Fig", "[", 
  RowBox[{
  "\"\<fig-poly-divison-2\>\"", ",", "\"\<fig-poly-divison-2\>\"", ",", 
   "60"}], "]"}]], "Input",
 CellChangeTimes->{{3.673006818760003*^9, 3.673006873268435*^9}, {
   3.6730887907260647`*^9, 3.6730887952135*^9}, {3.6730894268564243`*^9, 
   3.673089504541522*^9}, {3.674141113189789*^9, 3.674141117953519*^9}, 
   3.6745718650500526`*^9, {3.674571898769431*^9, 3.674571902023758*^9}, {
   3.6749971119027987`*^9, 3.67499711659741*^9}, {3.6749973885461273`*^9, 
   3.674997389288992*^9}, 3.674997802007606*^9, 3.6754985858235292`*^9, {
   3.675501916859681*^9, 3.67550194894768*^9}, {3.675946915376672*^9, 
   3.675946980318617*^9}, {3.676974858121749*^9, 3.6769748745710297`*^9}, {
   3.677083545422895*^9, 3.6770835882605543`*^9}, {3.6774460781574574`*^9, 
   3.6774461039830523`*^9}, {3.6775847027755537`*^9, 3.677584719683235*^9}, {
   3.6781777753061867`*^9, 3.67817779120611*^9}, {3.678180674324374*^9, 
   3.6781807043730373`*^9}, {3.678183408589869*^9, 3.6781834428538027`*^9}, {
   3.67818409075626*^9, 3.67818411220263*^9}, {3.6781851021350183`*^9, 
   3.678185122145607*^9}, {3.678185361390808*^9, 3.678185374176729*^9}, {
   3.678199470041625*^9, 3.6781994915024033`*^9}, 3.678199567057993*^9, {
   3.678200143520249*^9, 3.678200153981893*^9}, {3.678200635101383*^9, 
   3.678200651565737*^9}, {3.678201213059247*^9, 3.6782012300313168`*^9}, {
   3.678209296796424*^9, 3.678209319066334*^9}, {3.678353556437619*^9, 
   3.6783535800900087`*^9}, {3.678457316177081*^9, 3.678457333378872*^9}, {
   3.678459397948452*^9, 3.678459413734311*^9}, {3.678645286214126*^9, 
   3.678645301367794*^9}, {3.678645510895625*^9, 3.678645540872938*^9}, {
   3.678660537594359*^9, 3.6786605663829317`*^9}, {3.678694611679306*^9, 
   3.678694626529016*^9}, {3.678695137547289*^9, 3.678695193485965*^9}, {
   3.678695225153957*^9, 3.678695227853326*^9}, {3.678695536687277*^9, 
   3.678695572229059*^9}, {3.6786975128052807`*^9, 3.678697532304536*^9}, {
   3.6787152155775833`*^9, 3.678715245051364*^9}, {3.678716325818452*^9, 
   3.678716337795299*^9}, {3.678802566688211*^9, 3.678802576681622*^9}, {
   3.6788027242328587`*^9, 3.6788027315866957`*^9}, {3.678804319815102*^9, 
   3.678804335429442*^9}, {3.678804439745593*^9, 3.678804448523169*^9}, {
   3.6788045284881563`*^9, 3.678804544202137*^9}, {3.678804658221952*^9, 
   3.678804674834942*^9}, {3.678804806990535*^9, 3.678804812064588*^9}, {
   3.678805103363543*^9, 3.678805120067009*^9}, {3.6788052675087*^9, 
   3.678805284443079*^9}, {3.679039607458973*^9, 3.67903961903795*^9}, {
   3.679039721006343*^9, 3.679039755939685*^9}, {3.679039832106802*^9, 
   3.6790398577053633`*^9}, {3.679039957089429*^9, 3.679039978885507*^9}, {
   3.679040062694212*^9, 3.6790400780501213`*^9}, {3.679040161826386*^9, 
   3.679040165711294*^9}, {3.679040368685451*^9, 3.679040378104959*^9}, {
   3.679164617085494*^9, 3.679164630223076*^9}, {3.679164985372087*^9, 
   3.679165017167747*^9}, {3.6791652843264723`*^9, 3.6791652873249207`*^9}, {
   3.679213589603956*^9, 3.6792136137764273`*^9}, {3.679222418075432*^9, 
   3.679222447228869*^9}, {3.6792314626101027`*^9, 3.679231497840048*^9}, {
   3.67923161950832*^9, 3.679231633434688*^9}, {3.679311482306858*^9, 
   3.679311518108047*^9}, {3.6793122333363047`*^9, 3.6793122550499573`*^9}, {
   3.6793203383362627`*^9, 3.679320344458065*^9}, {3.6793206691734047`*^9, 
   3.679320688038041*^9}, {3.679322894639262*^9, 3.679322914727439*^9}, {
   3.6793910056000338`*^9, 3.67939102218397*^9}, {3.679393288444772*^9, 
   3.679393314230234*^9}, {3.679393807854303*^9, 3.679393824015992*^9}, {
   3.6794001923477697`*^9, 3.679400212110896*^9}, {3.679401143421975*^9, 
   3.679401155956929*^9}, {3.6794137669566*^9, 3.6794138036541357`*^9}, {
   3.679473254179905*^9, 3.679473266253261*^9}, {3.6794738348660316`*^9, 
   3.679473855987543*^9}, {3.679474028836144*^9, 3.67947404866969*^9}, {
   3.6794794738768253`*^9, 3.679479492358048*^9}, {3.679479743151133*^9, 
   3.679479748061736*^9}, {3.679497028345025*^9, 3.679497040376899*^9}, 
   3.679497555707522*^9, {3.679497674521331*^9, 3.679497680819002*^9}, {
   3.6794980875622597`*^9, 3.6794981021041803`*^9}, {3.679498205128723*^9, 
   3.679498211534369*^9}, {3.680450279918623*^9, 3.680450306424481*^9}, 
   3.682446433289785*^9, {3.6824464736743317`*^9, 3.682446487272374*^9}, {
   3.683054714402739*^9, 3.683054747296195*^9}, {3.6834796299830914`*^9, 
   3.6834796875893583`*^9}, {3.683628879659687*^9, 3.683628893627851*^9}, {
   3.6837074493512907`*^9, 3.683707462509529*^9}, {3.683711700211008*^9, 
   3.683711714500195*^9}, 3.683717078288567*^9, {3.683717109414907*^9, 
   3.6837171103222733`*^9}, {3.6837326530316067`*^9, 
   3.6837326741287937`*^9}, {3.683732934138467*^9, 3.68373294968985*^9}, {
   3.68373317641251*^9, 3.683733202899054*^9}, {3.683733447463017*^9, 
   3.683733462910575*^9}, {3.68373482055753*^9, 3.683734843430071*^9}, 
   3.6851018384217873`*^9, {3.6851019923981333`*^9, 3.685102006317155*^9}, {
   3.6851072710345573`*^9, 3.685107294009944*^9}, {3.6851090563988028`*^9, 
   3.685109068229966*^9}, {3.6866537255278*^9, 3.686653746607357*^9}, {
   3.687216199774816*^9, 3.687216208448819*^9}, {3.687256417894167*^9, 
   3.687256445459765*^9}, {3.687257212777113*^9, 3.687257222289722*^9}, 
   3.687257733283081*^9, 3.68725777413407*^9, {3.687292533281974*^9, 
   3.687292555160236*^9}, {3.687294483372602*^9, 3.687294492301527*^9}, {
   3.6872998057012987`*^9, 3.6872998189414577`*^9}, {3.687336610923728*^9, 
   3.687336634070259*^9}, {3.68733706168262*^9, 3.687337067330858*^9}, {
   3.687337864431099*^9, 3.6873378697774363`*^9}, {3.687339974946765*^9, 
   3.687340012744339*^9}, {3.687348015898785*^9, 3.687348079295211*^9}, {
   3.687348217435439*^9, 3.687348264820904*^9}, {3.687353647869483*^9, 
   3.687353658967066*^9}, {3.6873661030726357`*^9, 3.6873661185062532`*^9}, {
   3.6875593585200977`*^9, 3.687559454903956*^9}, {3.687773500663859*^9, 
   3.687773509053926*^9}, {3.687773541718395*^9, 3.687773546317472*^9}, {
   3.68788105490742*^9, 3.687881077905455*^9}, {3.6878855128586903`*^9, 
   3.687885533228428*^9}, {3.687966800028598*^9, 3.68796682234208*^9}, {
   3.687966936287139*^9, 3.687966961956315*^9}, {3.687973174229539*^9, 
   3.687973190696217*^9}, {3.687973344157905*^9, 3.687973360755959*^9}, {
   3.6880359631053047`*^9, 3.688035973375429*^9}, {3.688040175346027*^9, 
   3.688040192071864*^9}, {3.688147096821774*^9, 3.688147120207335*^9}, {
   3.6884643284090843`*^9, 3.688464339258713*^9}, {3.68846442189907*^9, 
   3.688464435505253*^9}, {3.68846591323582*^9, 3.688465929279811*^9}, {
   3.6890769581615057`*^9, 3.6890769623118887`*^9}, {3.6890770065006847`*^9, 
   3.689077008687969*^9}, {3.689092525870255*^9, 3.689092550207758*^9}}],

Cell[BoxData[
 FormBox["\<\"\\n            <figure xml:id=\\\"fig-poly-divison-2\\\">\\n    \
            <caption>fig-poly-divison-2\\n                </caption>\\n       \
         <image width=\\\"60%\\\" \
source=\\\"images/fig-poly-divison-2.png\\\">\\n                    \
<description>fig-poly-divison-2</description>\\n                </image>\\n   \
         </figure>\"\>", TraditionalForm]], "Output",
 CellChangeTimes->{
  3.6873536701690207`*^9, 3.687366120604456*^9, 3.6875594570823593`*^9, 
   3.687773547555807*^9, 3.687881084322723*^9, 3.687885535619356*^9, 
   3.687966823739903*^9, 3.687966964147812*^9, 3.6879731920504303`*^9, 
   3.687973362742565*^9, 3.6880359750892687`*^9, {3.688040170600024*^9, 
   3.6880401938510227`*^9}, 3.688147122717928*^9, 3.688464340839789*^9, 
   3.688464437090802*^9, 3.6884659302815857`*^9, 3.689077009619401*^9, 
   3.689092551142617*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"StringReplace", "[", 
  RowBox[{"%118", ",", 
   RowBox[{"Whitespace", "\[Rule]", "\"\< \>\""}]}], "]"}]], "Input",
 NumberMarks->False],

Cell[BoxData[
 FormBox[
  TemplateBox[{
   "StringReplace","strse",
    "\"String or list of strings expected at position \
\\!\\(\\*FormBox[\\\"1\\\", TraditionalForm]\\) in \
\\!\\(\\*FormBox[RowBox[{\\\"StringReplace\\\", \\\"[\\\", RowBox[{\\\"%118\\\
\", \\\",\\\", RowBox[{\\\"Whitespace\\\", \\\"\[Rule]\\\", \\\"\\\\\\\" \\\\\
\\\"\\\"}]}], \\\"]\\\"}], TraditionalForm]\\).\"",2,17,5,
    32805302973652639216,"Local"},
   "MessageTemplate"], TraditionalForm]], "Message", "MSG",
 CellChangeTimes->{3.686653720072798*^9, 3.687112592956358*^9, 
  3.688040170649077*^9}],

Cell[BoxData[
 FormBox[
  RowBox[{"StringReplace", "[", 
   RowBox[{"%118", ",", 
    RowBox[{"Whitespace", "\[Rule]", "\<\" \"\>"}]}], "]"}], 
  TraditionalForm]], "Output",
 CellChangeTimes->{3.683733166852907*^9, 3.6866537200797033`*^9, 
  3.687112592974311*^9, 3.688040170667461*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"FigSage", "[", 
    RowBox[{"id_", ",", "caption_", ",", "code_", ",", 
     RowBox[{"width_:", "400"}]}], "]"}], ":=", 
   RowBox[{
   "\"\<\n            <figure xml:id=\\\"\>\"", "<>", "id", "<>", 
    "\"\<\\\">\n                <caption>\>\"", "<>", "caption", "<>", 
    "\"\<\n                </caption>\n                <image width=\\\"\>\"",
     "<>", 
    RowBox[{"ToString", "[", "width", "]"}], "<>", 
    "\"\<\\\" source=\\\"images/\>\"", "<>", "id", "<>", 
    "\"\<.png\\\">\n                    <description>\>\"", "<>", "caption", 
    "<>", "\"\<</description>\n                <sageplot>\>\"", "<>", "code", 
    "<>", "\"\<\n                </sageplot>\n               </image>\n       \
     </figure>\>\""}]}], "\n"}]], "Input",
 CellChangeTimes->{{3.673006328623104*^9, 3.6730063986453037`*^9}, {
  3.6730064290847483`*^9, 3.673006439220189*^9}, {3.673088803605856*^9, 
  3.673088831148405*^9}, {3.673088928720521*^9, 3.673088929455349*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Sum", "[", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"95", "+", 
      RowBox[{"5", "k"}]}], ")"}], ",", 
    RowBox[{"{", 
     RowBox[{"k", ",", "1", ",", "n"}], "}"}]}], "]"}], "//", 
  "Expand"}]], "Input",
 CellChangeTimes->{{3.679498499783877*^9, 3.679498545701092*^9}, {
  3.679498610293305*^9, 3.679498614580175*^9}}],

Cell[BoxData[
 FormBox[
  RowBox[{
   FractionBox[
    RowBox[{"5", " ", 
     SuperscriptBox["n", "2"]}], "2"], "+", 
   FractionBox[
    RowBox[{"195", " ", "n"}], "2"]}], TraditionalForm]], "Output",
 CellChangeTimes->{{3.679498535773341*^9, 3.679498546434676*^9}, 
   3.679498615327029*^9, 3.6820652954683104`*^9, 3.682446418557312*^9, 
   3.68305470413708*^9, 3.683123653201877*^9, 3.686653720212441*^9, 
   3.687112593194089*^9, 3.6880401708261127`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FigSage", "[", 
  RowBox[{
  "\"\<graph-9-2-1\>\"", ",", 
   "\"\<A Sage Digraph of the relation <m>r</m>\>\"", ",", 
   "\"\<G1 = DiGraph( {1 : [4, 2], 2 : [3, 4], 3 : [3], 4 : [1]})\n\
G1.show()\>\"", ",", "400"}], "]"}]], "Input",
 CellChangeTimes->{{3.671481593038083*^9, 3.671481652764649*^9}, {
   3.671481711684613*^9, 3.671481713634643*^9}, {3.672062718565292*^9, 
   3.672062745060766*^9}, {3.67300623966009*^9, 3.673006306312387*^9}, {
   3.6730064051557007`*^9, 3.6730064057649384`*^9}, {3.673088786278948*^9, 
   3.673088787326041*^9}, {3.673088844920841*^9, 3.673088856403873*^9}, 
   3.673088988416255*^9, {3.673089025750638*^9, 3.6730890269825*^9}, {
   3.6730890637749567`*^9, 3.673089114114172*^9}, {3.678391952499275*^9, 
   3.678391998721046*^9}}],

Cell[BoxData[
 FormBox["\<\"\\n            <figure xml:id=\\\"graph-9-2-1\\\">\\n           \
     <caption>A Sage Digraph of the relation <m>r</m>\\n                \
</caption>\\n                <image width=\\\"400\\\" \
source=\\\"images/graph-9-2-1.png\\\">\\n                    <description>A \
Sage Digraph of the relation <m>r</m></description>\\n                \
<sageplot>G1 = DiGraph( {1 : [4, 2], 2 : [3, 4], 3 : [3], 4 : \
[1]})\\nG1.show()\\n                </sageplot>\\n               </image>\\n  \
          </figure>\"\>", TraditionalForm]], "Output",
 CellChangeTimes->{3.673089124138585*^9, 3.6769725349457006`*^9, 
  3.678177765245698*^9, 3.678391999783504*^9, 3.679039595896525*^9, 
  3.682065295523456*^9, 3.682446418577509*^9, 3.683054704185668*^9, 
  3.6831236532268143`*^9, 3.686653720231192*^9, 3.6871125932732477`*^9, 
  3.688040170845634*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FigSage", "[", 
  RowBox[{
  "\"\<graph-6-2-2\>\"", ",", 
   "\"\<Alternate embedding of of the previous directed graph\>\"", ",", 
   "\"\<g=DiGraph({0:[0,3],1:[2],2:[1,0],3:[2]})\n\
f621=g.plot(layout='spring',loop_size=0.1)\nf621\>\"", ",", "400"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.671481593038083*^9, 3.671481652764649*^9}, {
   3.671481711684613*^9, 3.671481713634643*^9}, {3.672062718565292*^9, 
   3.672062745060766*^9}, {3.67300623966009*^9, 3.673006306312387*^9}, {
   3.6730064051557007`*^9, 3.6730064057649384`*^9}, {3.673088786278948*^9, 
   3.673088787326041*^9}, {3.673088844920841*^9, 3.673088856403873*^9}, 
   3.673088988416255*^9, {3.673089025750638*^9, 3.6730890269825*^9}, {
   3.6730890637749567`*^9, 3.6730890721944*^9}}],

Cell[BoxData[
 FormBox["\<\"\\n            <figure xml:id=\\\"graph-6-2-2\\\">\\n           \
     <caption>Alternate embedding of of the previous directed graph\\n        \
        </caption>\\n                <image width=\\\"400\\\" \
source=\\\"images/graph-6-2-2.png\\\">\\n                    \
<description>Alternate embedding of of the previous directed \
graph</description>\\n                \
<sageplot>g=DiGraph({0:[0,3],1:[2],2:[1,0],3:[2]})\\nf621=g.plot(layout='\
spring',loop_size=0.1)\\nf621\\n                </sageplot>\\n               \
</image>\\n            </figure>\"\>", TraditionalForm]], "Output",
 CellChangeTimes->{3.67308893335034*^9, 3.673088989196322*^9, 
  3.673089028170527*^9, 3.6769725349728518`*^9, 3.678177765301889*^9, 
  3.67903959594958*^9, 3.6820652955740747`*^9, 3.68244641868826*^9, 
  3.683054704274041*^9, 3.68312365327295*^9, 3.686653720270502*^9, 
  3.687112593418222*^9, 3.6880401708812847`*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"index", "[", "term_", "]"}], ":=", 
  RowBox[{
  "\"\<<index><main>\>\"", "<>", "term", "<>", 
   "\"\<</main></index>\>\""}]}]], "Input",
 CellChangeTimes->{{3.6730812153105516`*^9, 3.673081238399206*^9}, {
  3.673081269632235*^9, 3.67308132425259*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"index", "[", 
   RowBox[{"term_", ",", "sub_"}], "]"}], ":=", 
  RowBox[{
  "\"\<<index><main>\>\"", "<>", "term", "<>", "\"\<</main><sub>\>\"", "<>", 
   "sub", "<>", "\"\<</sub></index>\>\""}]}]], "Input",
 CellChangeTimes->{{3.6730812153105516`*^9, 3.673081238399206*^9}, {
  3.673081269632235*^9, 3.67308132425259*^9}, {3.6850988423046923`*^9, 
  3.685098875079208*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"index", "[", "\"\<Matrix Inverse\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.673081327097528*^9, 3.673081338123849*^9}, 
   3.67308159155442*^9, 3.675934903450285*^9, {3.676366987911722*^9, 
   3.676366990421905*^9}, {3.6764531730109663`*^9, 3.6764531754644327`*^9}, {
   3.676562949518346*^9, 3.6765629570286293`*^9}, 3.6765630460113173`*^9, {
   3.676975673616502*^9, 3.6769756784069557`*^9}, {3.6784502639166603`*^9, 
   3.6784502700990133`*^9}, {3.679245396831353*^9, 3.679245404014009*^9}, {
   3.679321242225813*^9, 3.679321244610725*^9}, 3.679391653946951*^9, {
   3.679477713287387*^9, 3.6794777426891603`*^9}, {3.679673886698344*^9, 
   3.679673888673476*^9}, {3.679674300639299*^9, 3.67967430622167*^9}, {
   3.679679051473822*^9, 3.6796790544322443`*^9}, {3.679820616155439*^9, 
   3.679820621513629*^9}, {3.679825196189968*^9, 3.679825198947604*^9}, {
   3.679825274979129*^9, 3.6798252835214043`*^9}}],

Cell[BoxData[
 FormBox["\<\"<index><main>Matrix Inverse</main></index>\"\>", 
  TraditionalForm]], "Output",
 CellChangeTimes->{
  3.6730813387102623`*^9, 3.673081593133869*^9, 3.675934908670397*^9, 
   3.676366991240737*^9, 3.676453176512746*^9, 3.676562957946857*^9, 
   3.676563046812551*^9, 3.676972535047141*^9, 3.676975679880186*^9, 
   3.678177765412784*^9, 3.678450270923812*^9, 3.67903959604641*^9, 
   3.679245405094748*^9, 3.679321246139183*^9, 3.679391655558897*^9, {
   3.679477722914784*^9, 3.6794777446982317`*^9}, 3.679673890314952*^9, 
   3.679674307790413*^9, 3.679679055412917*^9, 3.679820622662375*^9, 
   3.679825199947508*^9, 3.679825284946835*^9, 3.682065295651741*^9, 
   3.6824464187889843`*^9, 3.68305470466184*^9, 3.683123653351387*^9, 
   3.686653720328561*^9, 3.687112593754795*^9, 3.688040170961769*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"index", "[", 
  RowBox[{"\"\<Sage Note\>\"", ",", "\"\<Matrix Exponential\>\""}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.673081327097528*^9, 3.673081338123849*^9}, 
   3.67308159155442*^9, 3.675934903450285*^9, {3.676366987911722*^9, 
   3.676366990421905*^9}, {3.6764531730109663`*^9, 3.6764531754644327`*^9}, {
   3.676562949518346*^9, 3.6765629570286293`*^9}, 3.6765630460113173`*^9, {
   3.676975673616502*^9, 3.6769756784069557`*^9}, {3.6784502639166603`*^9, 
   3.6784502700990133`*^9}, {3.679245396831353*^9, 3.679245404014009*^9}, {
   3.679321242225813*^9, 3.679321244610725*^9}, 3.679391653946951*^9, {
   3.679477713287387*^9, 3.6794777426891603`*^9}, {3.679673886698344*^9, 
   3.679673888673476*^9}, {3.679674300639299*^9, 3.67967430622167*^9}, {
   3.679679051473822*^9, 3.6796790544322443`*^9}, {3.679820616155439*^9, 
   3.679820621513629*^9}, {3.679825196189968*^9, 3.679825198947604*^9}, {
   3.679825274979129*^9, 3.6798252835214043`*^9}, {3.685098882039947*^9, 
   3.685098902918633*^9}, {3.6850989353939753`*^9, 3.685098937325885*^9}}],

Cell[BoxData[
 FormBox["\<\"<index><main>Sage Note</main><sub>Matrix \
Exponential</sub></index>\"\>", TraditionalForm]], "Output",
 CellChangeTimes->{3.685098904996642*^9, 3.685098939169137*^9, 
  3.686653720347279*^9, 3.687112593805365*^9, 3.6880401709976873`*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Sage", "[", 
   RowBox[{"input_", ",", 
    RowBox[{"output_:", "\"\<\>\""}]}], "]"}], ":=", 
  RowBox[{
  "\"\<<sage>\\n<input>\\n\>\"", "<>", "input", "<>", 
   "\"\<\\n</input>\\n<output>\\n\>\"", "<>", "output", "<>", 
   "\"\<\\n</output>\\n</sage>\>\""}]}]], "Input",
 CellChangeTimes->{{3.6838061831194677`*^9, 3.683806333482593*^9}, {
  3.68380637634575*^9, 3.6838063774079647`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Sage", "[", 
  "\"\<A=[1878,1384,84,2021,784,1509,1740,1201,2363,1774,1865,33,1477,894,690,\
520,198,1349,1278,650]\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.683806336811858*^9, 3.6838063649683857`*^9}, {
   3.6838064309895267`*^9, 3.683806438303719*^9}, 3.6850990717799387`*^9, {
   3.687682061828945*^9, 3.6876820688313427`*^9}}],

Cell[BoxData[
 FormBox["\<\"<sage>\\n<input>\\nA=[1878,1384,84,2021,784,1509,1740,1201,2363,\
1774,1865,33,1477,894,690,520,198,1349,1278,650]\\n</input>\\n<output>\\n\\n</\
output>\\n</sage>\"\>", TraditionalForm]], "Output",
 CellChangeTimes->{{3.683806365827385*^9, 3.6838063804283237`*^9}, 
   3.683806439102442*^9, 3.68509907394981*^9, 3.686653720412027*^9, 
   3.6871125938937674`*^9, 3.687682073228586*^9, 3.6880401710360537`*^9}]
}, Open  ]]
},
WindowSize->{1099, 790},
WindowMargins->{{-5, Automatic}, {Automatic, 19}},
FrontEndVersion->"11.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (July 28, \
2016)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 922, 16, 134, "Input"],
Cell[CellGroupData[{
Cell[1505, 40, 708, 16, 46, "Input"],
Cell[2216, 58, 452, 8, 77, "Print"]
}, Open  ]],
Cell[2683, 69, 573, 12, 105, "Input"],
Cell[CellGroupData[{
Cell[3281, 85, 513, 8, 46, "Input"],
Cell[3797, 95, 633, 12, 59, "Message"],
Cell[4433, 109, 798, 14, 30, "Print"]
}, Open  ]],
Cell[5246, 126, 717, 14, 105, "Input"],
Cell[CellGroupData[{
Cell[5988, 144, 592, 10, 46, "Input"],
Cell[6583, 156, 628, 10, 30, "Print"]
}, Open  ]],
Cell[CellGroupData[{
Cell[7248, 171, 545, 11, 46, "Input"],
Cell[7796, 184, 878, 15, 84, "Message"],
Cell[8677, 201, 627, 12, 77, "Print"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9341, 218, 195, 3, 46, "Input"],
Cell[9539, 223, 299, 6, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9875, 234, 184, 3, 46, "Input"],
Cell[10062, 239, 723, 13, 59, "Message"],
Cell[10788, 254, 578, 10, 30, "Print"]
}, Open  ]],
Cell[11381, 267, 778, 14, 252, "Text"],
Cell[12162, 283, 615, 13, 46, "Input"],
Cell[12780, 298, 635, 13, 46, "Input"],
Cell[13418, 313, 1265, 30, 192, "Input"],
Cell[CellGroupData[{
Cell[14708, 347, 1007, 16, 46, "Input"],
Cell[15718, 365, 1199, 18, 192, "Print"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16954, 388, 503, 9, 46, "Input"],
Cell[17460, 399, 640, 10, 156, "Output"]
}, Open  ]],
Cell[18115, 412, 505, 14, 228, "Text"],
Cell[18623, 428, 1048, 20, 308, "Input"],
Cell[CellGroupData[{
Cell[19696, 452, 6779, 94, 46, "Input"],
Cell[26478, 548, 892, 14, 236, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27407, 567, 160, 4, 46, "Input"],
Cell[27570, 573, 577, 12, 34, "Message"],
Cell[28150, 587, 287, 7, 40, "Output"]
}, Open  ]],
Cell[28452, 597, 1013, 19, 366, "Input"],
Cell[CellGroupData[{
Cell[29490, 620, 362, 11, 46, "Input"],
Cell[29855, 633, 459, 11, 67, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[30351, 649, 790, 14, 105, "Input"],
Cell[31144, 665, 874, 13, 271, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32055, 683, 777, 14, 134, "Input"],
Cell[32835, 699, 945, 14, 294, "Output"]
}, Open  ]],
Cell[33795, 716, 289, 7, 46, "Input"],
Cell[34087, 725, 409, 9, 46, "Input"],
Cell[CellGroupData[{
Cell[34521, 738, 939, 13, 46, "Input"],
Cell[35463, 753, 833, 13, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[36333, 771, 1083, 16, 46, "Input"],
Cell[37419, 789, 266, 4, 40, "Output"]
}, Open  ]],
Cell[37700, 796, 426, 10, 105, "Input"],
Cell[CellGroupData[{
Cell[38151, 810, 358, 6, 105, "Input"],
Cell[38512, 818, 437, 6, 202, "Output"]
}, Open  ]]
}
]
*)