AdditiveDecomposition_Examples.nb

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

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

(* CreatedBy='Mathematica 11.3' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[    119006,       3481]
NotebookOptionsPosition[     97241,       3107]
NotebookOutlinePosition[    100173,       3174]
CellTagsIndexPosition[     99645,       3159]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[{
 RowBox[{
  RowBox[{"SetDirectory", "[", 
   RowBox[{"NotebookDirectory", "[", "]"}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"<<", "AdditiveDecomposition.m"}]}], "Input",
 InitializationCell->True,
 CellLabel->
  "In[132]:=",ExpressionUUID->"bab5bda2-57b1-46da-90a6-954975ee1585"],

Cell["\<\
AdditiveDecomposition.m is written by Hao Du and Elaine Wong, Austrian \
Academy of Sciences, RICAM, Version 0.2 (July 8, 2020)
\[LongRightArrow] Type  ?AdditiveDecomposition for help\
\>", "Text",
 CellFrame->0.5,
 GeneratedCell->True,
 CellAutoOverwrite->True,
 FontColor->RGBColor[0, 0, 0],
 Background->RGBColor[
  0.796887, 0.789075, 
   0.871107],ExpressionUUID->"c0e90682-e09f-4bce-9ad1-06911539ce38"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "AdditiveDecomposition"}]], "Input",
 CellLabel->"In[6]:=",ExpressionUUID->"78aae6af-1f82-4dfe-b9ed-c298a01a2b7a"],

Cell[BoxData["\<\"Welcome to AdditiveDecomposition.m. This package \
accompanies the paper **An Additive Decomposition in Logarithmic Towers and \
Beyond** by Hao Du, Jing Guo, Ziming Li and Elaine Wong.\\n\\nThe main \
objective of this package is an implementation of the algorithm for \
decomposing a function in an S-primitive tower into its integrable part and a \
remainder that is minimal in some sense, \\nboth of which are in the same \
field. If the tower is also logarithmic, then we are able to determine an \
extension field such that the function can be decomposed further. A function \
in an S-primitive\\ntower is integrable in the tower if and only if the \
remainder is equal to zero.\\n\\nThe following commands serve the above \
objectives: AddDecompInField and WellGenLogTower.\\n\\nCommon subtasks in the \
above algorithm are Hermite reduction and computing the matryoshka \
decomposition. These are also provided in this implementation via \
HermiteReduceGeneral and\\nProperDecomposition, respectively. Please refer to \
the example notebook for usage examples.\\n\\nSome other functions that might \
be useful: ExtendedEuclidean, HeadTerm, MonomialIndicator, AddDecompLogTower, \
ToGenNames.\\n\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info63803200973-3324212",ExpressionUUID->"b33507fd-35cf-4ab8-9dee-\
2fbad7b51c71"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Part 1: Examples from the Paper", "Section",ExpressionUUID->"b7757300-27f8-44b2-b913-29c490d910fb"],

Cell[CellGroupData[{

Cell["Example 3.1", "Subsection",ExpressionUUID->"17fbb1b0-299b-4829-9318-6f9b247e2567"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"f", "=", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"t2", "+", "x"}], ")"}], 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"t3", "^", "2"}], "-", 
      RowBox[{"t1", " ", "t3"}], "+", 
      RowBox[{"x", " ", "t2"}]}], ")"}], "/", 
    RowBox[{"(", 
     RowBox[{"x", " ", "t2", " ", "t3"}], 
     ")"}]}]}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"genlist", "=", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"ProperDecomposition", "[", 
   RowBox[{"f", ",", " ", "genlist"}], "]"}], "//", "Together"}]}], "Input",
 CellLabel->"In[7]:=",ExpressionUUID->"edea7f67-7868-4e4f-b0e0-cafa15fb9fcc"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{"t2", "+", "x"}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "t1"}], " ", "t3"}], "+", 
     SuperscriptBox["t3", "2"], "+", 
     RowBox[{"t2", " ", "x"}]}], ")"}]}], 
  RowBox[{"t2", " ", "t3", " ", "x"}]]], "Output",
 CellLabel->"Out[7]=",ExpressionUUID->"1d777632-9761-4a6a-b817-317478f1e8b5"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox[
    RowBox[{
     RowBox[{"-", "t1"}], "+", "t3"}], "x"], ",", "0", ",", 
   FractionBox[
    RowBox[{
     RowBox[{"-", "t1"}], "+", "t3"}], "t2"], ",", 
   FractionBox[
    RowBox[{"t2", "+", "x"}], "t3"]}], "}"}]], "Output",
 CellLabel->"Out[9]=",ExpressionUUID->"b4cb4bb8-7f8a-4cb4-ad06-bc09ff8245b0"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Example 4.9", "Subsection",ExpressionUUID->"a165a4cc-ebe2-4571-84ef-efe3cf14c3de"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"f", "=", 
   RowBox[{
    FractionBox["1", 
     RowBox[{
      RowBox[{"Log", "[", "x", "]"}], " ", 
      RowBox[{"LogIntegral", "[", "x", "]"}]}]], "+", 
    FractionBox[
     RowBox[{
      RowBox[{
       RowBox[{"-", "2"}], " ", "x", " ", 
       RowBox[{"Log", "[", "x", "]"}]}], "+", 
      RowBox[{"LogIntegral", "[", "x", "]"}]}], 
     SuperscriptBox[
      RowBox[{"Log", "[", "x", "]"}], "2"]], "+", 
    RowBox[{"Log", "[", 
     RowBox[{"Log", "[", "x", "]"}], "]"}]}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", "\"\<Original function:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{"\"\<f = \>\"", ",", "f"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", "\"\<Generators and derivatives (user choice):\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"genlog", "=", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Log", "[", "x", "]"}], ",", 
    RowBox[{"LogIntegral", "[", "x", "]"}], ",", 
    RowBox[{"Log", "[", 
     RowBox[{"Log", "[", "x", "]"}], "]"}]}], 
   "}"}]}], "\[IndentingNewLine]", 
 RowBox[{"derlog", "=", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"D", "[", 
      RowBox[{"#", ",", "x"}], "]"}], "&"}], "/@", "genlog"}], "//", 
   "Together"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", "\"\<Renaming generators and substituting into f:\>\"", "]"}],
   ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"{", 
   RowBox[{"fnew", ",", " ", "genlist", ",", "derlist"}], "}"}], "=", 
  RowBox[{"ToGenNames", "[", 
   RowBox[{"f", ",", "x", ",", "genlog"}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{"\"\<f = \>\"", ",", "fnew"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", 
   "\"\<Additive decomposition {integrable part, remainder}:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"adif", "=", 
  RowBox[{"AddDecompInField", "[", 
   RowBox[{"fnew", ",", "x", ",", "genlist", ",", "derlist"}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", "\"\<Remainder in the base field:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"subt", "=", 
   RowBox[{"GenSubstitute", "[", 
    RowBox[{"x", ",", "genlist", ",", "derlist"}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"r", "=", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"adif", "[", 
     RowBox[{"[", "2", "]"}], "]"}], ")"}], "//.", "subt"}]}]}], "Input",
 CellLabel->"In[51]:=",ExpressionUUID->"4df9e676-55e2-4534-88c7-117c47fcc31f"],

Cell[CellGroupData[{

Cell[BoxData["\<\"Original function:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[51]:=",ExpressionUUID->"9ab92f1b-0483-469f-b3e1-4124182cf064"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"f = \"\>", "\[InvisibleSpace]", 
   RowBox[{
    RowBox[{"Log", "[", 
     RowBox[{"Log", "[", "x", "]"}], "]"}], "+", 
    FractionBox["1", 
     RowBox[{
      RowBox[{"Log", "[", "x", "]"}], " ", 
      RowBox[{"LogIntegral", "[", "x", "]"}]}]], "+", 
    FractionBox[
     RowBox[{
      RowBox[{
       RowBox[{"-", "2"}], " ", "x", " ", 
       RowBox[{"Log", "[", "x", "]"}]}], "+", 
      RowBox[{"LogIntegral", "[", "x", "]"}]}], 
     SuperscriptBox[
      RowBox[{"Log", "[", "x", "]"}], "2"]]}]}],
  SequenceForm["f = ", Log[
     Log[$CellContext`x]] + 
   Log[$CellContext`x]^(-1)/LogIntegral[$CellContext`x] + 
   Log[$CellContext`x]^(-2) ((-2) $CellContext`x Log[$CellContext`x] + 
     LogIntegral[$CellContext`x])],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[51]:=",ExpressionUUID->"bdea2e73-56bc-4239-8cfe-b7cb35102fb4"],

Cell[BoxData["\<\"Generators and derivatives (user choice):\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[51]:=",ExpressionUUID->"902a64f4-e7c7-46e3-a5b6-4908cc312d3c"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"Log", "[", "x", "]"}], ",", 
   RowBox[{"LogIntegral", "[", "x", "]"}], ",", 
   RowBox[{"Log", "[", 
    RowBox[{"Log", "[", "x", "]"}], "]"}]}], "}"}]], "Output",
 CellLabel->"Out[55]=",ExpressionUUID->"2bb6a71e-826f-4b4e-a116-7a792fc146cc"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["1", "x"], ",", 
   FractionBox["1", 
    RowBox[{"Log", "[", "x", "]"}]], ",", 
   FractionBox["1", 
    RowBox[{"x", " ", 
     RowBox[{"Log", "[", "x", "]"}]}]]}], "}"}]], "Output",
 CellLabel->"Out[56]=",ExpressionUUID->"89d12b9a-47e9-4d03-8102-47dc796eb029"],

Cell[BoxData["\<\"Renaming generators and substituting into f:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[51]:=",ExpressionUUID->"4b7a8332-5a1a-40fd-8fad-7c58bb1f4644"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    FractionBox["1", 
     RowBox[{"t1", " ", "t2"}]], "+", "t3", "+", 
    FractionBox[
     RowBox[{"t2", "-", 
      RowBox[{"2", " ", "t1", " ", "x"}]}], 
     SuperscriptBox["t1", "2"]]}], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", "t1"], ",", 
     FractionBox["1", 
      RowBox[{"t1", " ", "x"}]]}], "}"}]}], "}"}]], "Output",
 CellLabel->"Out[58]=",ExpressionUUID->"dd033ed2-5031-45e8-bbed-79c2a683c973"],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"f = \"\>", "\[InvisibleSpace]", 
   RowBox[{
    FractionBox["1", 
     RowBox[{"t1", " ", "t2"}]], "+", "t3", "+", 
    FractionBox[
     RowBox[{"t2", "-", 
      RowBox[{"2", " ", "t1", " ", "x"}]}], 
     SuperscriptBox["t1", "2"]]}]}],
  SequenceForm[
  "f = ", $CellContext`t1^(-1)/$CellContext`t2 + $CellContext`t3 + \
$CellContext`t1^(-2) ($CellContext`t2 - 2 $CellContext`t1 $CellContext`x)],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[51]:=",ExpressionUUID->"c3020009-8d64-4587-8ade-f52fd76ebc97"],

Cell[BoxData["\<\"Additive decomposition {integrable part, remainder}:\"\>"], \
"Print",
 CellLabel->
  "During evaluation of \
In[51]:=",ExpressionUUID->"7bf1aea4-5e47-46c9-8475-2a631c08a3cb"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    RowBox[{"-", "t2"}], "+", 
    FractionBox[
     SuperscriptBox["t2", "2"], "2"], "-", 
    FractionBox[
     RowBox[{"t2", " ", "x"}], "t1"], "+", 
    RowBox[{"t3", " ", "x"}], "-", 
    FractionBox[
     SuperscriptBox["x", "2"], "t1"]}], ",", 
   FractionBox["1", 
    RowBox[{"t1", " ", "t2"}]]}], "}"}]], "Output",
 CellLabel->"Out[61]=",ExpressionUUID->"a29054e2-7f12-4d32-8f34-d5f7439956e9"],

Cell[BoxData["\<\"Remainder in the base field:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[51]:=",ExpressionUUID->"fee2ca4b-4b7d-4301-8a28-8e5c30f3c775"],

Cell[BoxData[
 FractionBox["1", 
  RowBox[{
   RowBox[{"Log", "[", "x", "]"}], " ", 
   RowBox[{"LogIntegral", "[", "x", "]"}]}]]], "Output",
 CellLabel->"Out[64]=",ExpressionUUID->"64a292bd-68a1-4544-b459-47a616943224"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Example 5.1", "Subsection",ExpressionUUID->"67ab44f6-1c9a-452c-91ee-e76a64cd6bf7"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"f", "=", 
   FractionBox[
    RowBox[{"Log", "[", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"1", "+", "x"}], ")"}], " ", 
      RowBox[{"Log", "[", "x", "]"}]}], "]"}], 
    RowBox[{"x", " ", 
     RowBox[{"Log", "[", "x", "]"}]}]]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", "\"\<Original function:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{"\"\<f = \>\"", ",", "f"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", "\"\<Generators and derivatives for Tower (i):\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"genlog", "=", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Log", "[", "x", "]"}], ",", 
    RowBox[{"Log", "[", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"x", "+", "1"}], ")"}], " ", 
      RowBox[{"Log", "[", "x", "]"}]}], "]"}]}], 
   "}"}]}], "\[IndentingNewLine]", 
 RowBox[{"derlog", "=", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"D", "[", 
      RowBox[{"#", ",", "x"}], "]"}], "&"}], "/@", "genlog"}], "//", 
   "Together"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", "\"\<Renaming generators and substituting into f:\>\"", "]"}],
   ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"{", 
   RowBox[{"fnew", ",", " ", "genlist", ",", "derlist"}], "}"}], "=", 
  RowBox[{"ToGenNames", "[", 
   RowBox[{"f", ",", "x", ",", "genlog"}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{"\"\<f = \>\"", ",", "fnew"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", 
   "\"\<Additive decomposition {integrable part, remainder}:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"adif", "=", 
  RowBox[{"AddDecompInField", "[", 
   RowBox[{"fnew", ",", "x", ",", "genlist", ",", "derlist"}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", "\"\<Remainder in the base field:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"subt", "=", 
   RowBox[{"GenSubstitute", "[", 
    RowBox[{"x", ",", "genlist", ",", "derlist"}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"r", "=", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"adif", "[", 
     RowBox[{"[", "2", "]"}], "]"}], ")"}], "//.", "subt"}]}]}], "Input",
 CellLabel->"In[65]:=",ExpressionUUID->"17a4937e-1444-4274-b326-4bfb1e5561f0"],

Cell[CellGroupData[{

Cell[BoxData["\<\"Original function:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[65]:=",ExpressionUUID->"f1c74d3e-95b7-401f-bd9b-354f0560038c"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"f = \"\>", "\[InvisibleSpace]", 
   FractionBox[
    RowBox[{"Log", "[", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"1", "+", "x"}], ")"}], " ", 
      RowBox[{"Log", "[", "x", "]"}]}], "]"}], 
    RowBox[{"x", " ", 
     RowBox[{"Log", "[", "x", "]"}]}]]}],
  SequenceForm[
  "f = ", $CellContext`x^(-1) Log[$CellContext`x]^(-1) 
   Log[(1 + $CellContext`x) Log[$CellContext`x]]],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[65]:=",ExpressionUUID->"9776a4bb-9051-4789-b747-583beddf7d1d"],

Cell[BoxData["\<\"Generators and derivatives for Tower (i):\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[65]:=",ExpressionUUID->"4158a7d4-dea6-41f4-8495-33a6879200d5"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"Log", "[", "x", "]"}], ",", 
   RowBox[{"Log", "[", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"1", "+", "x"}], ")"}], " ", 
     RowBox[{"Log", "[", "x", "]"}]}], "]"}]}], "}"}]], "Output",
 CellLabel->"Out[69]=",ExpressionUUID->"531b976c-67b0-43da-a975-6e74b188f030"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["1", "x"], ",", 
   FractionBox[
    RowBox[{"1", "+", "x", "+", 
     RowBox[{"x", " ", 
      RowBox[{"Log", "[", "x", "]"}]}]}], 
    RowBox[{"x", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "x"}], ")"}], " ", 
     RowBox[{"Log", "[", "x", "]"}]}]]}], "}"}]], "Output",
 CellLabel->"Out[70]=",ExpressionUUID->"cec0b309-39dd-4f93-baa5-93950f461f44"],

Cell[BoxData["\<\"Renaming generators and substituting into f:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[65]:=",ExpressionUUID->"730716e2-b486-4c7c-b93e-4b9fdfbb887a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["t2", 
    RowBox[{"t1", " ", "x"}]], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox[
      RowBox[{"1", "+", "x", "+", 
       RowBox[{"t1", " ", "x"}]}], 
      RowBox[{"t1", " ", "x", " ", 
       RowBox[{"(", 
        RowBox[{"1", "+", "x"}], ")"}]}]]}], "}"}]}], "}"}]], "Output",
 CellLabel->"Out[72]=",ExpressionUUID->"5403ab4d-ab9d-49f9-b279-f96a8d13a0a7"],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"f = \"\>", "\[InvisibleSpace]", 
   FractionBox["t2", 
    RowBox[{"t1", " ", "x"}]]}],
  SequenceForm["f = ", $CellContext`t1^(-1) $CellContext`t2/$CellContext`x],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[65]:=",ExpressionUUID->"53cde7e6-4b0a-4e91-ade4-618e9468925e"],

Cell[BoxData["\<\"Additive decomposition {integrable part, remainder}:\"\>"], \
"Print",
 CellLabel->
  "During evaluation of \
In[65]:=",ExpressionUUID->"59599661-6e1b-475f-bd36-68b186a30146"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"0", ",", 
   FractionBox["t2", 
    RowBox[{"t1", " ", "x"}]]}], "}"}]], "Output",
 CellLabel->"Out[75]=",ExpressionUUID->"77fb0f01-a8a0-42aa-ad94-467735bf2fce"],

Cell[BoxData["\<\"Remainder in the base field:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[65]:=",ExpressionUUID->"2a9705f8-da24-434d-b028-cd5245d60411"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{"Log", "[", 
    RowBox[{"1", "+", "x"}], "]"}], "+", 
   RowBox[{"Log", "[", 
    RowBox[{"Log", "[", "x", "]"}], "]"}]}], 
  RowBox[{"x", " ", 
   RowBox[{"Log", "[", "x", "]"}]}]]], "Output",
 CellLabel->"Out[78]=",ExpressionUUID->"04adef9f-e473-459c-b266-2170aec51672"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"f", "=", 
   FractionBox[
    RowBox[{
     RowBox[{"Log", "[", 
      RowBox[{"1", "+", "x"}], "]"}], "+", 
     RowBox[{"Log", "[", 
      RowBox[{"Log", "[", "x", "]"}], "]"}]}], 
    RowBox[{"x", " ", 
     RowBox[{"Log", "[", "x", "]"}]}]]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", "\"\<Original function:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{"\"\<f = \>\"", ",", "f"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", "\"\<Generators and derivatives for Tower (ii):\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"genlog", "=", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Log", "[", "x", "]"}], ",", 
    RowBox[{"Log", "[", 
     RowBox[{"x", "+", "1"}], "]"}], ",", 
    RowBox[{"Log", "[", 
     RowBox[{"Log", "[", "x", "]"}], "]"}]}], 
   "}"}]}], "\[IndentingNewLine]", 
 RowBox[{"derlog", "=", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"D", "[", 
      RowBox[{"#", ",", "x"}], "]"}], "&"}], "/@", "genlog"}], "//", 
   "Together"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", "\"\<Renaming generators and substituting into f:\>\"", "]"}],
   ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"{", 
   RowBox[{"fnew", ",", " ", "genlist", ",", "derlist"}], "}"}], "=", 
  RowBox[{"ToGenNames", "[", 
   RowBox[{"f", ",", "x", ",", "genlog"}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{"\"\<f = \>\"", ",", "fnew"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", 
   "\"\<Additive decomposition {integrable part, remainder}:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"adif", "=", 
  RowBox[{"AddDecompInField", "[", 
   RowBox[{"fnew", ",", "x", ",", "genlist", ",", "derlist"}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", "\"\<Remainder in the base field:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"subt", "=", 
   RowBox[{"GenSubstitute", "[", 
    RowBox[{"x", ",", "genlist", ",", "derlist"}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"r", "=", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"adif", "[", 
     RowBox[{"[", "2", "]"}], "]"}], ")"}], "//.", "subt"}]}]}], "Input",
 CellLabel->"In[79]:=",ExpressionUUID->"e3145652-7d1a-4bc1-9b6f-e2c8d6035ae1"],

Cell[CellGroupData[{

Cell[BoxData["\<\"Original function:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[79]:=",ExpressionUUID->"6abc18ff-c6fe-4c58-b4ab-b31ec259186b"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"f = \"\>", "\[InvisibleSpace]", 
   FractionBox[
    RowBox[{
     RowBox[{"Log", "[", 
      RowBox[{"1", "+", "x"}], "]"}], "+", 
     RowBox[{"Log", "[", 
      RowBox[{"Log", "[", "x", "]"}], "]"}]}], 
    RowBox[{"x", " ", 
     RowBox[{"Log", "[", "x", "]"}]}]]}],
  SequenceForm[
  "f = ", $CellContext`x^(-1) 
   Log[$CellContext`x]^(-1) (Log[1 + $CellContext`x] + Log[
      Log[$CellContext`x]])],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[79]:=",ExpressionUUID->"4bcfb2c2-5f8f-44a8-b3f2-ffb4ece240cd"],

Cell[BoxData["\<\"Generators and derivatives for Tower (ii):\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[79]:=",ExpressionUUID->"dc463d14-3f1e-4bbd-a1ad-f2c1cd661a74"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"Log", "[", "x", "]"}], ",", 
   RowBox[{"Log", "[", 
    RowBox[{"1", "+", "x"}], "]"}], ",", 
   RowBox[{"Log", "[", 
    RowBox[{"Log", "[", "x", "]"}], "]"}]}], "}"}]], "Output",
 CellLabel->"Out[83]=",ExpressionUUID->"794ac419-0df6-43a7-bb88-f9ada7c3ee9b"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["1", "x"], ",", 
   FractionBox["1", 
    RowBox[{"1", "+", "x"}]], ",", 
   FractionBox["1", 
    RowBox[{"x", " ", 
     RowBox[{"Log", "[", "x", "]"}]}]]}], "}"}]], "Output",
 CellLabel->"Out[84]=",ExpressionUUID->"c53cf1af-5230-4d4b-b119-362b4b28898d"],

Cell[BoxData["\<\"Renaming generators and substituting into f:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[79]:=",ExpressionUUID->"0917e130-761b-47a7-81f1-eb329bcb3088"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox[
    RowBox[{"t2", "+", "t3"}], 
    RowBox[{"t1", " ", "x"}]], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", 
      RowBox[{"1", "+", "x"}]], ",", 
     FractionBox["1", 
      RowBox[{"t1", " ", "x"}]]}], "}"}]}], "}"}]], "Output",
 CellLabel->"Out[86]=",ExpressionUUID->"932ab79b-04ce-4f04-8a86-3589fe5b43b3"],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"f = \"\>", "\[InvisibleSpace]", 
   FractionBox[
    RowBox[{"t2", "+", "t3"}], 
    RowBox[{"t1", " ", "x"}]]}],
  SequenceForm[
  "f = ", $CellContext`t1^(-1) ($CellContext`t2 + \
$CellContext`t3)/$CellContext`x],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[79]:=",ExpressionUUID->"1831e6a9-7b89-40d1-afc4-44dd19f64e36"],

Cell[BoxData["\<\"Additive decomposition {integrable part, remainder}:\"\>"], \
"Print",
 CellLabel->
  "During evaluation of \
In[79]:=",ExpressionUUID->"bd30af16-7509-4eaa-b23f-757de6240faa"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox[
    SuperscriptBox["t3", "2"], "2"], ",", 
   FractionBox["t2", 
    RowBox[{"t1", " ", "x"}]]}], "}"}]], "Output",
 CellLabel->"Out[89]=",ExpressionUUID->"404f7688-06c7-41ec-85e8-9a0cafa89bc7"],

Cell[BoxData["\<\"Remainder in the base field:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[79]:=",ExpressionUUID->"338fbfb5-c045-45c0-b441-2c17ca075ba5"],

Cell[BoxData[
 FractionBox[
  RowBox[{"Log", "[", 
   RowBox[{"1", "+", "x"}], "]"}], 
  RowBox[{"x", " ", 
   RowBox[{"Log", "[", "x", "]"}]}]]], "Output",
 CellLabel->"Out[92]=",ExpressionUUID->"874520ea-c804-4d7e-8e31-cc8bae974c47"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Example 5.7", "Subsection",ExpressionUUID->"00fe1ba6-5f8a-42dc-955e-96e2a33ae050"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"Print", "[", "\"\<Generators and derivatives:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"genlog", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Log", "[", "x", "]"}], ",", 
     RowBox[{"Log", "[", 
      RowBox[{"x", " ", 
       RowBox[{"Log", "[", "x", "]"}]}], "]"}], ",", 
     RowBox[{"Log", "[", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"x", "+", "1"}], ")"}], " ", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"Log", "[", "x", "]"}], "+", "1"}], ")"}], " ", 
       RowBox[{"Log", "[", 
        RowBox[{"x", " ", 
         RowBox[{"Log", "[", "x", "]"}]}], "]"}]}], "]"}]}], "}"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"derlog", "=", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"D", "[", 
      RowBox[{"#", ",", "x"}], "]"}], "&"}], "/@", "genlog"}], "//", 
   "Together"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", "\"\<Renaming generators:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"{", 
   RowBox[{"fnew", ",", " ", "genlist", ",", "derlist"}], "}"}], "=", 
  RowBox[{"ToGenNames", "[", 
   RowBox[{"1", ",", "x", ",", "genlog"}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", 
   "\"\<Associated matrix with respect to the matryoshka decomposition:\>\"", 
   "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"AssMat", "[", 
  RowBox[{"genlist", ",", "derlist"}], "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", 
   "\"\<We embed the previous tower into a well-generated one:\>\"", "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"wglt", "=", 
   RowBox[{"WellGenLogTower", "[", 
    RowBox[{"x", ",", " ", "genlist", ",", "derlist"}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"newgenlist", "=", 
   RowBox[{"wglt", "[", 
    RowBox[{"[", "1", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"newderlist", "=", 
   RowBox[{"wglt", "[", 
    RowBox[{"[", "3", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"subsu", "=", 
  RowBox[{"Thread", "[", 
   RowBox[{"genlist", " ", "\[Rule]", " ", 
    RowBox[{"newgenlist", ".", 
     RowBox[{"wglt", "[", 
      RowBox[{"[", "2", "]"}], "]"}]}]}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"wglt", "[", 
   RowBox[{"[", "4", "]"}], "]"}], "//", "MatrixForm"}]}], "Input",
 CellLabel->
  "In[106]:=",ExpressionUUID->"383ca12f-3caa-479d-9c0e-3234dfcf3578"],

Cell[BoxData["\<\"Generators and derivatives:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[106]:=",ExpressionUUID->"964ef277-5585-405c-b02b-ddc4a7411f04"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["1", "x"], ",", 
   FractionBox[
    RowBox[{"1", "+", 
     RowBox[{"Log", "[", "x", "]"}]}], 
    RowBox[{"x", " ", 
     RowBox[{"Log", "[", "x", "]"}]}]], ",", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"1", "+", "x", "+", 
      RowBox[{"2", " ", 
       RowBox[{"Log", "[", "x", "]"}]}], "+", 
      RowBox[{"2", " ", "x", " ", 
       RowBox[{"Log", "[", "x", "]"}]}], "+", 
      SuperscriptBox[
       RowBox[{"Log", "[", "x", "]"}], "2"], "+", 
      RowBox[{"x", " ", 
       SuperscriptBox[
        RowBox[{"Log", "[", "x", "]"}], "2"]}], "+", 
      RowBox[{
       RowBox[{"Log", "[", "x", "]"}], " ", 
       RowBox[{"Log", "[", 
        RowBox[{"x", " ", 
         RowBox[{"Log", "[", "x", "]"}]}], "]"}]}], "+", 
      RowBox[{"2", " ", "x", " ", 
       RowBox[{"Log", "[", "x", "]"}], " ", 
       RowBox[{"Log", "[", 
        RowBox[{"x", " ", 
         RowBox[{"Log", "[", "x", "]"}]}], "]"}]}], "+", 
      RowBox[{"x", " ", 
       SuperscriptBox[
        RowBox[{"Log", "[", "x", "]"}], "2"], " ", 
       RowBox[{"Log", "[", 
        RowBox[{"x", " ", 
         RowBox[{"Log", "[", "x", "]"}]}], "]"}]}]}], ")"}], "/", 
    RowBox[{"(", 
     RowBox[{"x", " ", 
      RowBox[{"(", 
       RowBox[{"1", "+", "x"}], ")"}], " ", 
      RowBox[{"Log", "[", "x", "]"}], " ", 
      RowBox[{"(", 
       RowBox[{"1", "+", 
        RowBox[{"Log", "[", "x", "]"}]}], ")"}], " ", 
      RowBox[{"Log", "[", 
       RowBox[{"x", " ", 
        RowBox[{"Log", "[", "x", "]"}]}], "]"}]}], ")"}]}]}], "}"}]], "Output",\

 CellLabel->
  "Out[108]=",ExpressionUUID->"37885301-ff20-4aaa-a80f-19a2c8629bd9"],

Cell[BoxData["\<\"Renaming generators:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[106]:=",ExpressionUUID->"33f6b2c6-620b-43b9-94ef-2ae3c4156440"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"1", ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox[
      RowBox[{"1", "+", "t1"}], 
      RowBox[{"t1", " ", "x"}]], ",", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"1", "+", 
        RowBox[{"2", " ", "t1"}], "+", 
        SuperscriptBox["t1", "2"], "+", 
        RowBox[{"t1", " ", "t2"}], "+", "x", "+", 
        RowBox[{"2", " ", "t1", " ", "x"}], "+", 
        RowBox[{
         SuperscriptBox["t1", "2"], " ", "x"}], "+", 
        RowBox[{"2", " ", "t1", " ", "t2", " ", "x"}], "+", 
        RowBox[{
         SuperscriptBox["t1", "2"], " ", "t2", " ", "x"}]}], ")"}], "/", 
      RowBox[{"(", 
       RowBox[{"t1", " ", 
        RowBox[{"(", 
         RowBox[{"1", "+", "t1"}], ")"}], " ", "t2", " ", "x", " ", 
        RowBox[{"(", 
         RowBox[{"1", "+", "x"}], ")"}]}], ")"}]}]}], "}"}]}], 
  "}"}]], "Output",
 CellLabel->
  "Out[110]=",ExpressionUUID->"80f72335-ad9a-4c56-bc2d-0e0a8f33866a"],

Cell[BoxData["\<\"Associated matrix with respect to the matryoshka \
decomposition:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[106]:=",ExpressionUUID->"47ffb35e-cb50-4e82-a28a-80a94b6b1474"],

Cell[BoxData[
 TagBox[
  RowBox[{"(", "\[NoBreak]", GridBox[{
     {
      FractionBox["1", "x"], 
      FractionBox["1", "x"], 
      FractionBox["1", 
       RowBox[{"1", "+", "x"}]]},
     {"0", 
      FractionBox["1", 
       RowBox[{"t1", " ", "x"}]], 
      FractionBox["1", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"1", "+", "t1"}], ")"}], " ", "x"}]]},
     {"0", "0", 
      FractionBox[
       RowBox[{"1", "+", "t1"}], 
       RowBox[{"t1", " ", "t2", " ", "x"}]]}
    },
    GridBoxAlignment->{
     "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
      "RowsIndexed" -> {}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[0.7]}, 
        Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}],
  Function[BoxForm`e$, 
   MatrixForm[BoxForm`e$]]]], "Output",
 CellLabel->
  "Out[112]//MatrixForm=",ExpressionUUID->"a6dcb5f0-e7f5-41f4-b143-\
da617ad0a0b0"],

Cell[BoxData["\<\"We embed the previous tower into a well-generated \
one:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[106]:=",ExpressionUUID->"1633f11b-3698-4338-95a7-b02f1135cac3"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"t1", "\[Rule]", "u1"}], ",", 
   RowBox[{"t2", "\[Rule]", 
    RowBox[{"u1", "+", "u3"}]}], ",", 
   RowBox[{"t3", "\[Rule]", 
    RowBox[{"u2", "+", "u4", "+", "u5"}]}]}], "}"}]], "Output",
 CellLabel->
  "Out[117]=",ExpressionUUID->"b7a24b7b-d052-43c0-a696-c7605d8ec196"],

Cell[BoxData[
 TagBox[
  RowBox[{"(", "\[NoBreak]", GridBox[{
     {
      FractionBox["1", "x"], 
      FractionBox["1", 
       RowBox[{"1", "+", "x"}]], "0", "0", "0"},
     {"0", "0", 
      FractionBox["1", 
       RowBox[{"u1", " ", "x"}]], 
      FractionBox["1", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"1", "+", "u1"}], ")"}], " ", "x"}]], "0"},
     {"0", "0", "0", "0", "0"},
     {"0", "0", "0", "0", 
      FractionBox[
       RowBox[{"1", "+", "u1"}], 
       RowBox[{"u1", " ", 
        RowBox[{"(", 
         RowBox[{"u1", "+", "u3"}], ")"}], " ", "x"}]]},
     {"0", "0", "0", "0", "0"}
    },
    GridBoxAlignment->{
     "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
      "RowsIndexed" -> {}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[0.7]}, 
        Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}],
  Function[BoxForm`e$, 
   MatrixForm[BoxForm`e$]]]], "Output",
 CellLabel->
  "Out[118]//MatrixForm=",ExpressionUUID->"37f47e2c-af76-4d5a-addd-\
5f0059e52303"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"f1", " ", "=", 
   FractionBox[
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"1", "+", "t1"}], ")"}], "2"], "+", 
     RowBox[{"t1", " ", "t2"}]}], 
    RowBox[{"t1", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "t1"}], ")"}], " ", "t2", " ", "x"}]]}], ";", " ", 
  RowBox[{"f2", "=", 
   FractionBox["t3", "x"]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{
   "\"\<f1 = \>\"", ",", " ", "f1", ",", " ", "\"\< and f2 = \>\"", ",", " ", 
    "f2"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"phif1", "=", 
   RowBox[{"f1", "/.", "subsu"}]}], ";", " ", 
  RowBox[{"phif2", "=", 
   RowBox[{"f2", "/.", "subsu"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Print", "[", 
   RowBox[{
   "\"\<\[Phi](f1) = \>\"", ",", " ", "phif1", ",", " ", 
    "\"\< and \[Phi](f2) = \>\"", ",", " ", "phif2"}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", 
   "\"\<Additive decompositions for all f1, \[Phi](f1), f2, \[Phi](f2), \
respectively:\>\"", "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"adif1", "=", 
  RowBox[{"AddDecompInField", "[", 
   RowBox[{"f1", ",", "x", ",", "genlist", ",", "derlist"}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{"adwg1", "=", 
  RowBox[{"AddDecompInField", "[", 
   RowBox[{"phif1", ",", "x", ",", "newgenlist", ",", "newderlist"}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{"adif2", "=", 
  RowBox[{"AddDecompInField", "[", 
   RowBox[{"f2", ",", "x", ",", "genlist", ",", "derlist"}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{"adwg2", "=", 
  RowBox[{"AddDecompInField", "[", 
   RowBox[{"phif2", ",", "x", ",", "newgenlist", ",", "newderlist"}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "Print", "[", 
   "\"\<Projections of the remainders of f2 and \[Phi](f2), \
respectively:\>\"", "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"ProperDecomposition", "[", 
  RowBox[{
   RowBox[{"adif2", "[", 
    RowBox[{"[", "2", "]"}], "]"}], ",", "genlist"}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"ProperDecomposition", "[", 
  RowBox[{
   RowBox[{"adwg2", "[", 
    RowBox[{"[", "2", "]"}], "]"}], ",", "newgenlist"}], "]"}]}], "Input",
 CellLabel->
  "In[119]:=",ExpressionUUID->"b3043f83-006a-4680-b8a8-240165d3ea3c"],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"f1 = \"\>", "\[InvisibleSpace]", 
   FractionBox[
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"1", "+", "t1"}], ")"}], "2"], "+", 
     RowBox[{"t1", " ", "t2"}]}], 
    RowBox[{"t1", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "t1"}], ")"}], " ", "t2", " ", "x"}]], 
   "\[InvisibleSpace]", "\<\" and f2 = \"\>", "\[InvisibleSpace]", 
   FractionBox["t3", "x"]}],
  SequenceForm[
  "f1 = ", $CellContext`t1^(-1) (
     1 + $CellContext`t1)^(-1) $CellContext`t2^(-1) ((
      1 + $CellContext`t1)^2 + $CellContext`t1 \
$CellContext`t2)/$CellContext`x, " and f2 = ", $CellContext`t3/$CellContext`x],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[119]:=",ExpressionUUID->"c646a299-48de-4bc4-bc0f-138448bc5bc1"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"\[Phi](f1) = \"\>", "\[InvisibleSpace]", 
   FractionBox[
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"1", "+", "u1"}], ")"}], "2"], "+", 
     RowBox[{"u1", " ", 
      RowBox[{"(", 
       RowBox[{"u1", "+", "u3"}], ")"}]}]}], 
    RowBox[{"u1", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "u1"}], ")"}], " ", 
     RowBox[{"(", 
      RowBox[{"u1", "+", "u3"}], ")"}], " ", "x"}]], 
   "\[InvisibleSpace]", "\<\" and \[Phi](f2) = \"\>", "\[InvisibleSpace]", 
   FractionBox[
    RowBox[{"u2", "+", "u4", "+", "u5"}], "x"]}],
  SequenceForm[
  "\[Phi](f1) = ", $CellContext`u1^(-1) (
     1 + $CellContext`u1)^(-1) ($CellContext`u1 + $CellContext`u3)^(-1) ((
      1 + $CellContext`u1)^2 + $CellContext`u1 ($CellContext`u1 + \
$CellContext`u3))/$CellContext`x, 
   " and \[Phi](f2) = ", ($CellContext`u2 + $CellContext`u4 + \
$CellContext`u5)/$CellContext`x],
  Editable->False]], "Print",
 CellLabel->
  "During evaluation of \
In[119]:=",ExpressionUUID->"1aa52a85-d966-4a8e-a7eb-7c9b19635bae"],

Cell[BoxData["\<\"Additive decompositions for all f1, \[Phi](f1), f2, \
\[Phi](f2), respectively:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[119]:=",ExpressionUUID->"ce75fd76-5d25-40f4-8857-8aae6a4bfc00"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"0", ",", 
   FractionBox[
    RowBox[{"1", "+", 
     RowBox[{"2", " ", "t1"}], "+", 
     SuperscriptBox["t1", "2"], "+", 
     RowBox[{"t1", " ", "t2"}]}], 
    RowBox[{"t1", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "t1"}], ")"}], " ", "t2", " ", "x"}]]}], 
  "}"}]], "Output",
 CellLabel->
  "Out[124]=",ExpressionUUID->"a8e5f04b-b28e-4959-9a4d-1e54d88a6490"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"u4", "+", "u5"}], ",", "0"}], "}"}]], "Output",
 CellLabel->
  "Out[125]=",ExpressionUUID->"5ff23a7d-635b-48b5-aa31-5578157d4ba3"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    RowBox[{"-", "t1"}], "+", 
    RowBox[{"t1", " ", "t3"}]}], ",", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "-", 
      RowBox[{"2", " ", "t1"}], "-", 
      SuperscriptBox["t1", "2"], "+", "t2", "-", "x", "-", 
      RowBox[{"2", " ", "t1", " ", "x"}], "-", 
      RowBox[{
       SuperscriptBox["t1", "2"], " ", "x"}], "+", 
      RowBox[{"t2", " ", "x"}], "-", 
      RowBox[{"t1", " ", "t2", " ", "x"}], "-", 
      RowBox[{
       SuperscriptBox["t1", "2"], " ", "t2", " ", "x"}]}], ")"}], "/", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"1", "+", "t1"}], ")"}], " ", "t2", " ", "x", " ", 
      RowBox[{"(", 
       RowBox[{"1", "+", "x"}], ")"}]}], ")"}]}]}], "}"}]], "Output",
 CellLabel->
  "Out[126]=",ExpressionUUID->"5a18c22b-8dbb-4d18-9c78-ad7767de4339"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    RowBox[{"-", "u1"}], "+", 
    RowBox[{"u1", " ", "u2"}], "+", "u4", "+", 
    RowBox[{"u1", " ", "u4"}], "+", 
    RowBox[{"u1", " ", "u5"}]}], ",", 
   FractionBox[
    RowBox[{
     RowBox[{"-", "1"}], "-", "u1", "-", "x", "-", 
     RowBox[{"u1", " ", "x"}], "-", 
     RowBox[{
      SuperscriptBox["u1", "2"], " ", "x"}], "-", 
     RowBox[{"u1", " ", "u3", " ", "x"}]}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"u1", "+", "u3"}], ")"}], " ", "x", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "x"}], ")"}]}]]}], "}"}]], "Output",
 CellLabel->
  "Out[127]=",ExpressionUUID->"c46f0167-bab7-4efa-9af4-a95b1e3db37d"],

Cell[BoxData["\<\"Projections of the remainders of f2 and \[Phi](f2), \
respectively:\"\>"], "Print",
 CellLabel->
  "During evaluation of \
In[119]:=",ExpressionUUID->"571e405d-2a8d-46b4-88df-f6dd94fc29f0"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["t1", 
    RowBox[{
     RowBox[{"-", "1"}], "-", "x"}]], ",", 
   FractionBox["1", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"1", "+", "t1"}], ")"}], " ", "x"}]], ",", 
   FractionBox[
    RowBox[{
     RowBox[{"-", "1"}], "-", "t1"}], 
    RowBox[{"t2", " ", "x"}]], ",", "0"}], "}"}]], "Output",
 CellLabel->
  "Out[129]=",ExpressionUUID->"c776f8a8-98e5-4f77-8d25-e628005babd7"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["u1", 
    RowBox[{
     RowBox[{"-", "1"}], "-", "x"}]], ",", "0", ",", "0", ",", 
   FractionBox[
    RowBox[{
     RowBox[{"-", "1"}], "-", "u1"}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"u1", "+", "u3"}], ")"}], " ", "x"}]], ",", "0", ",", "0"}], 
  "}"}]], "Output",
 CellLabel->
  "Out[130]=",ExpressionUUID->"f6281f5b-82ca-412e-ba44-20825232e86f"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Part 2: Illustration of the Main Functions", "Section",ExpressionUUID->"1943c0e2-00f8-46b2-8a10-3a9f1b834dd2"],

Cell[CellGroupData[{

Cell["AddDecompInField", "Subsubsection",ExpressionUUID->"57b08cf2-ce46-482e-8db0-37fa5db53eeb"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "AddDecompInField"}]], "Input",
 CellLabel->"In[14]:=",ExpressionUUID->"27cafdbb-8187-4d6e-a8f1-5d695d3511e3"],

Cell[BoxData["\<\"AddDecompInField[f, var, gen, der] takes a function in an \
S-primitive tower and outputs the pair {integrable part of f, minimal \
remainder (0, if f is integrable)} from the same tower.\"\>"], "Print", \
"PrintUsage",
 CellTags->
  "Info143789877344-3587035",ExpressionUUID->"dab3bb11-345a-4836-a35f-\
b87a36d9f0ba"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AddDecompInField", "[", 
  RowBox[{"t4", ",", " ", "x", ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"1", "/", "x"}], ",", 
     RowBox[{"1", "/", "t1"}], ",", 
     RowBox[{"1", "/", "t2"}], ",", 
     RowBox[{"1", "/", "t3"}]}], "}"}]}], "]"}]], "Input",
 CellLabel->"In[6]:=",ExpressionUUID->"1a8bbf11-bbf1-4880-bde5-2a0a36ffe196"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"t4", " ", "x"}], ",", 
   RowBox[{"-", 
    FractionBox["x", "t3"]}]}], "}"}]], "Output",
 CellLabel->"Out[6]=",ExpressionUUID->"266bab83-9f53-4853-a91b-51248cdd9d72"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AddDecompInField", "[", 
  RowBox[{"t4", ",", " ", "x", ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", 
      RowBox[{"1", "+", "x"}]], ",", 
     FractionBox["1", "t1"], ",", 
     FractionBox[
      RowBox[{
       RowBox[{
        RowBox[{"-", "t1"}], " ", "t2"}], "-", 
       RowBox[{"2", " ", "t1", " ", "t3"}], "+", 
       RowBox[{"2", " ", "x"}], "+", 
       RowBox[{"t1", " ", "x"}], "-", 
       RowBox[{"t1", " ", "t2", " ", "x"}], "-", 
       RowBox[{"2", " ", "t1", " ", "t3", " ", "x"}], "+", 
       RowBox[{"2", " ", 
        SuperscriptBox["x", "2"]}], "+", 
       RowBox[{"2", " ", "t3", " ", 
        SuperscriptBox["x", "2"]}], "+", 
       RowBox[{"2", " ", "t3", " ", 
        SuperscriptBox["x", "3"]}]}], 
      RowBox[{"t1", " ", "x", " ", 
       RowBox[{"(", 
        RowBox[{"1", "+", "x"}], ")"}], " ", 
       RowBox[{"(", 
        RowBox[{"t2", "+", 
         RowBox[{"2", " ", "t3"}], "+", 
         RowBox[{
          SuperscriptBox["t3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]}], 
  "]"}]], "Input",
 CellLabel->"In[7]:=",ExpressionUUID->"af673ee4-b637-4b2c-ab49-d0755a1f5820"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"t4", " ", "x"}], ",", 
   FractionBox[
    RowBox[{
     RowBox[{"t1", " ", "t2"}], "+", 
     RowBox[{"2", " ", "t1", " ", "t3"}], "-", 
     RowBox[{"2", " ", "x"}], "-", 
     RowBox[{"t1", " ", "x"}], "+", 
     RowBox[{"t1", " ", "t2", " ", "x"}], "+", 
     RowBox[{"2", " ", "t1", " ", "t3", " ", "x"}], "-", 
     RowBox[{"2", " ", 
      SuperscriptBox["x", "2"]}], "-", 
     RowBox[{"2", " ", "t3", " ", 
      SuperscriptBox["x", "2"]}], "-", 
     RowBox[{"2", " ", "t3", " ", 
      SuperscriptBox["x", "3"]}]}], 
    RowBox[{"t1", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "x"}], ")"}], " ", 
     RowBox[{"(", 
      RowBox[{"t2", "+", 
       RowBox[{"2", " ", "t3"}], "+", 
       RowBox[{
        SuperscriptBox["t3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]], "Output",\

 CellLabel->"Out[7]=",ExpressionUUID->"25929cc5-4651-491e-93d6-698fc2bce82f"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AddDecompInField", "[", 
  RowBox[{
   RowBox[{"t2", "+", 
    RowBox[{"t2", " ", "t3"}], "+", 
    FractionBox[
     RowBox[{"t2", "-", 
      RowBox[{"2", " ", "t1", " ", "x"}]}], 
     SuperscriptBox["t1", "2"]]}], ",", "x", ",", " ", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", 
      RowBox[{"t1", " ", "x"}]], ",", 
     FractionBox["1", 
      RowBox[{"1", "+", "x"}]]}], "}"}]}], "]"}]], "Input",
 CellLabel->"In[8]:=",ExpressionUUID->"d1b95db0-e7ea-4223-8419-d73fa4e31eb9"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    RowBox[{"-", 
     FractionBox["x", "t1"]}], "-", 
    FractionBox[
     RowBox[{"t2", " ", "x"}], "t1"], "+", 
    RowBox[{"t2", " ", "t3", " ", "x"}]}], ",", 
   FractionBox[
    RowBox[{"1", "+", "t2", "+", 
     RowBox[{"t1", " ", "t2"}], "-", "t3", "-", "x", "+", 
     RowBox[{"t2", " ", "x"}], "-", 
     RowBox[{"t3", " ", "x"}], "-", 
     RowBox[{"2", " ", 
      SuperscriptBox["x", "2"]}]}], 
    RowBox[{"t1", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "x"}], ")"}]}]]}], "}"}]], "Output",
 CellLabel->"Out[8]=",ExpressionUUID->"a1c039c9-f9d7-41d7-8a8b-00164bcd4794"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["WellGenLogTower", "Subsubsection",ExpressionUUID->"bb379126-8eb5-4ac3-a19f-49ac133b8a1a"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "WellGenLogTower"}]], "Input",
 CellLabel->"In[84]:=",ExpressionUUID->"d1a6aae9-8bde-4a7a-b315-3dede7f6f137"],

Cell[BoxData["\<\"WellGenLogTower[var, gen, der] takes input from a primitive \
tower and outputs {new generators, the transfer matrix between old and new \
generators, new derivatives, associated matrix} of a well-generated \
tower.\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info843787867238-9747376",ExpressionUUID->"0836694a-6890-490f-ba86-\
853dcde848a9"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "This", " ", "is", " ", "an", " ", "example", " ", "of", " ", "an", " ", 
     "S"}], "-", 
    RowBox[{"primitive", " ", "tower", " ", "satisfying", " ", 
     RowBox[{"(", "CLI", ")"}], " ", "and", " ", 
     RowBox[{"(", "MI", ")"}], " ", "to", " ", "be", " ", "used", " ", "for", 
     " ", 
     RowBox[{"input", "."}]}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"WellGenLogTower", "[", 
   RowBox[{"x", ",", 
    RowBox[{"{", 
     RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{
      FractionBox["1", "x"], ",", 
      FractionBox["1", 
       RowBox[{"1", "+", "x"}]], ",", 
      RowBox[{
       FractionBox["1", "t1"], "+", 
       FractionBox["1", "x"]}], ",", 
      RowBox[{
       FractionBox["1", "t1"], "+", 
       FractionBox["1", "t2"], "+", 
       FractionBox["1", "x"]}]}], "}"}]}], "]"}], " "}]], "Input",
 CellLabel->
  "In[743]:=",ExpressionUUID->"230124a0-f23d-4ca7-ac76-d122f4a6fedb"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"u1", ",", "u2", ",", "u3", ",", "u4"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "0", ",", "1", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", 
      RowBox[{"1", "+", "x"}]], ",", 
     FractionBox["1", "u1"], ",", 
     FractionBox["1", "u2"]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       FractionBox["1", "x"], ",", 
       FractionBox["1", 
        RowBox[{"1", "+", "x"}]], ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", 
       FractionBox["1", "u1"], ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", 
       FractionBox["1", "u2"]}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], 
  "}"}]], "Output",
 CellLabel->
  "Out[743]=",ExpressionUUID->"a61f2204-8659-4d5b-aded-b27563a0f0fa"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "This", " ", "is", " ", "an", " ", "example", " ", "of", " ", "an", " ", 
     "S"}], "-", 
    RowBox[{"primitive", " ", "tower", " ", "not", " ", "satisfying", " ", 
     RowBox[{"(", "CLI", ")"}], " ", "and", " ", 
     RowBox[{"(", "MI", ")"}], " ", "to", " ", "be", " ", "used", " ", "for", 
     " ", 
     RowBox[{"input", "."}]}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{"Note", " ", "that", " ", 
     RowBox[{"u4", "'"}], " ", "is", " ", "u3"}], "-", 
    RowBox[{"simple", "."}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"WellGenLogTower", "[", 
   RowBox[{"x", ",", 
    RowBox[{"{", 
     RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{
      FractionBox["1", "x"], ",", 
      FractionBox["1", 
       RowBox[{"1", "+", "x"}]], ",", 
      FractionBox["1", "t1"], ",", 
      FractionBox[
       RowBox[{"2", "+", "t1", "+", 
        RowBox[{"t1", " ", 
         SuperscriptBox["t3", "2"]}], "+", 
        RowBox[{"2", " ", "x"}], "+", 
        RowBox[{"2", " ", "t3", " ", "x"}], "+", 
        RowBox[{"t1", " ", 
         SuperscriptBox["t3", "2"], " ", "x"}], "+", 
        RowBox[{"2", " ", "t3", " ", 
         SuperscriptBox["x", "2"]}]}], 
       RowBox[{"t1", " ", 
        RowBox[{"(", 
         RowBox[{"1", "+", "x"}], ")"}], " ", 
        RowBox[{"(", 
         RowBox[{"t2", "+", 
          RowBox[{"2", " ", "t3"}], "+", 
          RowBox[{
           SuperscriptBox["t3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]}], 
   "]"}]}]], "Input",
 CellLabel->
  "In[746]:=",ExpressionUUID->"069430d0-130c-44c5-b69d-3a087422bdda"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"u1", ",", "u2", ",", "u3", ",", "u4"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", 
      RowBox[{"1", "+", "x"}]], ",", 
     FractionBox["1", "u1"], ",", 
     FractionBox[
      RowBox[{
       RowBox[{
        RowBox[{"-", "u1"}], " ", "u2"}], "-", 
       RowBox[{"2", " ", "u1", " ", "u3"}], "+", 
       RowBox[{"2", " ", "x"}], "+", 
       RowBox[{"u1", " ", "x"}], "-", 
       RowBox[{"u1", " ", "u2", " ", "x"}], "-", 
       RowBox[{"2", " ", "u1", " ", "u3", " ", "x"}], "+", 
       RowBox[{"2", " ", 
        SuperscriptBox["x", "2"]}], "+", 
       RowBox[{"2", " ", "u3", " ", 
        SuperscriptBox["x", "2"]}], "+", 
       RowBox[{"2", " ", "u3", " ", 
        SuperscriptBox["x", "3"]}]}], 
      RowBox[{"u1", " ", "x", " ", 
       RowBox[{"(", 
        RowBox[{"1", "+", "x"}], ")"}], " ", 
       RowBox[{"(", 
        RowBox[{"u2", "+", 
         RowBox[{"2", " ", "u3"}], "+", 
         RowBox[{
          SuperscriptBox["u3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       FractionBox["1", "x"], ",", 
       FractionBox["1", 
        RowBox[{"1", "+", "x"}]], ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", 
       FractionBox["1", "u1"], ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", 
       FractionBox[
        RowBox[{
         RowBox[{
          RowBox[{"-", "u1"}], " ", "u2"}], "-", 
         RowBox[{"2", " ", "u1", " ", "u3"}], "+", 
         RowBox[{"2", " ", "x"}], "+", 
         RowBox[{"u1", " ", "x"}], "-", 
         RowBox[{"u1", " ", "u2", " ", "x"}], "-", 
         RowBox[{"2", " ", "u1", " ", "u3", " ", "x"}], "+", 
         RowBox[{"2", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         RowBox[{"2", " ", "u3", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         RowBox[{"2", " ", "u3", " ", 
          SuperscriptBox["x", "3"]}]}], 
        RowBox[{"u1", " ", "x", " ", 
         RowBox[{"(", 
          RowBox[{"1", "+", "x"}], ")"}], " ", 
         RowBox[{"(", 
          RowBox[{"u2", "+", 
           RowBox[{"2", " ", "u3"}], "+", 
           RowBox[{
            SuperscriptBox["u3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]}], 
    "}"}]}], "}"}]], "Output",
 CellLabel->
  "Out[746]=",ExpressionUUID->"f28f37b3-2476-4d8a-8a4e-20bce46e2bc9"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "This", " ", "is", " ", "an", " ", "example", " ", "of", " ", "a", " ", 
     "S"}], "-", 
    RowBox[{"primitive", " ", "tower", " ", "not", " ", "satisfying", " ", 
     RowBox[{"(", "CLI", ")"}], " ", "and", " ", 
     RowBox[{"(", "MI", ")"}], " ", "to", " ", "be", " ", "used", " ", "for", 
     " ", 
     RowBox[{"input", "."}]}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{"Note", " ", "that", " ", 
     RowBox[{"u4", "'"}], " ", "is", " ", "NOT", " ", "u3"}], "-", 
    RowBox[{"simple", "."}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"WellGenLogTower", "[", 
   RowBox[{"x", ",", 
    RowBox[{"{", 
     RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{
      FractionBox["1", "x"], ",", 
      FractionBox["1", "t1"], ",", 
      RowBox[{
       FractionBox["2", "t1"], "+", 
       FractionBox["1", 
        RowBox[{"1", "+", "x"}]]}], ",", 
      FractionBox[
       RowBox[{"2", "+", "t1", "+", 
        RowBox[{"t1", " ", 
         SuperscriptBox["t2", "2"]}], "+", 
        RowBox[{"2", " ", "x"}], "+", 
        RowBox[{"2", " ", "t2", " ", "x"}], "+", 
        RowBox[{"t1", " ", 
         SuperscriptBox["t2", "2"], " ", "x"}], "+", 
        RowBox[{"2", " ", "t2", " ", 
         SuperscriptBox["x", "2"]}]}], 
       RowBox[{"t1", " ", 
        RowBox[{"(", 
         RowBox[{"1", "+", "x"}], ")"}], " ", 
        RowBox[{"(", 
         RowBox[{"t3", "+", 
          RowBox[{
           SuperscriptBox["t2", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]}], 
   "]"}]}]], "Input",
 CellLabel->
  "In[747]:=",ExpressionUUID->"02ee5251-2555-461e-8133-90d2aaa628cf"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"u1", ",", "u2", ",", "u3", ",", "u4"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "1", ",", "2", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", 
      RowBox[{"1", "+", "x"}]], ",", 
     FractionBox["1", "u1"], ",", 
     FractionBox[
      RowBox[{
       RowBox[{
        RowBox[{"-", "u1"}], " ", "u2"}], "-", 
       RowBox[{"2", " ", "u1", " ", "u3"}], "+", 
       RowBox[{"2", " ", "x"}], "+", 
       RowBox[{"u1", " ", "x"}], "-", 
       RowBox[{"u1", " ", "u2", " ", "x"}], "-", 
       RowBox[{"2", " ", "u1", " ", "u3", " ", "x"}], "+", 
       RowBox[{"2", " ", 
        SuperscriptBox["x", "2"]}], "+", 
       RowBox[{"2", " ", "u3", " ", 
        SuperscriptBox["x", "2"]}], "+", 
       RowBox[{"2", " ", "u3", " ", 
        SuperscriptBox["x", "3"]}]}], 
      RowBox[{"u1", " ", "x", " ", 
       RowBox[{"(", 
        RowBox[{"1", "+", "x"}], ")"}], " ", 
       RowBox[{"(", 
        RowBox[{"u2", "+", 
         RowBox[{"2", " ", "u3"}], "+", 
         RowBox[{
          SuperscriptBox["u3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       FractionBox["1", "x"], ",", 
       FractionBox["1", 
        RowBox[{"1", "+", "x"}]], ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", 
       FractionBox["1", "u1"], ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"0", ",", "0", ",", "0", ",", 
       FractionBox[
        RowBox[{
         RowBox[{
          RowBox[{"-", "u1"}], " ", "u2"}], "-", 
         RowBox[{"2", " ", "u1", " ", "u3"}], "+", 
         RowBox[{"2", " ", "x"}], "+", 
         RowBox[{"u1", " ", "x"}], "-", 
         RowBox[{"u1", " ", "u2", " ", "x"}], "-", 
         RowBox[{"2", " ", "u1", " ", "u3", " ", "x"}], "+", 
         RowBox[{"2", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         RowBox[{"2", " ", "u3", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         RowBox[{"2", " ", "u3", " ", 
          SuperscriptBox["x", "3"]}]}], 
        RowBox[{"u1", " ", "x", " ", 
         RowBox[{"(", 
          RowBox[{"1", "+", "x"}], ")"}], " ", 
         RowBox[{"(", 
          RowBox[{"u2", "+", 
           RowBox[{"2", " ", "u3"}], "+", 
           RowBox[{
            SuperscriptBox["u3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]}], 
    "}"}]}], "}"}]], "Output",
 CellLabel->
  "Out[747]=",ExpressionUUID->"06ff88a0-ecd2-4399-99f7-9f3b0988f0ac"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Part 3: Useful Functions", "Section",ExpressionUUID->"735adae9-fd28-4723-85f1-e4b14a047b6d"],

Cell[CellGroupData[{

Cell["ExtendedEuclidean", "Subsubsection",ExpressionUUID->"50b43abb-3b14-437c-8c76-55c1bab79667"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "ExtendedEuclidean"}]], "Input",
 CellLabel->"In[13]:=",ExpressionUUID->"7de58d28-74c0-4228-aec4-abec60ff6418"],

Cell[BoxData["\<\"ExtendedEuclidean[a, b, c, var] computes {r,s} such that r \
a + s b = c and the degree of r with respect to var is lower than that of \
b.\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info133787865667-9747376",ExpressionUUID->"15dca276-afa4-45ab-ada8-\
cfb82b5ffca7"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"Catch", "[", 
   RowBox[{"ExtendedEuclidean", "[", 
    RowBox[{
     FractionBox[
      RowBox[{"x", 
       RowBox[{"(", 
        RowBox[{"1", "+", "x"}], ")"}], 
       RowBox[{"(", 
        RowBox[{"1", "+", "y"}], ")"}]}], 
      RowBox[{
       RowBox[{"-", "1"}], "+", "y"}]], ",", 
     FractionBox[
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", "1"}], "+", "x"}], ")"}], 
       RowBox[{"(", 
        RowBox[{"1", "+", "y"}], ")"}]}], 
      RowBox[{
       RowBox[{"-", "2"}], "+", "y"}]], ",", 
     RowBox[{"1", "+", 
      SuperscriptBox["x", "2"]}], ",", "x"}], "]"}], "]"}], 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{"Check", ":", " ", 
     RowBox[{
      RowBox[{"r", " ", "a"}], " ", "+", " ", 
      RowBox[{"s", " ", "b"}]}]}], " ", "=", " ", "c"}], " ", 
   "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{"Simplify", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"%", "[", 
     RowBox[{"[", "1", "]"}], "]"}], "*", 
    FractionBox[
     RowBox[{"x", 
      RowBox[{"(", 
       RowBox[{"1", "+", "x"}], ")"}], 
      RowBox[{"(", 
       RowBox[{"1", "+", "y"}], ")"}]}], 
     RowBox[{
      RowBox[{"-", "1"}], "+", "y"}]]}], "+", 
   RowBox[{
    RowBox[{"%", "[", 
     RowBox[{"[", "2", "]"}], "]"}], "*", 
    FractionBox[
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "1"}], "+", "x"}], ")"}], 
      RowBox[{"(", 
       RowBox[{"1", "+", "y"}], ")"}]}], 
     RowBox[{
      RowBox[{"-", "2"}], "+", "y"}]]}], "-", 
   RowBox[{"(", 
    RowBox[{"1", "+", 
     SuperscriptBox["x", "2"]}], ")"}]}], "]"}]}], "Input",
 CellLabel->"In[14]:=",ExpressionUUID->"79050c30-2c4a-4231-9f30-ebc9735b1e22"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox[
    RowBox[{
     RowBox[{"-", "1"}], "+", "y"}], 
    RowBox[{"1", "+", "y"}]], ",", 
   FractionBox[
    RowBox[{"2", "-", "y"}], 
    RowBox[{"1", "+", "y"}]]}], "}"}]], "Output",
 CellLabel->"Out[14]=",ExpressionUUID->"15a913f0-e23e-409e-b1e9-ad63f76810ed"],

Cell[BoxData["0"], "Output",
 CellLabel->"Out[15]=",ExpressionUUID->"7b76a7e2-4e28-44e4-a98c-a1f7f76cf99f"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["HermiteReduceGeneral", "Subsubsection",ExpressionUUID->"09a826d6-60c6-41b3-9e42-61da976dc7a1"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "HermiteReduceGeneral"}]], "Input",
 CellLabel->"In[20]:=",ExpressionUUID->"6a905923-b572-48f4-8473-fa2f6ef5634d"],

Cell[BoxData["\<\"HermiteReduceGeneral[f, var, gen, der] outputs {g, h, p}, \
such that f = g' + h + p, where h is simple and p is a polynomial with \
respect to the last generator in gen.\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info203787865929-9747376",ExpressionUUID->"9b0056c5-4a66-4b55-9b21-\
7cdc4849ca38"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"A", " ", "hand", " ", "made", " ", "example"}], " ", "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{"HermiteReduceGeneral", "[", 
   RowBox[{
    FractionBox[
     RowBox[{"t2", "+", "x"}], 
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "t1"}], "+", "t2"}], ")"}], "2"]], ",", "x", ",", 
    RowBox[{"{", 
     RowBox[{"t1", ",", "t2"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"1", "/", "x"}], ",", 
      RowBox[{"1", "/", "t1"}]}], "}"}]}], "]"}]}]], "Input",ExpressionUUID->\
"01b25f49-9e25-4675-9be1-a0828a43719a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox[
    RowBox[{
     RowBox[{
      RowBox[{"-", 
       SuperscriptBox["t1", "2"]}], " ", "x"}], "-", 
     RowBox[{"t1", " ", 
      SuperscriptBox["x", "2"]}]}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"t1", "-", "t2"}], ")"}], " ", 
     RowBox[{"(", 
      RowBox[{"t1", "-", "x"}], ")"}]}]], ",", 
   FractionBox[
    RowBox[{
     SuperscriptBox["t1", "3"], "+", 
     RowBox[{"2", " ", 
      SuperscriptBox["t1", "2"], " ", "x"}], "-", 
     RowBox[{"2", " ", 
      SuperscriptBox["x", "2"]}], "-", 
     RowBox[{"t1", " ", 
      SuperscriptBox["x", "2"]}]}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"t1", "-", "t2"}], ")"}], " ", 
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"t1", "-", "x"}], ")"}], "2"]}]], ",", "0"}], "}"}]], "Output",\

 CellLabel->"Out[23]=",ExpressionUUID->"f582de08-8f7f-4e91-a0a2-863594b7aeb9"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"Example", " ", "from", " ", 
    RowBox[{"Bronstein", "'"}], "s", " ", "book", " ", "Example", " ", "2.2", 
    ".1"}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"HermiteReduceGeneral", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{"x", "^", "7"}], "-", 
       RowBox[{"24", 
        RowBox[{"x", "^", "4"}]}], "-", 
       RowBox[{"4", 
        RowBox[{"x", "^", "2"}]}], "+", 
       RowBox[{"8", "x"}], "-", "8"}], ")"}], "/", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"x", "^", "8"}], "+", 
       RowBox[{"6", 
        RowBox[{"x", "^", "6"}]}], "+", 
       RowBox[{"12", 
        RowBox[{"x", "^", "4"}]}], "+", 
       RowBox[{"8", 
        RowBox[{"x", "^", "2"}]}]}], ")"}]}], ",", "x", ",", 
    RowBox[{"{", "}"}], ",", 
    RowBox[{"{", "}"}]}], "]"}]}]], "Input",ExpressionUUID->"989bb29d-2957-\
4a6f-87d0-f3d7705cea08"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    FractionBox["3", 
     RowBox[{"2", "+", 
      SuperscriptBox["x", "2"]}]], "+", 
    FractionBox[
     RowBox[{"4", " ", 
      RowBox[{"(", 
       RowBox[{"1", "+", 
        RowBox[{"2", " ", 
         SuperscriptBox["x", "2"]}]}], ")"}]}], 
     RowBox[{"x", " ", 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"2", "+", 
         SuperscriptBox["x", "2"]}], ")"}], "2"]}]]}], ",", 
   FractionBox["1", "x"], ",", "0"}], "}"}]], "Output",
 CellLabel->"Out[24]=",ExpressionUUID->"23429907-bd27-4b6b-baf0-3ed44ffce7fa"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["ProperDecomposition", "Subsubsection",ExpressionUUID->"60c20798-f919-4a84-9222-1f28bbc77c68"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "ProperDecomposition"}]], "Input",
 CellLabel->"In[25]:=",ExpressionUUID->"1c97e32c-994c-4e68-a939-654c76d83b7b"],

Cell[BoxData["\<\"ProperDecomposition[f, {t_1, ..., t_n}] outputs a list of \
functions {f_0, f_1, ..., f_n} such that f = f_0 + f_1 + ... + f_n, f_i in \
K(t_1, ..., t_i)[t_{i+1}, ...t_n] with t_i-proper coefficients for all i with \
i > 0 and f_0 in K[t_1, ..., t_n].\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info253787865954-9747376",ExpressionUUID->"b10bf243-8be8-42d4-bc31-\
4ebc047b396b"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ProperDecomposition", "[", 
  RowBox[{
   FractionBox[
    RowBox[{
     RowBox[{
      SuperscriptBox["t1", "2"], " ", "t2"}], "+", 
     SuperscriptBox["t2", "2"], "+", "x", "+", 
     RowBox[{"t1", " ", "x"}]}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"t1", "-", "x"}], ")"}], " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "t1"}], "+", "t2", "+", "x"}], ")"}]}]], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2"}], "}"}]}], "]"}]], "Input",
 CellLabel->
  "In[740]:=",ExpressionUUID->"1f68464e-7686-4c4d-83fb-086b657af810"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"1", "+", "t1", "+", "x"}], ",", 
   RowBox[{
    FractionBox["t2", 
     RowBox[{"t1", "-", "x"}]], "+", 
    FractionBox[
     SuperscriptBox["x", "2"], 
     RowBox[{"t1", "-", "x"}]]}], ",", 
   FractionBox[
    RowBox[{
     RowBox[{"-", 
      SuperscriptBox["t1", "2"]}], "-", 
     SuperscriptBox["t1", "3"], "-", "x", "+", 
     RowBox[{"t1", " ", "x"}], "+", 
     RowBox[{
      SuperscriptBox["t1", "2"], " ", "x"}], "-", 
     SuperscriptBox["x", "2"]}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"t1", "-", "x"}], ")"}], " ", 
     RowBox[{"(", 
      RowBox[{"t1", "-", "t2", "-", "x"}], ")"}]}]]}], "}"}]], "Output",
 CellLabel->
  "Out[740]=",ExpressionUUID->"86009051-d853-4564-8fad-51bace9a1b99"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ProperDecomposition", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"1", "+", "t1"}], "x"], ",", 
   RowBox[{"{", "t1", "}"}]}], "]"}]], "Input",
 CellLabel->
  "In[741]:=",ExpressionUUID->"5e64a4f1-9f49-41e7-afce-6425ff6adea3"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{
    FractionBox["1", "x"], "+", 
    FractionBox["t1", "x"]}], ",", "0"}], "}"}]], "Output",
 CellLabel->
  "Out[741]=",ExpressionUUID->"df0f07fd-3dc9-4fa8-ba37-a74359f07862"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ProperDecomposition", "[", 
  RowBox[{
   FractionBox[
    RowBox[{
     SuperscriptBox["t2", "2"], "+", 
     RowBox[{"t1", " ", 
      SuperscriptBox["t2", "2"]}], "+", "t3", "+", 
     RowBox[{"t1", " ", "t3"}], "+", 
     RowBox[{"2", " ", "t2", " ", "t3"}], "+", 
     RowBox[{"2", " ", "t1", " ", "t2", " ", "t3"}], "+", 
     RowBox[{"2", " ", 
      SuperscriptBox["t2", "2"], " ", "t3"}], "+", 
     RowBox[{"t1", " ", 
      SuperscriptBox["t2", "2"], " ", "t3"}], "+", 
     SuperscriptBox["t3", "2"], "+", 
     RowBox[{"t1", " ", 
      SuperscriptBox["t3", "2"]}], "+", 
     RowBox[{"4", " ", "t2", " ", 
      SuperscriptBox["t3", "2"]}], "+", 
     RowBox[{"2", " ", "t1", " ", "t2", " ", 
      SuperscriptBox["t3", "2"]}], "+", 
     RowBox[{"2", " ", 
      SuperscriptBox["t3", "3"]}], "+", 
     RowBox[{"t1", " ", 
      SuperscriptBox["t3", "3"]}], "+", 
     RowBox[{
      SuperscriptBox["t2", "2"], " ", "x"}], "+", 
     RowBox[{"t1", " ", 
      SuperscriptBox["t2", "2"], " ", "x"}], "+", 
     RowBox[{"t3", " ", "x"}], "+", 
     RowBox[{"t1", " ", "t3", " ", "x"}], "+", 
     RowBox[{"2", " ", "t2", " ", "t3", " ", "x"}], "+", 
     RowBox[{"2", " ", "t1", " ", "t2", " ", "t3", " ", "x"}], "+", 
     RowBox[{
      SuperscriptBox["t2", "2"], " ", "t3", " ", "x"}], "+", 
     RowBox[{
      SuperscriptBox["t3", "2"], " ", "x"}], "+", 
     RowBox[{"t1", " ", 
      SuperscriptBox["t3", "2"], " ", "x"}], "+", 
     RowBox[{"2", " ", "t2", " ", 
      SuperscriptBox["t3", "2"], " ", "x"}], "+", 
     RowBox[{
      SuperscriptBox["t3", "3"], " ", "x"}]}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"1", "+", "t1"}], ")"}], " ", "t3", " ", 
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"t2", "+", "t3"}], ")"}], "2"], " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "x"}], ")"}]}]], "\[IndentingNewLine]", ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}]}], "]"}]], "Input",
 CellLabel->
  "In[742]:=",ExpressionUUID->"f4fd1c99-a9b1-415f-abc9-4d9978a18b61"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox["1", 
    RowBox[{"1", "+", "x"}]], ",", 
   FractionBox["1", 
    RowBox[{"1", "+", "t1"}]], ",", "0", ",", 
   FractionBox[
    RowBox[{
     SuperscriptBox["t2", "2"], "+", "t3", "+", 
     RowBox[{"2", " ", "t2", " ", "t3"}], "+", 
     SuperscriptBox["t3", "2"]}], 
    RowBox[{"t3", " ", 
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"t2", "+", "t3"}], ")"}], "2"]}]]}], "}"}]], "Output",
 CellLabel->
  "Out[742]=",ExpressionUUID->"4f8d26f5-b7eb-40ea-a61a-7d50bc6419df"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Head Term", "Subsubsection",ExpressionUUID->"dda6e433-6b27-4a04-80d3-1c1631d7154f"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "HeadTerm"}]], "Input",
 CellLabel->"In[19]:=",ExpressionUUID->"a36c892f-66d5-4fb7-a9db-fc06224d8516"],

Cell[BoxData["\<\"HeadTerm[f, gen] outputs the highest term among all of the \
leading terms of each projection of f with respect to the proper \
decomposition in the form of {coefficient, monomial}.\"\>"], "Print", \
"PrintUsage",
 CellTags->
  "Info193789819266-3638707",ExpressionUUID->"d3e66986-fa4a-4d8d-a67c-\
d40b2e67dc2c"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"HeadTerm", "[", 
  RowBox[{
   RowBox[{
    FractionBox["t2", "t3"], "+", 
    FractionBox[
     RowBox[{
      SuperscriptBox["t2", "2"], " ", "t3"}], "t1"], "+", 
    RowBox[{"t2", " ", 
     SuperscriptBox["t3", "2"]}]}], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"HeadTerm", "[", 
  RowBox[{
   RowBox[{
    FractionBox["1", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "1"}], "+", "t1"}], ")"}], " ", 
      RowBox[{"(", 
       RowBox[{"1", "+", "t2"}], ")"}], " ", "t3"}]], 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "t2"}], "+", 
      RowBox[{"t1", " ", "t2"}], "-", 
      SuperscriptBox["t2", "2"], "+", 
      RowBox[{"t1", " ", 
       SuperscriptBox["t2", "2"]}], "-", 
      RowBox[{
       SuperscriptBox["t1", "5"], " ", 
       SuperscriptBox["t3", "2"]}], "+", 
      RowBox[{
       SuperscriptBox["t1", "6"], " ", 
       SuperscriptBox["t3", "2"]}], "-", 
      RowBox[{"2", " ", "t2", " ", 
       SuperscriptBox["t3", "2"]}], "+", 
      RowBox[{"2", " ", "t1", " ", "t2", " ", 
       SuperscriptBox["t3", "2"]}], "-", 
      SuperscriptBox["t3", "4"], "+", 
      RowBox[{"t1", " ", 
       SuperscriptBox["t3", "4"]}], "+", 
      RowBox[{"t1", " ", 
       SuperscriptBox["t3", "5"]}], "+", 
      RowBox[{"t1", " ", "t2", " ", 
       SuperscriptBox["t3", "5"]}], "-", 
      RowBox[{"t3", " ", "x"}], "-", 
      RowBox[{"t2", " ", "t3", " ", "x"}], "-", 
      RowBox[{"t1", " ", "t2", " ", "t3", " ", "x"}], "+", 
      RowBox[{
       SuperscriptBox["t1", "2"], " ", "t2", " ", "t3", " ", "x"}], "-", 
      RowBox[{"t1", " ", 
       SuperscriptBox["t2", "2"], " ", "t3", " ", "x"}], "+", 
      RowBox[{
       SuperscriptBox["t1", "2"], " ", 
       SuperscriptBox["t2", "2"], " ", "t3", " ", "x"}]}], ")"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}]}], "]"}]}], "Input",
 CellLabel->"In[61]:=",ExpressionUUID->"221e43f7-4b28-4c8e-b9bd-b0d97565264a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"1", ",", 
   RowBox[{"t2", " ", 
    SuperscriptBox["t3", "2"]}]}], "}"}]], "Output",
 CellLabel->"Out[61]=",ExpressionUUID->"bdb42cfa-272d-4821-b4f7-0fb73bb5607e"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"1", "+", 
    FractionBox["1", 
     RowBox[{
      RowBox[{"-", "1"}], "+", "t1"}]]}], ",", 
   SuperscriptBox["t3", "4"]}], "}"}]], "Output",
 CellLabel->"Out[62]=",ExpressionUUID->"295126b7-aab8-434f-9b38-4f189a6d886e"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["MonomialIndicator", "Subsubsection",ExpressionUUID->"48ff4085-35a4-483f-842d-272f10cec784"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "MonomialIndicator"}]], "Input",ExpressionUUID->"57eb5913-a06e-41dc-a08a-3e12f8c8073c"],

Cell[BoxData["\<\"MonomialIndicator[monomial, gen] outputs the index of the \
lowest generator (with respect to the generator list, gen) appearing in the \
monomial. It outputs the length of gen if the monomial is 1.\"\>"], "Print", \
"PrintUsage",
 CellTags->
  "Info543783428345-4946784",ExpressionUUID->"ee4a5867-3a72-4e5f-9ee8-\
565730b11222"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"MonomialIndicator", "[", 
  RowBox[{"x", ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"MonomialIndicator", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"t2", "^", "3"}], 
    RowBox[{"t3", "^", "8"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3"}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"MonomialIndicator", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"t2", "^", "3"}], 
    RowBox[{"t3", "^", "8"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"t3", ",", "t2", ",", "t1"}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"MonomialIndicator", "[", 
  RowBox[{"1", ",", 
   RowBox[{"{", 
    RowBox[{"t3", ",", "t2", ",", "t1"}], "}"}]}], "]"}]}], "Input",
 CellLabel->"In[63]:=",ExpressionUUID->"6575be01-e6c7-420d-9d66-244ba7c601c7"],

Cell[BoxData["3"], "Output",
 CellLabel->"Out[63]=",ExpressionUUID->"ad64c66b-66b5-4b88-a352-1a1efc60f080"],

Cell[BoxData["2"], "Output",
 CellLabel->"Out[64]=",ExpressionUUID->"138be48a-45a2-4401-845f-dd8d7a61703b"],

Cell[BoxData["1"], "Output",
 CellLabel->"Out[65]=",ExpressionUUID->"22b8560a-b426-41b0-ba6a-fc9cee22f192"],

Cell[BoxData["3"], "Output",
 CellLabel->"Out[66]=",ExpressionUUID->"4e526500-ee6d-4933-a2db-f5be730ddfa4"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["AddDecompLogTower", "Subsubsection",ExpressionUUID->"67abf2c9-2e81-4fef-828b-a2d8bdf6e9de"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"?", "AddDecompLogTower"}], "\[IndentingNewLine]", 
 RowBox[{"?", "CheckAddDecompLogTower"}]}], "Input",ExpressionUUID->"09404dac-\
0969-4ab5-9ecd-d8594817abeb"],

Cell[CellGroupData[{

Cell[BoxData["\<\"AddDecompLogTower[f, var, gen, der] takes a function in a \
well-generated S-primitive tower and outputs the pair {integrable part of f, \
its minimal remainder (0 if f is integrable)}\\n and all of the information \
needed to transform the old generators to the new ones in the form of a \
triple {new generator names, transfer matrix from old to new generators, new \
derivatives},\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info653783428375-4946784",ExpressionUUID->"63afa3aa-bef2-416c-a657-\
4a9f8ded9dc7"],

Cell[BoxData["\<\"CheckAddDecompLogTower[f, var, gen, results] takes the \
results from AddDecompLogTower[f, var, gen, der] and outputs True if the \
decomposition is correct.\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info663783428376-4946784",ExpressionUUID->"56c53104-1372-480f-a85b-\
c8bdd1b2c190"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"AddDecompLogTower", "[", 
  RowBox[{"t4", ",", "x", ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", "t1"], ",", 
     RowBox[{
      FractionBox["2", "t1"], "+", 
      FractionBox["1", 
       RowBox[{"1", "+", "x"}]]}], ",", 
     RowBox[{
      FractionBox["1", "t2"], "+", 
      FractionBox["1", 
       RowBox[{"1", "+", "x"}]]}]}], "}"}]}], "]"}], "\[IndentingNewLine]", 
 RowBox[{"CheckAddDecompLogTower", "@@", 
  RowBox[{"Append", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"t4", ",", "x", ",", 
      RowBox[{"{", 
       RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}]}], "}"}], ",", 
    "%"}], "]"}]}]}], "Input",ExpressionUUID->"5ee8b0d6-b73f-484f-a379-\
a86c8c71bc2a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"u2", "-", "x", "+", 
      RowBox[{"u2", " ", "x"}], "+", 
      RowBox[{"u4", " ", "x"}]}], ",", 
     RowBox[{"-", 
      FractionBox["x", "u3"]}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"u1", ",", "u2", ",", "u3", ",", "u4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "2", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       FractionBox["1", "x"], ",", 
       FractionBox["1", 
        RowBox[{"1", "+", "x"}]], ",", 
       FractionBox["1", "u1"], ",", 
       FractionBox["1", "u3"]}], "}"}]}], "}"}]}], "}"}]], "Output",
 CellLabel->"Out[67]=",ExpressionUUID->"6dd6a65f-1d42-4001-9d82-c522e0c3fe8e"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[68]=",ExpressionUUID->"69bd207f-1d6e-4d73-a999-4bcf1496ab97"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"AddDecompLogTower", "[", 
  RowBox[{"t4", ",", "x", ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", "t1"], ",", 
     RowBox[{
      FractionBox["2", "t1"], "+", 
      FractionBox["1", 
       RowBox[{"1", "+", "x"}]]}], ",", 
     FractionBox[
      RowBox[{"2", "+", "t1", "+", 
       RowBox[{"t1", " ", 
        SuperscriptBox["t2", "2"]}], "+", 
       RowBox[{"2", " ", "x"}], "+", 
       RowBox[{"2", " ", "t2", " ", "x"}], "+", 
       RowBox[{"t1", " ", 
        SuperscriptBox["t2", "2"], " ", "x"}], "+", 
       RowBox[{"2", " ", "t2", " ", 
        SuperscriptBox["x", "2"]}]}], 
      RowBox[{"t1", " ", 
       RowBox[{"(", 
        RowBox[{"1", "+", "x"}], ")"}], " ", 
       RowBox[{"(", 
        RowBox[{"t3", "+", 
         RowBox[{
          SuperscriptBox["t2", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"CheckAddDecompLogTower", "@@", 
  RowBox[{"Append", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"t4", ",", "x", ",", 
      RowBox[{"{", 
       RowBox[{"t1", ",", "t2", ",", "t3", ",", "t4"}], "}"}]}], "}"}], ",", 
    "%"}], "]"}]}], "\[IndentingNewLine]"}], "Input",ExpressionUUID->\
"37491537-9f05-4cff-998c-1df3dc4d2231"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "x"}], "+", 
      RowBox[{"u1", " ", "x"}], "+", 
      RowBox[{"u4", " ", "x"}]}], ",", 
     FractionBox[
      RowBox[{
       RowBox[{"u1", " ", "u2"}], "+", 
       RowBox[{"2", " ", "u1", " ", "u3"}], "-", 
       RowBox[{"2", " ", "x"}], "-", 
       RowBox[{"u1", " ", "x"}], "+", 
       RowBox[{"u1", " ", "u2", " ", "x"}], "+", 
       RowBox[{"2", " ", "u1", " ", "u3", " ", "x"}], "-", 
       RowBox[{"2", " ", 
        SuperscriptBox["x", "2"]}], "-", 
       RowBox[{"2", " ", "u3", " ", 
        SuperscriptBox["x", "2"]}], "-", 
       RowBox[{"2", " ", "u3", " ", 
        SuperscriptBox["x", "3"]}]}], 
      RowBox[{"u1", " ", 
       RowBox[{"(", 
        RowBox[{"1", "+", "x"}], ")"}], " ", 
       RowBox[{"(", 
        RowBox[{"u2", "+", 
         RowBox[{"2", " ", "u3"}], "+", 
         RowBox[{
          SuperscriptBox["u3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"u1", ",", "u2", ",", "u3", ",", "u4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "1", ",", "2", ",", "0"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       FractionBox["1", "x"], ",", 
       FractionBox["1", 
        RowBox[{"1", "+", "x"}]], ",", 
       FractionBox["1", "u1"], ",", 
       FractionBox[
        RowBox[{
         RowBox[{
          RowBox[{"-", "u1"}], " ", "u2"}], "-", 
         RowBox[{"2", " ", "u1", " ", "u3"}], "+", 
         RowBox[{"2", " ", "x"}], "+", 
         RowBox[{"u1", " ", "x"}], "-", 
         RowBox[{"u1", " ", "u2", " ", "x"}], "-", 
         RowBox[{"2", " ", "u1", " ", "u3", " ", "x"}], "+", 
         RowBox[{"2", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         RowBox[{"2", " ", "u3", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         RowBox[{"2", " ", "u3", " ", 
          SuperscriptBox["x", "3"]}]}], 
        RowBox[{"u1", " ", "x", " ", 
         RowBox[{"(", 
          RowBox[{"1", "+", "x"}], ")"}], " ", 
         RowBox[{"(", 
          RowBox[{"u2", "+", 
           RowBox[{"2", " ", "u3"}], "+", 
           RowBox[{
            SuperscriptBox["u3", "2"], " ", "x"}]}], ")"}]}]]}], "}"}]}], 
    "}"}]}], "}"}]], "Output",
 CellLabel->"Out[69]=",ExpressionUUID->"2251ae42-3415-4757-8d63-cf99b4707a69"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[70]=",ExpressionUUID->"37ce5719-d42d-4f89-918e-56aa9f04dfd6"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
   "The", " ", "following", " ", "shows", " ", "that", " ", "Mathematica", 
    " ", "is", " ", "unable", " ", "to", " ", "integrate", " ", "the", " ", 
    "integrable", " ", "part", " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"but", " ", "we", " ", 
       RowBox[{"can", "!"}]}], ")"}], "."}]}], " ", "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"inttemp", " ", "=", " ", 
    RowBox[{
     RowBox[{"Log", "[", 
      RowBox[{"x", "+", "1"}], "]"}], "-", "x", "+", 
     RowBox[{
      RowBox[{"Log", "[", 
       RowBox[{"x", "+", "1"}], "]"}], " ", "x"}], "+", 
     RowBox[{"x", " ", 
      RowBox[{"Integrate", "[", 
       RowBox[{
        RowBox[{"1", "/", 
         RowBox[{"LogIntegral", "[", "x", "]"}]}], ",", "x"}], "]"}]}]}]}], 
   "\[IndentingNewLine]", 
   RowBox[{"ftemp", " ", "=", " ", 
    RowBox[{
     RowBox[{"Log", "[", 
      RowBox[{"x", "+", "1"}], "]"}], "+", 
     RowBox[{"Integrate", "[", 
      RowBox[{
       RowBox[{"1", "/", 
        RowBox[{"LogIntegral", "[", "x", "]"}]}], ",", "x"}], "]"}]}]}], 
   "\[IndentingNewLine]", 
   RowBox[{"remtemp", "=", 
    RowBox[{
     RowBox[{"-", "x"}], "/", 
     RowBox[{"LogIntegral", "[", "x", "]"}]}]}], "\[IndentingNewLine]", 
   RowBox[{"Simplify", "[", 
    RowBox[{
     RowBox[{"D", "[", 
      RowBox[{"inttemp", ",", "x"}], "]"}], "+", "remtemp", "-", "ftemp"}], 
    "]"}], "\[IndentingNewLine]", 
   RowBox[{"Integrate", "[", 
    RowBox[{
     RowBox[{"Together", "[", 
      RowBox[{"ftemp", "-", "remtemp"}], "]"}], ",", "x"}], 
    "]"}]}]}]], "Input",
 CellLabel->
  "In[115]:=",ExpressionUUID->"787de0d2-336f-44be-961b-42efca5ae8bb"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", "x"}], "+", 
  RowBox[{"x", " ", 
   RowBox[{"\[Integral]", 
    RowBox[{
     FractionBox["1", 
      RowBox[{"LogIntegral", "[", "x", "]"}]], 
     RowBox[{"\[DifferentialD]", "x"}]}]}]}], "+", 
  RowBox[{"Log", "[", 
   RowBox[{"1", "+", "x"}], "]"}], "+", 
  RowBox[{"x", " ", 
   RowBox[{"Log", "[", 
    RowBox[{"1", "+", "x"}], "]"}]}]}]], "Output",
 CellLabel->
  "Out[115]=",ExpressionUUID->"c5ecdcb6-2448-4072-9de0-3fb00529a3d1"],

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Integral]", 
   RowBox[{
    FractionBox["1", 
     RowBox[{"LogIntegral", "[", "x", "]"}]], 
    RowBox[{"\[DifferentialD]", "x"}]}]}], "+", 
  RowBox[{"Log", "[", 
   RowBox[{"1", "+", "x"}], "]"}]}]], "Output",
 CellLabel->
  "Out[116]=",ExpressionUUID->"d6fdc4e7-f65f-478b-ac4d-e6d7cbc4c537"],

Cell[BoxData[
 RowBox[{"-", 
  FractionBox["x", 
   RowBox[{"LogIntegral", "[", "x", "]"}]]}]], "Output",
 CellLabel->
  "Out[117]=",ExpressionUUID->"809b1614-41fa-48bd-94e4-3857f9ab32d3"],

Cell[BoxData["0"], "Output",
 CellLabel->
  "Out[118]=",ExpressionUUID->"324b2795-3c6a-4d95-a49b-26198bb96349"],

Cell[BoxData[
 RowBox[{"\[Integral]", 
  RowBox[{
   FractionBox[
    RowBox[{"x", "+", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"\[Integral]", 
        RowBox[{
         FractionBox["1", 
          RowBox[{"LogIntegral", "[", "x", "]"}]], 
         RowBox[{"\[DifferentialD]", "x"}]}]}], ")"}], " ", 
      RowBox[{"LogIntegral", "[", "x", "]"}]}], "+", 
     RowBox[{
      RowBox[{"Log", "[", 
       RowBox[{"1", "+", "x"}], "]"}], " ", 
      RowBox[{"LogIntegral", "[", "x", "]"}]}]}], 
    RowBox[{"LogIntegral", "[", "x", "]"}]], 
   RowBox[{"\[DifferentialD]", "x"}]}]}]], "Output",
 CellLabel->
  "Out[119]=",ExpressionUUID->"36756eb0-944d-4c65-834f-6c24eb3338a2"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["ToGenNames", "Subsubsection",ExpressionUUID->"caa83f88-66af-48d7-8373-66d4acaf416c"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "ToGenNames"}]], "Input",
 CellLabel->
  "In[134]:=",ExpressionUUID->"a3035696-39f8-4a37-9f90-23f331ee3d6f"],

Cell[BoxData["\<\"ToGenNames[f, var, gen] takes a function in variable var \
and a list of generators, renames the generators to t1,t2,etc..., and outputs \
the same function with the new names substituted, along with the generator \
and derivative lists with the new names as a list {fnew, genlist, derlist}. \
Set f=1 if you only want to convert the generator list with variable \
var.\"\>"], "Print", "PrintUsage",
 CellTags->
  "Info1343803201751-3324212",ExpressionUUID->"72d39bca-7a66-4d1a-a02a-\
ca4508985b07"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"f", "=", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{
         RowBox[{"-", "2"}], "*", 
         RowBox[{"Log", "[", "x", "]"}], "*", "x"}], "-", 
        RowBox[{"Log", "[", "x", "]"}], "+", "x"}], ")"}], "/", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"Log", "[", "x", "]"}], ")"}], "^", "2"}], ")"}]}], ")"}], 
    "*", 
    RowBox[{"LogIntegral", "[", "x", "]"}]}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"genlog", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Log", "[", "x", "]"}], ",", 
     RowBox[{"LogIntegral", "[", "x", "]"}]}], "}"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"ToGenNames", "[", 
  RowBox[{"f", ",", "x", ",", "genlog"}], "]"}]}], "Input",
 CellLabel->
  "In[135]:=",ExpressionUUID->"cc5a3164-c6a4-43e8-95a2-e9bcb8f0820e"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   FractionBox[
    RowBox[{"t2", " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "t1"}], "+", "x", "-", 
       RowBox[{"2", " ", "t1", " ", "x"}]}], ")"}]}], 
    SuperscriptBox["t1", "2"]], ",", 
   RowBox[{"{", 
    RowBox[{"t1", ",", "t2"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["1", "x"], ",", 
     FractionBox["1", "t1"]}], "}"}]}], "}"}]], "Output",
 CellLabel->
  "Out[137]=",ExpressionUUID->"cb1d4a1a-6d0c-40c5-881a-65f21035e168"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Part 4: Testsuite", "Section",ExpressionUUID->"af19df6f-87fd-49a3-8839-0dc2ad76035e"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
   "This", " ", "collection", " ", "of", " ", "examples", " ", "were", " ", 
    "used", " ", "for", " ", 
    RowBox[{"timings", ".", " ", "Examples"}], " ", "provided", " ", "by", 
    " ", "Christoph", " ", 
    RowBox[{"Koutschan", "."}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"christoph1", "=", 
    RowBox[{"Import", "[", "\"\<decomp_examples_collection1.m\>\"", "]"}]}], 
   ";"}]}]], "Input",
 InitializationCell->True,
 CellLabel->"In[3]:=",ExpressionUUID->"93cb7e26-c097-46a6-bf06-c31db944729f"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"Testing", " ", 
    RowBox[{"Christoph", "'"}], "s", " ", "examples", " ", "that", " ", 
    "take", " ", "longer", " ", "than", " ", "a", " ", "second", " ", "to", 
    " ", 
    RowBox[{"compute", "."}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"list", "=", 
     RowBox[{"{", 
      RowBox[{
      "22", ",", "52", ",", "53", ",", "54", ",", "57", ",", "58", ",", "76", 
       ",", "81", ",", "92", ",", "93", ",", "94", ",", "95", ",", "96", ",", 
       "98"}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"Do", "[", 
    RowBox[{
     RowBox[{"Print", "[", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{"list", "[", 
         RowBox[{"[", "i", "]"}], "]"}], ",", 
        RowBox[{"Timing", "[", 
         RowBox[{
          RowBox[{"adwgtemp", "=", 
           RowBox[{"AddDecompLogTower", "@@", 
            RowBox[{"christoph1", "[", 
             RowBox[{"[", 
              RowBox[{"list", "[", 
               RowBox[{"[", "i", "]"}], "]"}], "]"}], "]"}]}]}], ";"}], "]"}],
         ",", 
        RowBox[{"CheckAddDecompLogTower", "@@", 
         RowBox[{"Append", "[", 
          RowBox[{
           RowBox[{
            RowBox[{"christoph1", "[", 
             RowBox[{"[", 
              RowBox[{"list", "[", 
               RowBox[{"[", "i", "]"}], "]"}], "]"}], "]"}], "[", 
            RowBox[{"[", 
             RowBox[{"1", ";;", "3"}], "]"}], "]"}], ",", "adwgtemp"}], 
          "]"}]}]}], "}"}], "]"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "1", ",", 
       RowBox[{"Length", "[", "list", "]"}]}], "}"}]}], "]"}]}]}]], "Input",Ex\
pressionUUID->"c07c8f9d-67aa-402e-b122-903db6fa7dbf"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"22", ",", 
   RowBox[{"{", 
    RowBox[{"0.868701`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"bae5d4b3-d417-412f-8da8-b5506c1dcef7"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"52", ",", 
   RowBox[{"{", 
    RowBox[{"6.589744`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"25a86970-d88f-4dbe-b0cc-3b39e06149e8"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"53", ",", 
   RowBox[{"{", 
    RowBox[{"1.860048`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"84a3b3be-5358-4d62-81fe-bd995f058583"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"54", ",", 
   RowBox[{"{", 
    RowBox[{"9.838591`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"bd33753e-767e-4566-8534-343fea9823f1"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"57", ",", 
   RowBox[{"{", 
    RowBox[{"11.711948`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"711a9ce4-595b-4b26-87bf-fcbaf7ce2fff"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"58", ",", 
   RowBox[{"{", 
    RowBox[{"16.359807`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"83b69038-3089-4f3d-b94b-e76f06bbe7f1"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"76", ",", 
   RowBox[{"{", 
    RowBox[{"1.797686`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"e464ec9b-f545-4caf-b838-1f32774c4e60"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"81", ",", 
   RowBox[{"{", 
    RowBox[{"17.601638`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"679dbc75-ab08-4ee0-8bd6-5aeb1c1f2fb5"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"92", ",", 
   RowBox[{"{", 
    RowBox[{"1.413585`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"443af3ed-c2ad-4996-ac19-282632f9b1ab"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"93", ",", 
   RowBox[{"{", 
    RowBox[{"1.901176`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"1e72ef81-ab26-49c0-a319-3e96ba3d70ff"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"94", ",", 
   RowBox[{"{", 
    RowBox[{"1.418628`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"472a0c1a-cbdb-476d-9c8e-ae5df191a061"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"95", ",", 
   RowBox[{"{", 
    RowBox[{"1.900653`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"29f56871-0651-4131-9a93-ef8545231ea4"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"96", ",", 
   RowBox[{"{", 
    RowBox[{"1.530783`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"337de397-0036-48f5-afb3-f98905e80051"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"98", ",", 
   RowBox[{"{", 
    RowBox[{"1.043649`", ",", "Null"}], "}"}], ",", "True"}], "}"}]], "Print",\

 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"d4bf2fd9-b72a-43c0-9588-dc2862162b0b"]
}, Open  ]]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", " ", 
  RowBox[{
   RowBox[{
   "82", " ", "and", " ", "90", " ", "takes", " ", "a", " ", "long", " ", 
    "time"}], ",", " ", 
   RowBox[{"but", " ", "at", " ", "least", " ", "it", " ", 
    RowBox[{"finishes", "!"}]}]}], " ", "*)"}]], "Input",ExpressionUUID->\
"769d5bcf-d059-4993-8a15-78658d96a63f"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Do", "[", 
  RowBox[{
   RowBox[{"Print", "[", 
    RowBox[{"{", 
     RowBox[{"i", ",", 
      RowBox[{"Timing", "[", 
       RowBox[{
        RowBox[{"adwgtemp", "=", 
         RowBox[{"AddDecompLogTower", "@@", 
          RowBox[{"christoph1", "[", 
           RowBox[{"[", "i", "]"}], "]"}]}]}], ";"}], "]"}], ",", 
      RowBox[{"CheckAddDecompLogTower", "@@", 
       RowBox[{"Append", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"christoph1", "[", 
           RowBox[{"[", "i", "]"}], "]"}], "[", 
          RowBox[{"[", 
           RowBox[{"1", ";;", "3"}], "]"}], "]"}], ",", "adwgtemp"}], 
        "]"}]}]}], "}"}], "]"}], ",", 
   RowBox[{"{", 
    RowBox[{"i", ",", "82", ",", "82"}], "}"}]}], "]"}]], "Input",ExpressionUU\
ID->"d57b6f1b-79c7-4fff-bc5f-828c13356a22"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"82", ",", 
   RowBox[{"{", 
    RowBox[{"7104.544316`", ",", "Null"}], "}"}], ",", "True"}], 
  "}"}]], "Print",
 CellChangeTimes->{3.781622837886106*^9},
 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"612096da-c5ba-418b-b528-2349a5420f8e"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Do", "[", 
  RowBox[{
   RowBox[{"Print", "[", 
    RowBox[{"{", 
     RowBox[{"i", ",", 
      RowBox[{"Timing", "[", 
       RowBox[{
        RowBox[{"adwgtemp", "=", 
         RowBox[{"AddDecompLogTower", "@@", 
          RowBox[{"christoph1", "[", 
           RowBox[{"[", "i", "]"}], "]"}]}]}], ";"}], "]"}], ",", 
      RowBox[{"CheckAddDecompLogTower", "@@", 
       RowBox[{"Append", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"christoph1", "[", 
           RowBox[{"[", "i", "]"}], "]"}], "[", 
          RowBox[{"[", 
           RowBox[{"1", ";;", "3"}], "]"}], "]"}], ",", "adwgtemp"}], 
        "]"}]}]}], "}"}], "]"}], ",", 
   RowBox[{"{", 
    RowBox[{"i", ",", "90", ",", "90"}], "}"}]}], "]"}]], "Input",ExpressionUU\
ID->"79fea266-1db2-4b12-b511-4ab6c9143014"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"90", ",", 
   RowBox[{"{", 
    RowBox[{"3575.015613`", ",", "Null"}], "}"}], ",", "True"}], 
  "}"}]], "Print",
 CellChangeTimes->{3.781530341503241*^9},
 CellLabel->
  "During evaluation of \
In[31]:=",ExpressionUUID->"33eea2db-286d-4699-bdad-2ddbdb5a9efd"]
}, Open  ]]
}, Open  ]]
},
WindowSize->{1920, 1171},
WindowMargins->{{0, Automatic}, {Automatic, 29}},
PrintingCopies->1,
PrintingPageRange->{Automatic, Automatic},
PrintingOptions->{"PaperOrientation"->"Portrait",
"PaperSize"->{594.75, 842.25},
"PostScriptOutputFile"->"/home/elaine/Dropbox/Mathematica/\
AdditiveDecomposition_Examples.pdf"},
FrontEndVersion->"11.3 for Linux x86 (64-bit) (March 6, 2018)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "Info63803200973-3324212"->{
  Cell[1455, 49, 1348, 19, 335, "Print",ExpressionUUID->"b33507fd-35cf-4ab8-9dee-2fbad7b51c71",
   CellTags->"Info63803200973-3324212"]},
 "Info143789877344-3587035"->{
  Cell[40907, 1303, 336, 6, 46, "Print",ExpressionUUID->"dab3bb11-345a-4836-a35f-b87a36d9f0ba",
   CellTags->"Info143789877344-3587035"]},
 "Info843787867238-9747376"->{
  Cell[45790, 1460, 362, 6, 46, "Print",ExpressionUUID->"0836694a-6890-490f-ba86-853dcde848a9",
   CellTags->"Info843787867238-9747376"]},
 "Info133787865667-9747376"->{
  Cell[58429, 1835, 286, 5, 46, "Print",ExpressionUUID->"15dca276-afa4-45ab-ada8-cfb82b5ffca7",
   CellTags->"Info133787865667-9747376"]},
 "Info203787865929-9747376"->{
  Cell[61239, 1934, 317, 5, 46, "Print",ExpressionUUID->"9b0056c5-4a66-4b55-9b21-7cdc4849ca38",
   CellTags->"Info203787865929-9747376"]},
 "Info253787865954-9747376"->{
  Cell[65020, 2064, 398, 6, 46, "Print",ExpressionUUID->"b10bf243-8be8-42d4-bc31-4ebc047b396b",
   CellTags->"Info253787865954-9747376"]},
 "Info193789819266-3638707"->{
  Cell[70259, 2234, 330, 6, 46, "Print",ExpressionUUID->"d3e66986-fa4a-4d8d-a67c-d40b2e67dc2c",
   CellTags->"Info193789819266-3638707"]},
 "Info543783428345-4946784"->{
  Cell[73452, 2334, 347, 6, 46, "Print",ExpressionUUID->"ee4a5867-3a72-4e5f-9ee8-565730b11222",
   CellTags->"Info543783428345-4946784"]},
 "Info653783428375-4946784"->{
  Cell[75512, 2400, 530, 8, 71, "Print",ExpressionUUID->"63afa3aa-bef2-416c-a657-4a9f8ded9dc7",
   CellTags->"Info653783428375-4946784"]},
 "Info663783428376-4946784"->{
  Cell[76045, 2410, 304, 5, 46, "Print",ExpressionUUID->"56c53104-1372-480f-a85b-c8bdd1b2c190",
   CellTags->"Info663783428376-4946784"]},
 "Info1343803201751-3324212"->{
  Cell[86481, 2738, 517, 8, 71, "Print",ExpressionUUID->"72d39bca-7a66-4d1a-a02a-ca4508985b07",
   CellTags->"Info1343803201751-3324212"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"Info63803200973-3324212", 97782, 3123},
 {"Info143789877344-3587035", 97951, 3126},
 {"Info843787867238-9747376", 98121, 3129},
 {"Info133787865667-9747376", 98291, 3132},
 {"Info203787865929-9747376", 98461, 3135},
 {"Info253787865954-9747376", 98631, 3138},
 {"Info193789819266-3638707", 98801, 3141},
 {"Info543783428345-4946784", 98971, 3144},
 {"Info653783428375-4946784", 99141, 3147},
 {"Info663783428376-4946784", 99311, 3150},
 {"Info1343803201751-3324212", 99482, 3153}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 306, 8, 71, "Input",ExpressionUUID->"bab5bda2-57b1-46da-90a6-954975ee1585",
 InitializationCell->True],
Cell[867, 30, 418, 11, 76, "Text",ExpressionUUID->"c0e90682-e09f-4bce-9ad1-06911539ce38"],
Cell[CellGroupData[{
Cell[1310, 45, 142, 2, 31, "Input",ExpressionUUID->"78aae6af-1f82-4dfe-b9ed-c298a01a2b7a"],
Cell[1455, 49, 1348, 19, 335, "Print",ExpressionUUID->"b33507fd-35cf-4ab8-9dee-2fbad7b51c71",
 CellTags->"Info63803200973-3324212"]
}, Open  ]],
Cell[CellGroupData[{
Cell[2840, 73, 105, 0, 68, "Section",ExpressionUUID->"b7757300-27f8-44b2-b913-29c490d910fb"],
Cell[CellGroupData[{
Cell[2970, 77, 88, 0, 55, "Subsection",ExpressionUUID->"17fbb1b0-299b-4829-9318-6f9b247e2567"],
Cell[CellGroupData[{
Cell[3083, 81, 714, 22, 78, "Input",ExpressionUUID->"edea7f67-7868-4e4f-b0e0-cafa15fb9fcc"],
Cell[3800, 105, 398, 12, 59, "Output",ExpressionUUID->"1d777632-9761-4a6a-b817-317478f1e8b5"],
Cell[4201, 119, 361, 11, 53, "Output",ExpressionUUID->"b4cb4bb8-7f8a-4cb4-ad06-bc09ff8245b0"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[4611, 136, 88, 0, 55, "Subsection",ExpressionUUID->"a165a4cc-ebe2-4571-84ef-efe3cf14c3de"],
Cell[CellGroupData[{
Cell[4724, 140, 2616, 78, 363, "Input",ExpressionUUID->"4df9e676-55e2-4534-88c7-117c47fcc31f"],
Cell[CellGroupData[{
Cell[7365, 222, 157, 3, 25, "Print",ExpressionUUID->"9ab92f1b-0483-469f-b3e1-4124182cf064"],
Cell[7525, 227, 917, 26, 48, "Print",ExpressionUUID->"bdea2e73-56bc-4239-8cfe-b7cb35102fb4"],
Cell[8445, 255, 180, 3, 25, "Print",ExpressionUUID->"902a64f4-e7c7-46e3-a5b6-4908cc312d3c"]
}, Open  ]],
Cell[8640, 261, 295, 7, 35, "Output",ExpressionUUID->"2bb6a71e-826f-4b4e-a116-7a792fc146cc"],
Cell[8938, 270, 318, 9, 56, "Output",ExpressionUUID->"89d12b9a-47e9-4d03-8102-47dc796eb029"],
Cell[9259, 281, 183, 3, 25, "Print",ExpressionUUID->"4b7a8332-5a1a-40fd-8fad-7c58bb1f4644"],
Cell[9445, 286, 586, 18, 54, "Output",ExpressionUUID->"dd033ed2-5031-45e8-bbed-79c2a683c973"],
Cell[CellGroupData[{
Cell[10056, 308, 585, 16, 44, "Print",ExpressionUUID->"c3020009-8d64-4587-8ade-f52fd76ebc97"],
Cell[10644, 326, 193, 4, 25, "Print",ExpressionUUID->"7bf1aea4-5e47-46c9-8475-2a631c08a3cb"]
}, Open  ]],
Cell[10852, 333, 455, 14, 58, "Output",ExpressionUUID->"a29054e2-7f12-4d32-8f34-d5f7439956e9"],
Cell[11310, 349, 167, 3, 25, "Print",ExpressionUUID->"fee2ca4b-4b7d-4301-8a28-8e5c30f3c775"],
Cell[11480, 354, 220, 5, 56, "Output",ExpressionUUID->"64a292bd-68a1-4544-b459-47a616943224"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[11749, 365, 88, 0, 55, "Subsection",ExpressionUUID->"67ab44f6-1c9a-452c-91ee-e76a64cd6bf7"],
Cell[CellGroupData[{
Cell[11862, 369, 2401, 72, 361, "Input",ExpressionUUID->"17a4937e-1444-4274-b326-4bfb1e5561f0"],
Cell[CellGroupData[{
Cell[14288, 445, 157, 3, 25, "Print",ExpressionUUID->"f1c74d3e-95b7-401f-bd9b-354f0560038c"],
Cell[14448, 450, 572, 17, 45, "Print",ExpressionUUID->"9776a4bb-9051-4789-b747-583beddf7d1d"],
Cell[15023, 469, 180, 3, 25, "Print",ExpressionUUID->"4158a7d4-dea6-41f4-8495-33a6879200d5"]
}, Open  ]],
Cell[15218, 475, 325, 9, 35, "Output",ExpressionUUID->"531b976c-67b0-43da-a975-6e74b188f030"],
Cell[15546, 486, 412, 12, 56, "Output",ExpressionUUID->"cec0b309-39dd-4f93-baa5-93950f461f44"],
Cell[15961, 500, 183, 3, 25, "Print",ExpressionUUID->"730716e2-b486-4c7c-b93e-4b9fdfbb887a"],
Cell[16147, 505, 520, 16, 56, "Output",ExpressionUUID->"5403ab4d-ab9d-49f9-b279-f96a8d13a0a7"],
Cell[CellGroupData[{
Cell[16692, 525, 348, 9, 42, "Print",ExpressionUUID->"53cde7e6-4b0a-4e91-ade4-618e9468925e"],
Cell[17043, 536, 193, 4, 25, "Print",ExpressionUUID->"59599661-6e1b-475f-bd36-68b186a30146"]
}, Open  ]],
Cell[17251, 543, 201, 5, 53, "Output",ExpressionUUID->"77fb0f01-a8a0-42aa-ad94-467735bf2fce"],
Cell[17455, 550, 167, 3, 25, "Print",ExpressionUUID->"2a9705f8-da24-434d-b028-cd5245d60411"],
Cell[17625, 555, 323, 9, 56, "Output",ExpressionUUID->"04adef9f-e473-459c-b266-2170aec51672"]
}, Open  ]],
Cell[CellGroupData[{
Cell[17985, 569, 2393, 71, 361, "Input",ExpressionUUID->"e3145652-7d1a-4bc1-9b6f-e2c8d6035ae1"],
Cell[CellGroupData[{
Cell[20403, 644, 157, 3, 25, "Print",ExpressionUUID->"6abc18ff-c6fe-4c58-b4ab-b31ec259186b"],
Cell[20563, 649, 591, 18, 45, "Print",ExpressionUUID->"4bcfb2c2-5f8f-44a8-b3f2-ffb4ece240cd"],
Cell[21157, 669, 181, 3, 25, "Print",ExpressionUUID->"dc463d14-3f1e-4bbd-a1ad-f2c1cd661a74"]
}, Open  ]],
Cell[21353, 675, 312, 8, 35, "Output",ExpressionUUID->"794ac419-0df6-43a7-bb88-f9ada7c3ee9b"],
Cell[21668, 685, 311, 9, 56, "Output",ExpressionUUID->"c53cf1af-5230-4d4b-b119-362b4b28898d"],
Cell[21982, 696, 183, 3, 25, "Print",ExpressionUUID->"0917e130-761b-47a7-81f1-eb329bcb3088"],
Cell[22168, 701, 485, 15, 53, "Output",ExpressionUUID->"932ab79b-04ce-4f04-8a86-3589fe5b43b3"],
Cell[CellGroupData[{
Cell[22678, 720, 399, 12, 42, "Print",ExpressionUUID->"1831e6a9-7b89-40d1-afc4-44dd19f64e36"],
Cell[23080, 734, 193, 4, 25, "Print",ExpressionUUID->"bd30af16-7509-4eaa-b23f-757de6240faa"]
}, Open  ]],
Cell[23288, 741, 250, 7, 58, "Output",ExpressionUUID->"404f7688-06c7-41ec-85e8-9a0cafa89bc7"],
Cell[23541, 750, 167, 3, 25, "Print",ExpressionUUID->"338fbfb5-c045-45c0-b441-2c17ca075ba5"],
Cell[23711, 755, 235, 6, 56, "Output",ExpressionUUID->"874520ea-c804-4d7e-8e31-cc8bae974c47"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[23995, 767, 88, 0, 55, "Subsection",ExpressionUUID->"00fe1ba6-5f8a-42dc-955e-96e2a33ae050"],
Cell[CellGroupData[{
Cell[24108, 771, 2472, 73, 308, "Input",ExpressionUUID->"383ca12f-3caa-479d-9c0e-3234dfcf3578"],
Cell[26583, 846, 167, 3, 25, "Print",ExpressionUUID->"964ef277-5585-405c-b02b-ddc4a7411f04"],
Cell[26753, 851, 1670, 50, 61, "Output",ExpressionUUID->"37885301-ff20-4aaa-a80f-19a2c8629bd9"],
Cell[28426, 903, 160, 3, 25, "Print",ExpressionUUID->"33f6b2c6-620b-43b9-94ef-2ae3c4156440"],
Cell[28589, 908, 1067, 31, 61, "Output",ExpressionUUID->"80f72335-ad9a-4c56-bc2d-0e0a8f33866a"],
Cell[29659, 941, 205, 4, 25, "Print",ExpressionUUID->"47ffb35e-cb50-4e82-a28a-80a94b6b1474"],
Cell[29867, 947, 1078, 34, 121, "Output",ExpressionUUID->"a6dcb5f0-e7f5-41f4-b143-da617ad0a0b0"],
Cell[30948, 983, 196, 4, 25, "Print",ExpressionUUID->"1633f11b-3698-4338-95a7-b02f1135cac3"],
Cell[31147, 989, 325, 9, 35, "Output",ExpressionUUID->"b7a24b7b-d052-43c0-a696-c7605d8ec196"],
Cell[31475, 1000, 1207, 37, 159, "Output",ExpressionUUID->"37f47e2c-af76-4d5a-addd-5f0059e52303"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32719, 1042, 2334, 66, 320, "Input",ExpressionUUID->"b3043f83-006a-4680-b8a8-240165d3ea3c"],
Cell[CellGroupData[{
Cell[35078, 1112, 813, 22, 48, "Print",ExpressionUUID->"c646a299-48de-4bc4-bc0f-138448bc5bc1"],
Cell[35894, 1136, 1076, 29, 48, "Print",ExpressionUUID->"1aa52a85-d966-4a8e-a7eb-7c9b19635bae"],
Cell[36973, 1167, 219, 4, 25, "Print",ExpressionUUID->"ce75fd76-5d25-40f4-8857-8aae6a4bfc00"]
}, Open  ]],
Cell[37207, 1174, 410, 13, 61, "Output",ExpressionUUID->"a8e5f04b-b28e-4959-9a4d-1e54d88a6490"],
Cell[37620, 1189, 182, 5, 35, "Output",ExpressionUUID->"5ff23a7d-635b-48b5-aa31-5578157d4ba3"],
Cell[37805, 1196, 876, 26, 61, "Output",ExpressionUUID->"5a18c22b-8dbb-4d18-9c78-ad7767de4339"],
Cell[38684, 1224, 685, 21, 61, "Output",ExpressionUUID->"c46f0167-bab7-4efa-9af4-a95b1e3db37d"],
Cell[39372, 1247, 207, 4, 25, "Print",ExpressionUUID->"571e405d-2a8d-46b4-88df-f6dd94fc29f0"],
Cell[39582, 1253, 441, 15, 56, "Output",ExpressionUUID->"c776f8a8-98e5-4f77-8d25-e628005babd7"],
Cell[40026, 1270, 417, 14, 56, "Output",ExpressionUUID->"f6281f5b-82ca-412e-ba44-20825232e86f"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[40504, 1291, 116, 0, 68, "Section",ExpressionUUID->"1943c0e2-00f8-46b2-8a10-3a9f1b834dd2"],
Cell[CellGroupData[{
Cell[40645, 1295, 96, 0, 45, "Subsubsection",ExpressionUUID->"57b08cf2-ce46-482e-8db0-37fa5db53eeb"],
Cell[CellGroupData[{
Cell[40766, 1299, 138, 2, 31, "Input",ExpressionUUID->"27cafdbb-8187-4d6e-a8f1-5d695d3511e3"],
Cell[40907, 1303, 336, 6, 46, "Print",ExpressionUUID->"dab3bb11-345a-4836-a35f-b87a36d9f0ba",
 CellTags->"Info143789877344-3587035"]
}, Open  ]],
Cell[CellGroupData[{
Cell[41280, 1314, 445, 11, 31, "Input",ExpressionUUID->"1a8bbf11-bbf1-4880-bde5-2a0a36ffe196"],
Cell[41728, 1327, 219, 6, 51, "Output",ExpressionUUID->"266bab83-9f53-4853-a91b-51248cdd9d72"]
}, Open  ]],
Cell[CellGroupData[{
Cell[41984, 1338, 1266, 35, 68, "Input",ExpressionUUID->"af673ee4-b637-4b2c-ab49-d0755a1f5820"],
Cell[43253, 1375, 925, 27, 65, "Output",ExpressionUUID->"25929cc5-4651-491e-93d6-698fc2bce82f"]
}, Open  ]],
Cell[CellGroupData[{
Cell[44215, 1407, 621, 18, 57, "Input",ExpressionUUID->"d1b95db0-e7ea-4223-8419-d73fa4e31eb9"],
Cell[44839, 1427, 642, 19, 61, "Output",ExpressionUUID->"a1c039c9-f9d7-41d7-8a8b-00164bcd4794"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[45530, 1452, 95, 0, 45, "Subsubsection",ExpressionUUID->"bb379126-8eb5-4ac3-a19f-49ac133b8a1a"],
Cell[CellGroupData[{
Cell[45650, 1456, 137, 2, 31, "Input",ExpressionUUID->"d1a6aae9-8bde-4a7a-b315-3dede7f6f137"],
Cell[45790, 1460, 362, 6, 46, "Print",ExpressionUUID->"0836694a-6890-490f-ba86-853dcde848a9",
 CellTags->"Info843787867238-9747376"]
}, Open  ]],
Cell[CellGroupData[{
Cell[46189, 1471, 1041, 29, 79, "Input",ExpressionUUID->"230124a0-f23d-4ca7-ac76-d122f4a6fedb"],
Cell[47233, 1502, 1303, 39, 53, "Output",ExpressionUUID->"a61f2204-8659-4d5b-aded-b27563a0f0fa"]
}, Open  ]],
Cell[CellGroupData[{
Cell[48573, 1546, 1721, 47, 116, "Input",ExpressionUUID->"069430d0-130c-44c5-b69d-3a087422bdda"],
Cell[50297, 1595, 2949, 83, 121, "Output",ExpressionUUID->"f28f37b3-2476-4d8a-8a4e-20bce46e2bc9"]
}, Open  ]],
Cell[CellGroupData[{
Cell[53283, 1683, 1746, 48, 116, "Input",ExpressionUUID->"02ee5251-2555-461e-8133-90d2aaa628cf"],
Cell[55032, 1733, 2949, 83, 121, "Output",ExpressionUUID->"06ff88a0-ecd2-4399-99f7-9f3b0988f0ac"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[58042, 1823, 98, 0, 68, "Section",ExpressionUUID->"735adae9-fd28-4723-85f1-e4b14a047b6d"],
Cell[CellGroupData[{
Cell[58165, 1827, 97, 0, 45, "Subsubsection",ExpressionUUID->"50b43abb-3b14-437c-8c76-55c1bab79667"],
Cell[CellGroupData[{
Cell[58287, 1831, 139, 2, 31, "Input",ExpressionUUID->"7de58d28-74c0-4228-aec4-abec60ff6418"],
Cell[58429, 1835, 286, 5, 46, "Print",ExpressionUUID->"15dca276-afa4-45ab-ada8-cfb82b5ffca7",
 CellTags->"Info133787865667-9747376"]
}, Open  ]],
Cell[CellGroupData[{
Cell[58752, 1845, 1738, 60, 136, "Input",ExpressionUUID->"79050c30-2c4a-4231-9f30-ebc9735b1e22"],
Cell[60493, 1907, 317, 10, 56, "Output",ExpressionUUID->"15a913f0-e23e-409e-b1e9-ad63f76810ed"],
Cell[60813, 1919, 107, 1, 35, "Output",ExpressionUUID->"7b76a7e2-4e28-44e4-a98c-a1f7f76cf99f"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[60969, 1926, 100, 0, 45, "Subsubsection",ExpressionUUID->"09a826d6-60c6-41b3-9e42-61da976dc7a1"],
Cell[CellGroupData[{
Cell[61094, 1930, 142, 2, 31, "Input",ExpressionUUID->"6a905923-b572-48f4-8473-fa2f6ef5634d"],
Cell[61239, 1934, 317, 5, 46, "Print",ExpressionUUID->"9b0056c5-4a66-4b55-9b21-7cdc4849ca38",
 CellTags->"Info203787865929-9747376"]
}, Open  ]],
Cell[CellGroupData[{
Cell[61593, 1944, 626, 19, 84, "Input",ExpressionUUID->"01b25f49-9e25-4675-9be1-a0828a43719a"],
Cell[62222, 1965, 910, 31, 62, "Output",ExpressionUUID->"f582de08-8f7f-4e91-a0a2-863594b7aeb9"]
}, Open  ]],
Cell[CellGroupData[{
Cell[63169, 2001, 940, 28, 55, "Input",ExpressionUUID->"989bb29d-2957-4a6f-87d0-f3d7705cea08"],
Cell[64112, 2031, 591, 19, 66, "Output",ExpressionUUID->"23429907-bd27-4b6b-baf0-3ed44ffce7fa"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[64752, 2056, 99, 0, 45, "Subsubsection",ExpressionUUID->"60c20798-f919-4a84-9222-1f28bbc77c68"],
Cell[CellGroupData[{
Cell[64876, 2060, 141, 2, 31, "Input",ExpressionUUID->"1c97e32c-994c-4e68-a939-654c76d83b7b"],
Cell[65020, 2064, 398, 6, 46, "Print",ExpressionUUID->"b10bf243-8be8-42d4-bc31-4ebc047b396b",
 CellTags->"Info253787865954-9747376"]
}, Open  ]],
Cell[CellGroupData[{
Cell[65455, 2075, 574, 18, 64, "Input",ExpressionUUID->"1f68464e-7686-4c4d-83fb-086b657af810"],
Cell[66032, 2095, 771, 25, 61, "Output",ExpressionUUID->"86009051-d853-4564-8fad-51bace9a1b99"]
}, Open  ]],
Cell[CellGroupData[{
Cell[66840, 2125, 251, 7, 56, "Input",ExpressionUUID->"5e64a4f1-9f49-41e7-afce-6425ff6adea3"],
Cell[67094, 2134, 227, 7, 53, "Output",ExpressionUUID->"df0f07fd-3dc9-4fa8-ba37-a74359f07862"]
}, Open  ]],
Cell[CellGroupData[{
Cell[67358, 2146, 2059, 55, 99, "Input",ExpressionUUID->"f4fd1c99-a9b1-415f-abc9-4d9978a18b61"],
Cell[69420, 2203, 543, 17, 62, "Output",ExpressionUUID->"4f8d26f5-b7eb-40ea-a61a-7d50bc6419df"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[70012, 2226, 89, 0, 45, "Subsubsection",ExpressionUUID->"dda6e433-6b27-4a04-80d3-1c1631d7154f"],
Cell[CellGroupData[{
Cell[70126, 2230, 130, 2, 31, "Input",ExpressionUUID->"a36c892f-66d5-4fb7-a9db-fc06224d8516"],
Cell[70259, 2234, 330, 6, 46, "Print",ExpressionUUID->"d3e66986-fa4a-4d8d-a67c-d40b2e67dc2c",
 CellTags->"Info193789819266-3638707"]
}, Open  ]],
Cell[CellGroupData[{
Cell[70626, 2245, 2053, 59, 115, "Input",ExpressionUUID->"221e43f7-4b28-4c8e-b9bd-b0d97565264a"],
Cell[72682, 2306, 204, 5, 40, "Output",ExpressionUUID->"bdb42cfa-272d-4821-b4f7-0fb73bb5607e"],
Cell[72889, 2313, 274, 8, 53, "Output",ExpressionUUID->"295126b7-aab8-434f-9b38-4f189a6d886e"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[73212, 2327, 97, 0, 45, "Subsubsection",ExpressionUUID->"48ff4085-35a4-483f-842d-272f10cec784"],
Cell[CellGroupData[{
Cell[73334, 2331, 115, 1, 31, "Input",ExpressionUUID->"57eb5913-a06e-41dc-a08a-3e12f8c8073c"],
Cell[73452, 2334, 347, 6, 46, "Print",ExpressionUUID->"ee4a5867-3a72-4e5f-9ee8-565730b11222",
 CellTags->"Info543783428345-4946784"]
}, Open  ]],
Cell[CellGroupData[{
Cell[73836, 2345, 855, 26, 101, "Input",ExpressionUUID->"6575be01-e6c7-420d-9d66-244ba7c601c7"],
Cell[74694, 2373, 107, 1, 35, "Output",ExpressionUUID->"ad64c66b-66b5-4b88-a352-1a1efc60f080"],
Cell[74804, 2376, 107, 1, 35, "Output",ExpressionUUID->"138be48a-45a2-4401-845f-dd8d7a61703b"],
Cell[74914, 2379, 107, 1, 35, "Output",ExpressionUUID->"22b8560a-b426-41b0-ba6a-fc9cee22f192"],
Cell[75024, 2382, 107, 1, 35, "Output",ExpressionUUID->"4e526500-ee6d-4933-a2db-f5be730ddfa4"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[75180, 2389, 97, 0, 45, "Subsubsection",ExpressionUUID->"67abf2c9-2e81-4fef-828b-a2d8bdf6e9de"],
Cell[CellGroupData[{
Cell[75302, 2393, 185, 3, 55, "Input",ExpressionUUID->"09404dac-0969-4ab5-9ecd-d8594817abeb"],
Cell[CellGroupData[{
Cell[75512, 2400, 530, 8, 71, "Print",ExpressionUUID->"63afa3aa-bef2-416c-a657-4a9f8ded9dc7",
 CellTags->"Info653783428375-4946784"],
Cell[76045, 2410, 304, 5, 46, "Print",ExpressionUUID->"56c53104-1372-480f-a85b-c8bdd1b2c190",
 CellTags->"Info663783428376-4946784"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[76398, 2421, 849, 25, 81, "Input",ExpressionUUID->"5ee8b0d6-b73f-484f-a379-a86c8c71bc2a"],
Cell[77250, 2448, 1076, 31, 53, "Output",ExpressionUUID->"6dd6a65f-1d42-4001-9d82-c522e0c3fe8e"],
Cell[78329, 2481, 110, 1, 35, "Output",ExpressionUUID->"69bd207f-1d6e-4d73-a999-4bcf1496ab97"]
}, Open  ]],
Cell[CellGroupData[{
Cell[78476, 2487, 1354, 39, 118, "Input",ExpressionUUID->"37491537-9f05-4cff-998c-1df3dc4d2231"],
Cell[79833, 2528, 2680, 75, 121, "Output",ExpressionUUID->"2251ae42-3415-4757-8d63-cf99b4707a69"],
Cell[82516, 2605, 110, 1, 35, "Output",ExpressionUUID->"37ce5719-d42d-4f89-918e-56aa9f04dfd6"]
}, Open  ]],
Cell[CellGroupData[{
Cell[82663, 2611, 1707, 50, 147, "Input",ExpressionUUID->"787de0d2-336f-44be-961b-42efca5ae8bb"],
Cell[84373, 2663, 478, 15, 56, "Output",ExpressionUUID->"c5ecdcb6-2448-4072-9de0-3fb00529a3d1"],
Cell[84854, 2680, 333, 10, 56, "Output",ExpressionUUID->"d6fdc4e7-f65f-478b-ac4d-e6d7cbc4c537"],
Cell[85190, 2692, 188, 5, 54, "Output",ExpressionUUID->"809b1614-41fa-48bd-94e4-3857f9ab32d3"],
Cell[85381, 2699, 111, 2, 35, "Output",ExpressionUUID->"324b2795-3c6a-4d95-a49b-26198bb96349"],
Cell[85495, 2703, 683, 20, 77, "Output",ExpressionUUID->"36756eb0-944d-4c65-834f-6c24eb3338a2"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[86227, 2729, 90, 0, 45, "Subsubsection",ExpressionUUID->"caa83f88-66af-48d7-8373-66d4acaf416c"],
Cell[CellGroupData[{
Cell[86342, 2733, 136, 3, 31, "Input",ExpressionUUID->"a3035696-39f8-4a37-9f90-23f331ee3d6f"],
Cell[86481, 2738, 517, 8, 71, "Print",ExpressionUUID->"72d39bca-7a66-4d1a-a02a-ca4508985b07",
 CellTags->"Info1343803201751-3324212"]
}, Open  ]],
Cell[CellGroupData[{
Cell[87035, 2751, 899, 29, 78, "Input",ExpressionUUID->"cc5a3164-c6a4-43e8-95a2-e9bcb8f0820e"],
Cell[87937, 2782, 516, 17, 54, "Output",ExpressionUUID->"cb1d4a1a-6d0c-40c5-881a-65f21035e168"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[88514, 2806, 91, 0, 68, "Section",ExpressionUUID->"af19df6f-87fd-49a3-8839-0dc2ad76035e"],
Cell[88608, 2808, 586, 14, 71, "Input",ExpressionUUID->"93cb7e26-c097-46a6-bf06-c31db944729f",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[89219, 2826, 1724, 46, 78, "Input",ExpressionUUID->"c07c8f9d-67aa-402e-b122-903db6fa7dbf"],
Cell[CellGroupData[{
Cell[90968, 2876, 253, 8, 25, "Print",ExpressionUUID->"bae5d4b3-d417-412f-8da8-b5506c1dcef7"],
Cell[91224, 2886, 253, 8, 25, "Print",ExpressionUUID->"25a86970-d88f-4dbe-b0cc-3b39e06149e8"],
Cell[91480, 2896, 253, 8, 25, "Print",ExpressionUUID->"84a3b3be-5358-4d62-81fe-bd995f058583"],
Cell[91736, 2906, 253, 8, 25, "Print",ExpressionUUID->"bd33753e-767e-4566-8534-343fea9823f1"],
Cell[91992, 2916, 254, 8, 25, "Print",ExpressionUUID->"711a9ce4-595b-4b26-87bf-fcbaf7ce2fff"],
Cell[92249, 2926, 254, 8, 25, "Print",ExpressionUUID->"83b69038-3089-4f3d-b94b-e76f06bbe7f1"],
Cell[92506, 2936, 253, 8, 25, "Print",ExpressionUUID->"e464ec9b-f545-4caf-b838-1f32774c4e60"],
Cell[92762, 2946, 254, 8, 25, "Print",ExpressionUUID->"679dbc75-ab08-4ee0-8bd6-5aeb1c1f2fb5"],
Cell[93019, 2956, 253, 8, 25, "Print",ExpressionUUID->"443af3ed-c2ad-4996-ac19-282632f9b1ab"],
Cell[93275, 2966, 253, 8, 25, "Print",ExpressionUUID->"1e72ef81-ab26-49c0-a319-3e96ba3d70ff"],
Cell[93531, 2976, 253, 8, 25, "Print",ExpressionUUID->"472a0c1a-cbdb-476d-9c8e-ae5df191a061"],
Cell[93787, 2986, 253, 8, 25, "Print",ExpressionUUID->"29f56871-0651-4131-9a93-ef8545231ea4"],
Cell[94043, 2996, 253, 8, 25, "Print",ExpressionUUID->"337de397-0036-48f5-afb3-f98905e80051"],
Cell[94299, 3006, 253, 8, 25, "Print",ExpressionUUID->"d4bf2fd9-b72a-43c0-9588-dc2862162b0b"]
}, Open  ]]
}, Open  ]],
Cell[94579, 3018, 332, 8, 31, "Input",ExpressionUUID->"769d5bcf-d059-4993-8a15-78658d96a63f"],
Cell[CellGroupData[{
Cell[94936, 3030, 818, 23, 31, "Input",ExpressionUUID->"d57b6f1b-79c7-4fff-bc5f-828c13356a22"],
Cell[95757, 3055, 299, 9, 25, "Print",ExpressionUUID->"612096da-c5ba-418b-b528-2349a5420f8e"]
}, Open  ]],
Cell[CellGroupData[{
Cell[96093, 3069, 818, 23, 31, "Input",ExpressionUUID->"79fea266-1db2-4b12-b511-4ab6c9143014"],
Cell[96914, 3094, 299, 9, 25, "Print",ExpressionUUID->"33eea2db-286d-4699-bdad-2ddbdb5a9efd"]
}, Open  ]]
}, Open  ]]
}
]
*)