Zeno-test.nb

Notebook[{

Cell[CellGroupData[{
Cell["Load the package", "Chapter",
 CellChangeTimes->{{3.753259460746047*^9, 
  3.753259465055475*^9}},ExpressionUUID->"13aa9c79-f533-4a3e-82f8-\
65c1a29918a2"],

Cell[BoxData[
 RowBox[{
  RowBox[{"SetDirectory", "[", 
   RowBox[{"NotebookDirectory", "[", "]"}], "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.753255771779401*^9, 3.753255771779912*^9}},
 CellLabel->"In[2]:=",ExpressionUUID->"5032e214-de44-4a7b-8370-b8101b76cbf4"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Zeno", "Chapter",
 CellChangeTimes->{{3.75327744876873*^9, 
  3.753277449353818*^9}},ExpressionUUID->"ed42b982-ed95-4ac3-b68c-\
5032372586fc"],

Cell[CellGroupData[{

Cell["Load package", "Subchapter",
 CellChangeTimes->{{3.753280373466872*^9, 
  3.7532803759055*^9}},ExpressionUUID->"8edf0658-e463-4e5f-8965-1ba0b9ad70ed"],

Cell[BoxData[
 RowBox[{"Get", "[", "\"\<Zeno`\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.753277451212682*^9, 3.753277462824766*^9}},
 CellLabel->
  "In[44]:=",ExpressionUUID->"7c3ef0cb-300c-4ccc-b423-6c2433df46ba"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Head manipulation", "Subchapter",
 CellChangeTimes->{{3.753373803785708*^9, 3.753373807327175*^9}, {
  3.7533765472171392`*^9, 
  3.753376548266487*^9}},ExpressionUUID->"1cca6691-cc32-4032-ba81-\
e9024e504aa7"],

Cell[BoxData[
 RowBox[{"?", "zMergeHead"}]], "Input",
 CellChangeTimes->{{3.753440384173821*^9, 3.753440387901951*^9}, 
   3.754390363787137*^9},
 CellLabel->"In[3]:=",ExpressionUUID->"bd86b183-4739-4ac6-badb-f6a2da31150e"],

Cell[BoxData[
 RowBox[{"zMergeHead", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     UnderoverscriptBox["\[Sum]", 
      RowBox[{"i", "=", "l"}], "u"], 
     RowBox[{"a1", "[", "i", "]"}]}], "+", 
    RowBox[{
     UnderoverscriptBox["\[Sum]", 
      RowBox[{"i", "=", "l"}], "u"], 
     RowBox[{"a2", "[", "i", "]"}]}]}], ",", "Sum"}], "]"}]], "Input",
 CellChangeTimes->{{3.753440393274867*^9, 3.753440442801899*^9}, 
   3.754390367275464*^9},
 CellLabel->"In[4]:=",ExpressionUUID->"a980842a-cc97-4cc0-a0c2-5699a399a503"],

Cell[BoxData[
 RowBox[{"zMergeHead", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     UnderoverscriptBox["\[Sum]", 
      RowBox[{"i", "=", "l"}], "u"], 
     RowBox[{"a1", "[", "i", "]"}]}], "+", 
    TemplateBox[{RowBox[{"a2", "[", "i", "]"}],"i","l","u"},
     "InactiveSum",
     DisplayFunction->(RowBox[{
        UnderoverscriptBox[
         StyleBox["\[Sum]", "Inactive"], 
         RowBox[{#2, "=", #3}], #4], #}]& ),
     InterpretationFunction->(RowBox[{
        RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
        RowBox[{#, ",", 
          RowBox[{"{", 
            RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )]}], ",", 
   "Sum"}], "]"}]], "Input",
 CellChangeTimes->{{3.753440454034971*^9, 3.753440467787429*^9}, 
   3.7543903693533297`*^9},
 CellLabel->"In[5]:=",ExpressionUUID->"742847ae-a03b-4f12-ae44-7e580a81bc95"],

Cell[BoxData[
 RowBox[{"?", "zTruncateHead"}]], "Input",
 CellChangeTimes->{{3.753439930337285*^9, 3.753439934145076*^9}, 
   3.754390372114813*^9},
 CellLabel->"In[6]:=",ExpressionUUID->"96f79902-72fd-4761-b334-70292355269c"],

Cell[BoxData[
 RowBox[{"zTruncateHead", "[", 
  RowBox[{
   TemplateBox[{RowBox[{"f", "[", "i", "]"}],"i","1","\[Infinity]"},
    "InactiveSum",
    DisplayFunction->(RowBox[{
       UnderoverscriptBox[
        StyleBox["\[Sum]", "Inactive"], 
        RowBox[{#2, "=", #3}], #4], #}]& ),
    InterpretationFunction->(RowBox[{
       RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
       RowBox[{#, ",", 
         RowBox[{"{", 
           RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], ",", "Sum", 
   ",", "upper"}], "]"}]], "Input",
 CellChangeTimes->{{3.753439953750513*^9, 3.753439988454876*^9}, 
   3.754390375711073*^9},
 CellLabel->"In[7]:=",ExpressionUUID->"5db8f3ce-c685-4d41-aeac-6a96e25bb03a"],

Cell[BoxData[
 RowBox[{"?", "zShiftHead"}]], "Input",
 CellChangeTimes->{{3.7534359160086203`*^9, 3.753435922967539*^9}, 
   3.754390385748263*^9},
 CellLabel->"In[8]:=",ExpressionUUID->"668452aa-6fd2-4433-82b0-3d5a2a3f2527"],

Cell[BoxData[
 RowBox[{"zShiftHead", "[", 
  RowBox[{
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "1"}], "\[Infinity]"], 
    RowBox[{"f", "[", "i", "]"}]}], ",", "Sum", ",", "1"}], "]"}]], "Input",
 CellChangeTimes->{{3.7534359340024557`*^9, 3.753435965903658*^9}, 
   3.754390388051598*^9},
 CellLabel->"In[9]:=",ExpressionUUID->"ab422c91-f448-4b11-aaee-7e9ffdc4c8c5"],

Cell[BoxData[
 RowBox[{"zShiftHead", "[", 
  RowBox[{
   RowBox[{"Sum", "[", 
    RowBox[{
     RowBox[{"f", "[", "i", "]"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "m", ",", "0", ",", 
       RowBox[{"-", "1"}]}], "}"}]}], "]"}], ",", "Sum", ",", 
   RowBox[{"-", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.75343613248186*^9, 3.753436159926317*^9}, 
   3.754390391620665*^9},
 CellLabel->"In[10]:=",ExpressionUUID->"ab971aeb-0453-453c-befb-94e5c52642f8"],

Cell[BoxData[
 RowBox[{"?", "zExpandHead"}]], "Input",
 CellChangeTimes->{{3.753372094957385*^9, 3.753372103597039*^9}, 
   3.754390395595295*^9},
 CellLabel->"In[11]:=",ExpressionUUID->"f1b58fc6-ab8a-4e81-adb3-feadcb767a18"],

Cell[BoxData[
 RowBox[{"zExpandHead", "[", 
  RowBox[{
   RowBox[{
    SuperscriptBox["x", 
     RowBox[{"h", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", "b"}], ")"}], "c"}], ",", 
       RowBox[{"d", "*", 
        RowBox[{"(", 
         RowBox[{"e", "+", "a"}], ")"}]}]}], "]"}]], "+", 
    RowBox[{"g", "[", 
     RowBox[{"h", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", "b"}], ")"}], "c"}], ",", "d", ",", "e"}], "]"}], 
     "]"}]}], ",", " ", "h"}], "]"}]], "Input",
 CellChangeTimes->{{3.753372112566824*^9, 3.7533721644810133`*^9}, {
   3.7533722436377363`*^9, 3.753372262006419*^9}, 3.754390397407054*^9},
 CellLabel->"In[12]:=",ExpressionUUID->"b155eea4-3b15-4108-b3cd-407ecac9fc24"],

Cell[BoxData[
 RowBox[{"zExpandHead", "[", 
  RowBox[{
   RowBox[{
    SuperscriptBox["x", 
     RowBox[{"h", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", "b"}], ")"}], " ", "c"}], ",", 
       RowBox[{"d", " ", 
        RowBox[{"(", 
         RowBox[{"e", "+", "a"}], ")"}]}]}], "]"}]], "+", 
    RowBox[{"g", "[", 
     RowBox[{
      TemplateBox[{"h"},
       "InactiveHead",
       BaseStyle->"Inactive",
       SyntaxForm->"Symbol",
       Tooltip->"Inactive[h]"], "[", 
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"a", "+", "b"}], ")"}], " ", "c"}], ",", "d", ",", "e"}], 
      "]"}], "]"}]}], ",", "h"}], "]"}]], "Input",
 CellChangeTimes->{{3.753435073530464*^9, 3.7534350863671627`*^9}, 
   3.754390399725459*^9},
 CellLabel->"In[13]:=",ExpressionUUID->"bf73c753-0cce-4d31-a40d-cd499f39e82e"],

Cell[BoxData[
 RowBox[{"?", "zSplitHead"}]], "Input",
 CellChangeTimes->{{3.753373489314721*^9, 3.75337349211767*^9}, 
   3.754390403851318*^9},
 CellLabel->"In[14]:=",ExpressionUUID->"7c93d12f-0f22-4efc-ba8e-122cc38cf2dd"],

Cell[BoxData[
 RowBox[{"zSplitHead", "[", 
  RowBox[{
   RowBox[{"c", "+", 
    RowBox[{"f", "[", 
     RowBox[{
      TemplateBox[{"g"},
       "InactiveHead",
       BaseStyle->"Inactive",
       SyntaxForm->"Symbol",
       Tooltip->"Inactive[g]"], "[", 
      RowBox[{"a", "+", "b"}], "]"}], "]"}]}], ",", "g"}], "]"}]], "Input",
 CellChangeTimes->{{3.75343907386483*^9, 3.753439101942668*^9}, 
   3.754390405622098*^9},
 CellLabel->"In[15]:=",ExpressionUUID->"9127da89-c5bd-4ee0-892a-4bf45514af7d"],

Cell[BoxData[
 RowBox[{"zSplitHead", "[", 
  RowBox[{
   RowBox[{"c", "+", 
    RowBox[{"f", "[", 
     RowBox[{"g", "[", 
      RowBox[{"a", "+", "b"}], "]"}], "]"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"g", ",", "f"}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753372503884904*^9, 3.753372520211986*^9}, {
   3.753372593484429*^9, 3.753372600909588*^9}, 3.754390407189103*^9},
 CellLabel->"In[16]:=",ExpressionUUID->"4d412495-55cd-4352-a26e-af97d4c44bac"],

Cell[BoxData[
 RowBox[{"?", "zSwitchHead"}]], "Input",
 CellChangeTimes->{{3.7533734961536922`*^9, 3.753373500948855*^9}, 
   3.754390409212738*^9},
 CellLabel->"In[17]:=",ExpressionUUID->"290f912c-51c3-407e-88e6-061a1f9c698e"],

Cell[BoxData[
 RowBox[{"zSwitchHead", "[", 
  RowBox[{
   TemplateBox[{RowBox[{"(", 
       TemplateBox[{
         RowBox[{"f", "[", "i", "]"}], "i", "0", "\[Infinity]"}, 
        "InactiveSum", DisplayFunction -> (RowBox[{
           UnderoverscriptBox[
            StyleBox["\[Sum]", "Inactive"], 
            RowBox[{#2, "=", #3}], #4], #}]& ), 
        InterpretationFunction -> (RowBox[{
           RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
           RowBox[{#, ",", 
             RowBox[{"{", 
               RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& ), SyntaxForm -> 
        Sum], ")"}],"x","0","\[Infinity]"},
    "InactiveIntegrate",
    DisplayFunction->(RowBox[{
       SubsuperscriptBox[
        StyleBox["\[Integral]", "Inactive"], #3, #4], 
       RowBox[{#, 
         RowBox[{
           StyleBox["\[DifferentialD]", "Inactive"], #2}]}]}]& ),
    InterpretationFunction->(RowBox[{
       RowBox[{"Inactive", "[", "Integrate", "]"}], "[", 
       RowBox[{#, ",", 
         RowBox[{"{", 
           RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], ",", 
   "Integrate", ",", "Sum"}], "]"}]], "Input",
 CellChangeTimes->{{3.7533745123621893`*^9, 3.7533745331650543`*^9}, 
   3.7533747661554623`*^9, {3.7534384532965107`*^9, 3.753438464515771*^9}, 
   3.754390411973371*^9},
 CellLabel->"In[18]:=",ExpressionUUID->"0c15a734-e51f-4b34-a12c-d55d89ebc911"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zSwitchHead", "[", 
   RowBox[{
    RowBox[{"h1", "[", 
     RowBox[{
      RowBox[{"h2", "[", 
       RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], ",", "h1", ",", 
    "h2"}], "]"}], " "}]], "Input",
 CellChangeTimes->{{3.753373504182778*^9, 3.753373589283587*^9}, {
   3.753373746675334*^9, 3.753373764237661*^9}, 3.7533738666502743`*^9, 
   3.753373896925437*^9, {3.753373935514016*^9, 3.753373949149314*^9}, 
   3.754390414963746*^9},
 CellLabel->"In[19]:=",ExpressionUUID->"47e8fc1d-1e42-440b-8b73-7173ec512457"],

Cell[BoxData["iInt"], "Input",
 CellChangeTimes->{{3.753373819725997*^9, 3.7533738205090113`*^9}},
 CellLabel->"In[21]:=",ExpressionUUID->"9237a613-6d33-4461-82b1-b726844108d2"],

Cell[BoxData["iSum"], "Input",
 CellChangeTimes->{{3.753373822578845*^9, 3.753373823948763*^9}},
 CellLabel->"In[22]:=",ExpressionUUID->"e0ea565a-eeb3-4f60-ae2d-897f6ecbb1b8"],

Cell[BoxData[
 RowBox[{"?", "zSplitIndex"}]], "Input",
 CellChangeTimes->{{3.75343385273209*^9, 3.753433861060207*^9}, 
   3.754390437203129*^9},
 CellLabel->"In[23]:=",ExpressionUUID->"8fe290b5-bff9-4daf-8638-eeb393c5294f"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"Inactive", "[", "Product", "]"}], "[", 
   RowBox[{
    RowBox[{"f", "[", "i", "]"}], ",", 
    RowBox[{"{", 
     RowBox[{"i", ",", "low", ",", "up"}], "}"}]}], "]"}], "//", 
  RowBox[{
   RowBox[{"zSplitIndex", "[", 
    RowBox[{"#", ",", " ", "Product", ",", "s", ",", " ", "Times"}], "]"}], 
   "&"}]}]], "Input",
 CellChangeTimes->{{3.753433876907729*^9, 3.753433939701653*^9}, {
   3.753434177450325*^9, 3.7534341818487062`*^9}, 3.754390443634973*^9},
 CellLabel->
  "In[24]:=",ExpressionUUID->"e29a7fec-ba20-486a-8082-f614d44f2b12"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Summation Manipulation", "Subchapter",
 CellChangeTimes->{{3.753435204246253*^9, 
  3.753435214138384*^9}},ExpressionUUID->"9f76065c-3f9d-4c15-b79c-\
2598b7379115"],

Cell[BoxData[
 RowBox[{"?", "zMergeSum"}]], "Input",
 CellChangeTimes->{{3.753440384173821*^9, 3.753440387901951*^9}, {
   3.7534405131300983`*^9, 3.7534405135017633`*^9}, 3.754390447322591*^9},
 CellLabel->"In[25]:=",ExpressionUUID->"05187f06-6d75-4079-882a-140e4ad145b0"],

Cell[BoxData[
 RowBox[{"zMergeSum", "[", 
  RowBox[{
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "l"}], "u"], 
    RowBox[{"a1", "[", "i", "]"}]}], "+", 
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "l"}], "u"], 
    RowBox[{"a2", "[", "i", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753440393274867*^9, 3.753440442801899*^9}, {
   3.7534405179536953`*^9, 3.753440521935712*^9}, 3.754390449469883*^9},
 CellLabel->"In[26]:=",ExpressionUUID->"093f4d76-acf2-4283-b1c3-8ac24d3e29f5"],

Cell[BoxData[
 RowBox[{"zMergeHead", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     UnderoverscriptBox["\[Sum]", 
      RowBox[{"i", "=", "l"}], "u"], 
     RowBox[{"a1", "[", "i", "]"}]}], "+", 
    TemplateBox[{RowBox[{"a2", "[", "i", "]"}],"i","l","u"},
     "InactiveSum",
     DisplayFunction->(RowBox[{
        UnderoverscriptBox[
         StyleBox["\[Sum]", "Inactive"], 
         RowBox[{#2, "=", #3}], #4], #}]& ),
     InterpretationFunction->(RowBox[{
        RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
        RowBox[{#, ",", 
          RowBox[{"{", 
            RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )]}], ",", 
   "Sum"}], "]"}]], "Input",
 CellChangeTimes->{{3.753440454034971*^9, 3.753440467787429*^9}, 
   3.7543904519319*^9},
 CellLabel->"In[27]:=",ExpressionUUID->"9e1b697c-c18d-4da1-abe9-702996895d4c"],

Cell[BoxData[
 RowBox[{"?", "zTruncateSum"}]], "Input",
 CellChangeTimes->{{3.753439930337285*^9, 3.753439934145076*^9}, {
   3.7534400721080723`*^9, 3.753440072481637*^9}, 3.7543904549692802`*^9},
 CellLabel->"In[28]:=",ExpressionUUID->"1a359b78-ae0f-43d2-a2e5-fd0415cb560b"],

Cell[BoxData[
 RowBox[{"zTruncateSum", "[", 
  RowBox[{
   TemplateBox[{RowBox[{"f", "[", "i", "]"}],"i","1","\[Infinity]"},
    "InactiveSum",
    DisplayFunction->(RowBox[{
       UnderoverscriptBox[
        StyleBox["\[Sum]", "Inactive"], 
        RowBox[{#2, "=", #3}], #4], #}]& ),
    InterpretationFunction->(RowBox[{
       RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
       RowBox[{#, ",", 
         RowBox[{"{", 
           RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], ",", "upper"}],
   "]"}]], "Input",
 CellChangeTimes->{{3.753439953750513*^9, 3.753439988454876*^9}, {
   3.7534400766438713`*^9, 3.7534400827480583`*^9}, 3.754390457549943*^9},
 CellLabel->"In[29]:=",ExpressionUUID->"dde1f78e-17b9-47ec-8512-664cda137dcd"],

Cell[BoxData[
 RowBox[{"?", "zSplitSum"}]], "Input",
 CellChangeTimes->{{3.753439189815036*^9, 3.753439191874156*^9}, 
   3.754390460064608*^9},
 CellLabel->"In[30]:=",ExpressionUUID->"9a23708b-1301-477c-a379-6ac22e2d1bab"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"Sum", "[", 
    RowBox[{
     RowBox[{"d", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"a", "[", 
         RowBox[{"i", ",", "j"}], "]"}], "+", 
        RowBox[{"b", "[", 
         RowBox[{"i", ",", "j"}], "]"}]}], ")"}]}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "l", ",", "u"}], "}"}]}], "]"}], "//", "zExpandSum"}],
   "//", "zSplitSum"}]], "Input",
 CellChangeTimes->{{3.753439202274652*^9, 3.753439319951664*^9}, {
  3.753439675443964*^9, 3.7534396846298847`*^9}, {3.754390464777978*^9, 
  3.754390466279785*^9}},
 CellLabel->"In[31]:=",ExpressionUUID->"dc0fcffb-8234-4d12-ab54-b3c849c732c3"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   UnderoverscriptBox["\[Sum]", 
    RowBox[{"i", "=", "l"}], "u"], 
   RowBox[{"d", " ", 
    RowBox[{"b", "[", 
     RowBox[{"i", ",", "j"}], "]"}]}]}], "//", "zSplitSum"}]], "Input",
 CellChangeTimes->{{3.753439349921177*^9, 3.753439384659872*^9}, {
   3.753439591913669*^9, 3.7534395929583073`*^9}, 3.753439644922353*^9, {
   3.753439692529848*^9, 3.753439693325697*^9}, 3.7543904718816233`*^9},
 CellLabel->"In[32]:=",ExpressionUUID->"1c09c5ae-e7ee-402d-b542-1db7c4fd89c6"],

Cell[BoxData[
 RowBox[{"?", "zSwitchIntSum"}]], "Input",
 CellChangeTimes->{{3.75343864112018*^9, 3.753438647980282*^9}, 
   3.754390474208769*^9},
 CellLabel->"In[33]:=",ExpressionUUID->"f1091052-c174-44d2-8f0e-4d6a1f24ad96"],

Cell[BoxData[
 RowBox[{"zSwitchIntSum", "[", 
  TemplateBox[{RowBox[{"(", 
      TemplateBox[{
        RowBox[{"f", "[", "i", "]"}], "i", "0", "\[Infinity]"}, "InactiveSum",
        DisplayFunction -> (RowBox[{
          UnderoverscriptBox[
           StyleBox["\[Sum]", "Inactive"], 
           RowBox[{#2, "=", #3}], #4], #}]& ), 
       InterpretationFunction -> (RowBox[{
          RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
          RowBox[{#, ",", 
            RowBox[{"{", 
              RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& ), SyntaxForm -> 
       Sum], ")"}],"x","0","\[Infinity]"},
   "InactiveIntegrate",
   DisplayFunction->(RowBox[{
      SubsuperscriptBox[
       StyleBox["\[Integral]", "Inactive"], #3, #4], 
      RowBox[{#, 
        RowBox[{
          StyleBox["\[DifferentialD]", "Inactive"], #2}]}]}]& ),
   InterpretationFunction->(RowBox[{
      RowBox[{"Inactive", "[", "Integrate", "]"}], "[", 
      RowBox[{#, ",", 
        RowBox[{"{", 
          RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], "]"}]], "Input",
 
 CellChangeTimes->{{3.7534386578771753`*^9, 3.7534386650726433`*^9}, 
   3.754390475852303*^9},
 CellLabel->"In[34]:=",ExpressionUUID->"6b70ae8b-3c6f-493d-ae08-9ca7c676363f"],

Cell[BoxData[
 RowBox[{"?", "zSwitchSumInt"}]], "Input",
 CellChangeTimes->{{3.7534387578310003`*^9, 3.753438758897747*^9}, 
   3.7543904778794403`*^9},
 CellLabel->"In[35]:=",ExpressionUUID->"db48ccd9-c01d-4088-a1c6-96a19fd60585"],

Cell[BoxData[
 RowBox[{"zSwitchSumInt", "[", 
  TemplateBox[{TemplateBox[{
      RowBox[{"f", "[", "i", "]"}], "x", "0", "\[Infinity]"}, 
     "InactiveIntegrate", DisplayFunction -> (RowBox[{
        SubsuperscriptBox[
         StyleBox["\[Integral]", "Inactive"], #3, #4], 
        RowBox[{#, 
          RowBox[{
            StyleBox["\[DifferentialD]", "Inactive"], #2}]}]}]& ), 
     InterpretationFunction -> (RowBox[{
        RowBox[{"Inactive", "[", "Integrate", "]"}], "[", 
        RowBox[{#, ",", 
          RowBox[{"{", 
            RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )],"i","0",
    "\[Infinity]"},
   "InactiveSum",
   DisplayFunction->(RowBox[{
      UnderoverscriptBox[
       StyleBox["\[Sum]", "Inactive"], 
       RowBox[{#2, "=", #3}], #4], #}]& ),
   InterpretationFunction->(RowBox[{
      RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
      RowBox[{#, ",", 
        RowBox[{"{", 
          RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], "]"}]], "Input",
 
 CellChangeTimes->{{3.753438744896781*^9, 3.7534387496537113`*^9}, 
   3.75439047968463*^9},
 CellLabel->"In[36]:=",ExpressionUUID->"963d7c4c-b005-4725-8bba-dcf5d294a425"],

Cell[BoxData[
 RowBox[{"?", "zPrependSum"}]], "Input",
 CellChangeTimes->{{3.753436658708229*^9, 3.753436662645756*^9}, 
   3.754390483440776*^9},
 CellLabel->"In[37]:=",ExpressionUUID->"2c26f116-31e4-4dc7-a3f5-828ae3a337d7"],

Cell[BoxData[
 RowBox[{"zPrependSum", "[", 
  RowBox[{
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "1"}], "\[Infinity]"], 
    RowBox[{"f", "[", "i", "]"}]}], ",", "3"}], "]"}]], "Input",
 CellChangeTimes->{{3.753436696279098*^9, 3.753436700272334*^9}, 
   3.754390485440508*^9},
 CellLabel->"In[38]:=",ExpressionUUID->"5e968497-3399-423f-9330-ebb93cff3506"],

Cell[BoxData[
 RowBox[{"zPrependSum", "[", 
  RowBox[{
   TemplateBox[{RowBox[{"f", "[", "i", "]"}],"i","1","\[Infinity]"},
    "InactiveSum",
    DisplayFunction->(RowBox[{
       UnderoverscriptBox[
        StyleBox["\[Sum]", "Inactive"], 
        RowBox[{#2, "=", #3}], #4], #}]& ),
    InterpretationFunction->(RowBox[{
       RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
       RowBox[{#, ",", 
         RowBox[{"{", 
           RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], ",", "s"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.7534368921050167`*^9, 3.75343690370706*^9}, {
   3.753437271217779*^9, 3.75343732973213*^9}, 3.7543904886095448`*^9},
 CellLabel->"In[39]:=",ExpressionUUID->"9b0ad6d4-36fb-4b89-86b9-597d01af3835"],

Cell[BoxData[
 RowBox[{"?", "zSplitSumIndex"}]], "Input",
 CellChangeTimes->{{3.753437393215687*^9, 3.753437400310855*^9}, 
   3.754390490670533*^9, 3.754390528399431*^9},
 CellLabel->"In[45]:=",ExpressionUUID->"e288d900-6e39-40f4-b0af-a35f4826041b"],

Cell[BoxData[
 RowBox[{"zSplitSumIndex", "[", 
  RowBox[{
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "1"}], "\[Infinity]"], 
    RowBox[{"f", "[", "i", "]"}]}], ",", "s"}], "]"}]], "Input",
 CellChangeTimes->{{3.753437335720605*^9, 3.753437343607498*^9}, {
   3.7534374082388363`*^9, 3.753437427170974*^9}, 3.7543905615395327`*^9},
 CellLabel->"In[46]:=",ExpressionUUID->"0fef2e48-c085-4535-966b-bdaa3a1ced52"],

Cell[BoxData[
 RowBox[{"zSplitSumIndex", "[", 
  RowBox[{
   RowBox[{
    TemplateBox[{"Sum"},
     "InactiveHead",
     BaseStyle->"Inactive",
     SyntaxForm->"Symbol",
     Tooltip->"Inactive[Sum]"], "[", 
    RowBox[{
     RowBox[{"f", "[", "i", "]"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "\[Infinity]", ",", "0", ",", 
       RowBox[{"-", "1"}]}], "}"}]}], "]"}], ",", 
   RowBox[{
    RowBox[{"-", "s"}], "-", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753437437587529*^9, 3.753437492208666*^9}, {
   3.753437528157269*^9, 3.753437587504517*^9}, {3.753437660091511*^9, 
   3.7534376857696257`*^9}, 3.754390563093729*^9},
 CellLabel->"In[47]:=",ExpressionUUID->"7a86d828-83a6-47bd-a0f5-5e4fd802ea07"],

Cell[BoxData[
 RowBox[{"?", "zShiftSum"}]], "Input",
 CellChangeTimes->{{3.7534359160086203`*^9, 3.753435922967539*^9}, {
   3.753436219116173*^9, 3.753436219513825*^9}, 3.754390565053327*^9},
 CellLabel->"In[48]:=",ExpressionUUID->"04ad3e39-cab6-4ee5-b7de-663ae5ff4fba"],

Cell[BoxData[
 RowBox[{"zShiftSum", "[", 
  RowBox[{
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "1"}], "\[Infinity]"], 
    RowBox[{"f", "[", "i", "]"}]}], ",", "1"}], "]"}]], "Input",
 CellChangeTimes->{{3.7534359340024557`*^9, 3.753435965903658*^9}, {
   3.7534362222187967`*^9, 3.753436235185813*^9}, 3.7543905669983253`*^9},
 CellLabel->"In[49]:=",ExpressionUUID->"f8662579-bd7f-4a19-af16-c06616ce01bd"],

Cell[BoxData[
 RowBox[{"zShiftSum", "[", 
  RowBox[{
   RowBox[{"Sum", "[", 
    RowBox[{
     RowBox[{"f", "[", "i", "]"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "m", ",", "0", ",", 
       RowBox[{"-", "1"}]}], "}"}]}], "]"}], ",", 
   RowBox[{"-", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.75343613248186*^9, 3.753436159926317*^9}, {
   3.753436245436749*^9, 3.753436252026565*^9}, 3.754390573378891*^9},
 CellLabel->"In[50]:=",ExpressionUUID->"86452b45-1724-45ff-ba6d-d4e0e94263e2"],

Cell[BoxData[
 RowBox[{"?", "zExpandSum"}]], "Input",
 CellChangeTimes->{{3.7534354028040323`*^9, 3.75343540673975*^9}, 
   3.75439057531491*^9},
 CellLabel->"In[51]:=",ExpressionUUID->"5188ad71-d771-4acd-bd15-7f9e320f6630"],

Cell[BoxData[
 RowBox[{"zExpandSum", "[", 
  TemplateBox[{RowBox[{
      RowBox[{"(", 
        RowBox[{"a", "+", "b"}], ")"}], " ", 
      RowBox[{"c", "[", "i", "]"}]}],"i","1","10"},
   "InactiveSum",
   DisplayFunction->(RowBox[{
      UnderoverscriptBox[
       StyleBox["\[Sum]", "Inactive"], 
       RowBox[{#2, "=", #3}], #4], #}]& ),
   InterpretationFunction->(RowBox[{
      RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
      RowBox[{#, ",", 
        RowBox[{"{", 
          RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], "]"}]], "Input",
 
 CellChangeTimes->{{3.753435432360194*^9, 3.753435484407213*^9}, 
   3.75439057694176*^9},
 CellLabel->
  "In[52]:=",ExpressionUUID->"aaef5925-fa90-4c09-98ee-1efa6df5d830"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Assumptions", "Subchapter",
 CellChangeTimes->{{3.753370643886847*^9, 
  3.753370645495179*^9}},ExpressionUUID->"3505a3d4-02da-4cb1-aede-\
67ecc0b703e5"],

Cell[BoxData[
 RowBox[{"?", "zMyAssumptions"}]], "Input",
 CellChangeTimes->{{3.753370405424795*^9, 3.753370409415011*^9}, 
   3.7543905845621967`*^9},
 CellLabel->"In[54]:=",ExpressionUUID->"d1b998ef-b620-4a50-adf1-6ad931cc7c19"],

Cell[BoxData["zMyAssumptions"], "Input",
 CellChangeTimes->{{3.753277574019081*^9, 3.753277577492979*^9}, 
   3.754390585979855*^9},
 CellLabel->"In[55]:=",ExpressionUUID->"b4ae2e15-6243-411b-8536-6c4e71da973c"],

Cell[BoxData[
 RowBox[{"?", "zConst0"}]], "Input",
 CellChangeTimes->{{3.7533704834845*^9, 3.753370487811054*^9}, 
   3.754390590001752*^9},
 CellLabel->"In[56]:=",ExpressionUUID->"4d9e600e-d62b-4486-8f2f-0c39040bcc7d"],

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{"zConst0", ">", "0"}], "]"}]], "Input",
 CellChangeTimes->{{3.753370492908852*^9, 3.753370496422867*^9}, 
   3.754390593714134*^9},
 CellLabel->
  "In[57]:=",ExpressionUUID->"5603ce82-426c-4eba-940d-f4a8d82d157a"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Big O notation", "Subchapter",
 CellChangeTimes->{{3.75327760910686*^9, 
  3.7532776121747828`*^9}},ExpressionUUID->"59b0ba6e-02bb-4b3d-b2c9-\
1781c625aef3"],

Cell[BoxData[
 RowBox[{"?", "zO"}]], "Input",
 CellChangeTimes->{{3.753370473134137*^9, 3.753370474255082*^9}, {
  3.754390597826228*^9, 3.754390598614686*^9}},
 CellLabel->"In[62]:=",ExpressionUUID->"24fec5a6-a71a-404d-9d33-c0fd4c71b28e"],

Cell[BoxData[
 RowBox[{"Map", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"zPow2O", "[", 
     RowBox[{"#", ",", "m", ",", "2"}], "]"}], "&"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"b", "*", 
      RowBox[{"m", "^", "3"}]}], ",", 
     RowBox[{"b", "*", 
      RowBox[{"m", "^", "2"}]}], ",", 
     RowBox[{"b", "*", "m"}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532776417320538`*^9, 3.7532776516778297`*^9}, {
  3.753278383798428*^9, 3.753278421710793*^9}, {3.753278712932447*^9, 
  3.7532787165552893`*^9}, {3.75439060743357*^9, 3.75439061174326*^9}},
 CellLabel->"In[63]:=",ExpressionUUID->"7ac9baf7-df30-4bd1-a0e6-bd5365ddce21"],

Cell[BoxData[
 RowBox[{"Map", "[", 
  RowBox[{"zO2Zero", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"a", "+", 
      RowBox[{"BigO", "[", 
       RowBox[{"b", "*", 
        RowBox[{"m", "^", "3"}]}], "]"}]}], ",", 
     RowBox[{"b", "*", 
      RowBox[{"m", "^", "2"}]}], ",", 
     RowBox[{"a", "*", 
      RowBox[{"BigO", "[", 
       RowBox[{"b", "*", "m"}], "]"}]}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753278868837261*^9, 3.753278899272491*^9}, {
  3.7543906205592337`*^9, 3.754390645949892*^9}},
 CellLabel->"In[64]:=",ExpressionUUID->"ea1f5c00-6fc9-4db7-adca-63753e200dbd"],

Cell[BoxData[
 RowBox[{"Map", "[", 
  RowBox[{"zExpandO", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"a", "+", 
      RowBox[{"zO", "[", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"c", "+", "b"}], ")"}], "*", 
        RowBox[{"m", "^", "3"}]}], "]"}]}], ",", 
     RowBox[{
      RowBox[{"a", "*", 
       RowBox[{"zO", "[", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"c", "+", "b"}], ")"}], "*", 
         RowBox[{"m", "^", "3"}]}], "]"}]}], "+", 
      RowBox[{"f", "[", 
       RowBox[{"zO", "[", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"c", "+", "b"}], ")"}], "*", 
         RowBox[{"m", "^", "3"}]}], "]"}], "]"}]}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753279283692325*^9, 3.7532793336388397`*^9}, {
  3.754390640081506*^9, 3.754390640083878*^9}, {3.754390683172357*^9, 
  3.754390697859531*^9}},
 CellLabel->"In[65]:=",ExpressionUUID->"6c59bbc9-8a0d-4e29-982e-65163ffc1086"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zO", "[", "x", "]"}], "+", 
  RowBox[{"zO", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.753279582894762*^9, 3.7532795896544247`*^9}, {
  3.754390640094434*^9, 3.7543906400950623`*^9}, {3.754390683182343*^9, 
  3.754390683183494*^9}},
 CellLabel->"In[66]:=",ExpressionUUID->"b9320484-beaa-4c62-a56c-63f730003797"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zO", "[", "x", "]"}], "-", 
  RowBox[{"zO", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.753279594547594*^9, 3.753279601293302*^9}, {
  3.754390640102386*^9, 3.754390640102902*^9}, {3.754390683186482*^9, 
  3.754390683187284*^9}},
 CellLabel->"In[67]:=",ExpressionUUID->"af419c5b-3f40-40c1-95aa-39d953f86a24"],

Cell[BoxData[
 RowBox[{"x", "*", 
  RowBox[{"zO", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.7532796078974257`*^9, 3.753279620709866*^9}, 
   3.7543906401105747`*^9, 3.7543906831898613`*^9},
 CellLabel->"In[68]:=",ExpressionUUID->"b421d4b1-9c7d-4d77-9614-34f4742d0412"],

Cell[BoxData[
 RowBox[{"zO", "[", 
  RowBox[{"x", "+", 
   RowBox[{"smallo", "[", "y", "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532796298637333`*^9, 3.7532796340792828`*^9}, 
   3.75439064011744*^9, 3.7543906831922626`*^9},
 CellLabel->"In[69]:=",ExpressionUUID->"e10ad050-dfb1-4e09-b5a1-ac56a93f04d6"],

Cell[BoxData[
 RowBox[{"zO", "[", 
  RowBox[{"3", " ", "x"}], "]"}]], "Input",
 CellChangeTimes->{{3.753279641367058*^9, 3.7532796447963448`*^9}, 
   3.754390640124214*^9, 3.754390683194393*^9},
 CellLabel->"In[70]:=",ExpressionUUID->"b47089bd-f0a5-42c5-8958-5fd99b329bcd"],

Cell[BoxData[
 RowBox[{"zO", "[", "33", "]"}]], "Input",
 CellChangeTimes->{{3.753279650922736*^9, 3.7532796537414293`*^9}, 
   3.754390640130986*^9, 3.754390683196396*^9},
 CellLabel->"In[71]:=",ExpressionUUID->"eb3c08bf-e47b-4305-a4d2-116464168b89"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zO", "[", "x", "]"}], "+", 
  RowBox[{"zO", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.7543906401376543`*^9, 3.754390640138185*^9}, {
  3.754390683198126*^9, 3.754390683198677*^9}},
 CellLabel->"In[72]:=",ExpressionUUID->"b487cce5-f71e-4dd4-bb53-4a4a369db6d6"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zO", "[", "x", "]"}], "^", "p"}]], "Input",
 CellChangeTimes->{{3.753279713006031*^9, 3.753279716319729*^9}, 
   3.754390640145268*^9, 3.754390683200355*^9},
 CellLabel->"In[73]:=",ExpressionUUID->"31a6c222-de03-4320-95c8-e70d0b1bf375"],

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   RowBox[{"zO", "[", 
    RowBox[{"1", "/", "n"}], "]"}], ",", 
   RowBox[{"n", "\[Rule]", "Infinity"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532797242557497`*^9, 3.753279737179163*^9}, 
   3.754390640152216*^9, 3.754390683202059*^9},
 CellLabel->"In[74]:=",ExpressionUUID->"5d817422-ea97-48fc-ae87-3b6be9da4d67"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zO", "[", "x", "]"}], "//", "TraditionalForm"}]], "Input",
 CellChangeTimes->{{3.753280167436472*^9, 3.7532801757903423`*^9}, 
   3.754390640154952*^9, 3.754390683204359*^9},
 CellLabel->"In[75]:=",ExpressionUUID->"420207a1-858c-4c7b-8773-bad388270dc1"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zO", "[", "x", "]"}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.753280184111375*^9, 3.753280230478162*^9}, 
   3.753280680705077*^9, 3.754390640158022*^9, 3.754390683206998*^9},
 CellLabel->
  "In[76]:=",ExpressionUUID->"d6610d3b-1793-40d0-8e0d-aa6307d304e7"]
}, Open  ]],

Cell[CellGroupData[{

Cell["small o notation", "Subchapter",
 CellChangeTimes->{{3.75327760910686*^9, 3.7532776121747828`*^9}, {
   3.753280993933249*^9, 3.753280998132963*^9}, 
   3.754390719525721*^9},ExpressionUUID->"41c23081-b48d-4efe-805a-\
71c25c63af6f"],

Cell[BoxData[
 RowBox[{"?", "zo"}]], "Input",
 CellChangeTimes->{{3.753370507005756*^9, 3.753370511757011*^9}, {
  3.754390722308185*^9, 3.754390751855501*^9}},
 CellLabel->"In[77]:=",ExpressionUUID->"2ca7582b-db0b-4c39-9e1e-14f327b85d74"],

Cell[BoxData[
 RowBox[{"Map", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"zPow2o", "[", 
     RowBox[{"#", ",", "m", ",", "2"}], "]"}], "&"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"b", "*", 
      RowBox[{"m", "^", "3"}]}], ",", 
     RowBox[{"b", "*", 
      RowBox[{"m", "^", "2"}]}], ",", 
     RowBox[{"b", "*", "m"}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532776417320538`*^9, 3.7532776516778297`*^9}, {
   3.753278383798428*^9, 3.753278421710793*^9}, {3.753278712932447*^9, 
   3.7532787165552893`*^9}, 3.75328094578582*^9, {3.754390744823196*^9, 
   3.754390760480599*^9}},
 CellLabel->"In[78]:=",ExpressionUUID->"17464e65-38dc-4163-837a-cee7b2a0d99a"],

Cell[BoxData[
 RowBox[{"Map", "[", 
  RowBox[{"zo2Zero", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"a", "+", 
      RowBox[{"zo", "[", 
       RowBox[{"b", "*", 
        RowBox[{"m", "^", "3"}]}], "]"}]}], ",", 
     RowBox[{"b", "*", 
      RowBox[{"m", "^", "2"}]}], ",", 
     RowBox[{"a", "*", 
      RowBox[{"zo", "[", 
       RowBox[{"b", "*", "m"}], "]"}]}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753278868837261*^9, 3.753278899272491*^9}, {
   3.753280981382822*^9, 3.7532809813838263`*^9}, 3.754390640160684*^9, 
   3.754390683209076*^9, {3.75439074482539*^9, 3.754390768488393*^9}},
 CellLabel->"In[79]:=",ExpressionUUID->"b3f40e21-978f-4435-8a2c-4238ecc42f9e"],

Cell[BoxData[
 RowBox[{"Map", "[", 
  RowBox[{"zExpando", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"a", "+", 
      RowBox[{"zo", "[", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"c", "+", "b"}], ")"}], "*", 
        RowBox[{"m", "^", "3"}]}], "]"}]}], ",", 
     RowBox[{
      RowBox[{"a", "*", 
       RowBox[{"zo", "[", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"c", "+", "b"}], ")"}], "*", 
         RowBox[{"m", "^", "3"}]}], "]"}]}], "+", 
      RowBox[{"f", "[", 
       RowBox[{"zo", "[", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"c", "+", "b"}], ")"}], "*", 
         RowBox[{"m", "^", "3"}]}], "]"}], "]"}]}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753279283692325*^9, 3.7532793336388397`*^9}, {
  3.7532809813867397`*^9, 3.7532809813901577`*^9}, {3.754390744829239*^9, 
  3.754390776344686*^9}},
 CellLabel->"In[80]:=",ExpressionUUID->"2ee4f6b8-a0f9-4155-b19a-9a72170556ca"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zo", "[", "x", "]"}], "+", 
  RowBox[{"zo", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.753279582894762*^9, 3.7532795896544247`*^9}, {
  3.7532809813930492`*^9, 3.753280981393976*^9}, {3.754390744833885*^9, 
  3.754390744834482*^9}},
 CellLabel->"In[81]:=",ExpressionUUID->"c8607a45-b8e6-47a4-b694-81f10042b767"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zo", "[", "x", "]"}], "-", 
  RowBox[{"zo", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.753279594547594*^9, 3.753279601293302*^9}, {
  3.7532809813968687`*^9, 3.753280981397794*^9}, {3.754390744836246*^9, 
  3.7543907448368177`*^9}},
 CellLabel->"In[82]:=",ExpressionUUID->"e6316890-b4cf-44cb-9d4a-16cb8b639c9b"],

Cell[BoxData[
 RowBox[{"x", "*", 
  RowBox[{"zo", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.7532796078974257`*^9, 3.753279620709866*^9}, 
   3.753280981400687*^9, 3.754390744838551*^9},
 CellLabel->"In[83]:=",ExpressionUUID->"bb17d66d-c093-4461-98fd-6ecbb7d2b091"],

Cell[BoxData[
 RowBox[{"zo", "[", 
  RowBox[{"x", "+", 
   RowBox[{"zo", "[", "y", "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532796298637333`*^9, 3.7532796340792828`*^9}, 
   3.7532809814036417`*^9, {3.7543907448404408`*^9, 3.754390744841016*^9}},
 CellLabel->"In[84]:=",ExpressionUUID->"f2c076da-b6dc-499e-be91-d620e1311b58"],

Cell[BoxData[
 RowBox[{"zo", "[", 
  RowBox[{"3", " ", "x"}], "]"}]], "Input",
 CellChangeTimes->{{3.753279641367058*^9, 3.7532796447963448`*^9}, 
   3.753280981406569*^9, 3.7543907448426867`*^9},
 CellLabel->"In[85]:=",ExpressionUUID->"2f2be0bb-2d2c-49f8-9553-ac9775cacf12"],

Cell[BoxData[
 RowBox[{"zo", "[", "33", "]"}]], "Input",
 CellChangeTimes->{{3.753279650922736*^9, 3.7532796537414293`*^9}, 
   3.753280981409442*^9, 3.754390744844358*^9},
 CellLabel->"In[86]:=",ExpressionUUID->"9dbb82ed-c302-46d3-8eb0-49a1e446ec4c"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zo", "[", "x", "]"}], "+", 
  RowBox[{"zo", "[", "y", "]"}]}]], "Input",
 CellChangeTimes->{{3.753280981412341*^9, 3.753280981413302*^9}, {
  3.754390744846033*^9, 3.75439074484659*^9}},
 CellLabel->"In[87]:=",ExpressionUUID->"1f3b1e3b-d6ed-49b8-9d19-38b9aa227ab9"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zo", "[", "x", "]"}], "^", "p"}]], "Input",
 CellChangeTimes->{{3.753279713006031*^9, 3.753279716319729*^9}, 
   3.7532809814161987`*^9, 3.754390744848217*^9},
 CellLabel->"In[88]:=",ExpressionUUID->"53912213-66d9-40f5-bded-fb7af8619cce"],

Cell[BoxData[
 RowBox[{"Limit", "[", 
  RowBox[{
   RowBox[{"zo", "[", 
    RowBox[{"1", "/", "n"}], "]"}], ",", 
   RowBox[{"n", "\[Rule]", "Infinity"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532797242557497`*^9, 3.753279737179163*^9}, 
   3.7532809814189577`*^9, 3.7543907448498917`*^9},
 CellLabel->"In[89]:=",ExpressionUUID->"6e59609e-439a-435c-90ed-cabdd4a5e36e"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zo", "[", "x", "]"}], "//", "TraditionalForm"}]], "Input",
 CellChangeTimes->{{3.753280167436472*^9, 3.7532801757903423`*^9}, 
   3.753280981422359*^9, 3.754390744852222*^9},
 CellLabel->"In[90]:=",ExpressionUUID->"b0525d71-0b90-4249-8118-6326b4bbd95b"],

Cell[BoxData[
 RowBox[{
  RowBox[{"zo", "[", "x", "]"}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.753280184111375*^9, 3.753280230478162*^9}, 
   3.753280680705077*^9, 3.753280981425622*^9, 3.75439074485485*^9},
 CellLabel->
  "In[91]:=",ExpressionUUID->"0ecacdce-1544-46ed-b321-0f17cc6d067d"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Miscellany functions ", "Subchapter",
 CellChangeTimes->{{3.753371754950851*^9, 
  3.753371783085075*^9}},ExpressionUUID->"bfe8faa9-0bdb-4fe7-94a4-\
8bb639ea1999"],

Cell[BoxData[
 RowBox[{"?", "Ind"}]], "Input",
 CellChangeTimes->{{3.753371784224592*^9, 3.753371785029241*^9}},
 CellLabel->"In[92]:=",ExpressionUUID->"02f33ec3-57c3-4a42-8a62-fad4786aca7d"],

Cell[BoxData[
 RowBox[{"Ind", "[", 
  RowBox[{"33", ">", "3"}], "]"}]], "Input",
 CellChangeTimes->{{3.7533718138013363`*^9, 3.75337182054064*^9}},
 CellLabel->"In[93]:=",ExpressionUUID->"32daa96b-8bfe-4b9e-a546-bfe83686cb13"],

Cell[BoxData[
 RowBox[{"Ind", "[", 
  RowBox[{"33", "<", "3"}], "]"}]], "Input",
 CellChangeTimes->{{3.753371825052902*^9, 3.75337182853183*^9}},
 CellLabel->"In[94]:=",ExpressionUUID->"2b4277c1-5907-4626-ab2c-13e8675ac9b0"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "FracPart"}]], "Input",
 CellChangeTimes->{{3.753377828908448*^9, 3.753377831687716*^9}},
 CellLabel->"In[95]:=",ExpressionUUID->"ebf10d80-1719-426f-9f7b-dde5400bdf8f"],

Cell[BoxData["\<\"FracPart[x] is the fractional part of x, i.e., \
FracPart[x]==x-Floor[x]. Note this different from the system function \
FractionalPart.\"\>"], "Print", "PrintUsage",
 GeneratedCell->False,
 CellAutoOverwrite->False,
 CellChangeTimes->{
  3.753377863774795*^9, {3.753377907177127*^9, 3.753377907635457*^9}},
 CellTags->
  "Info573753381463-6603338",ExpressionUUID->"f5a2a9d5-c218-4989-b376-\
d115029a86c1"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"FracPart", "[", "3.3", "]"}]], "Input",
 CellChangeTimes->{{3.753377866710108*^9, 3.7533778711913548`*^9}},
 CellLabel->"In[96]:=",ExpressionUUID->"f7e33394-521e-45a0-a2e4-11283945a658"],

Cell[BoxData[
 RowBox[{
  RowBox[{"FracPart", "[", 
   RowBox[{"-", "0.3"}], "]"}], "\[NotEqual]", 
  RowBox[{"FractionalPart", "[", 
   RowBox[{"-", "0.3"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.753377875979628*^9, 3.75337789915515*^9}},
 CellLabel->"In[97]:=",ExpressionUUID->"393507ce-64f1-45d4-9f2f-67611f2db85e"],

Cell[BoxData[
 RowBox[{"?", "zFloor2Frac"}]], "Input",
 CellChangeTimes->{{3.7533782995013103`*^9, 3.753378305785789*^9}, 
   3.7543908025780487`*^9},
 CellLabel->"In[98]:=",ExpressionUUID->"bc61abfe-3086-4a4d-90a2-6e4a1f8db6af"],

Cell[BoxData[
 RowBox[{"zFloor2Frac", "[", 
  RowBox[{"x", "^", 
   RowBox[{"Floor", "[", "y", "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753378308179603*^9, 3.7533783206075077`*^9}, 
   3.754390800984396*^9},
 CellLabel->"In[99]:=",ExpressionUUID->"a7aa39b5-10b3-471f-953a-608fd8c89944"],

Cell[BoxData[
 RowBox[{"?", "zUpperFloor"}]], "Input",
 CellChangeTimes->{{3.7533783357346077`*^9, 3.753378339504816*^9}, 
   3.754390823479907*^9},
 CellLabel->
  "In[104]:=",ExpressionUUID->"b826b535-1dda-48ea-ade3-0413bd6608a7"],

Cell[BoxData[
 RowBox[{"zUpperFloor", "[", 
  RowBox[{"x", "^", 
   RowBox[{"Floor", "[", "y", "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753378350437352*^9, 3.75337835418089*^9}, 
   3.75439080414439*^9},
 CellLabel->
  "In[101]:=",ExpressionUUID->"155309b7-d719-4ad0-917d-5f6f5b786508"],

Cell[BoxData[
 RowBox[{"?", "zLowerFloor"}]], "Input",
 CellChangeTimes->{{3.7533783621228933`*^9, 3.7533783626788187`*^9}, 
   3.754390827793108*^9},
 CellLabel->
  "In[105]:=",ExpressionUUID->"49467b11-517e-4241-862c-4f4ad4b3cc2e"],

Cell[BoxData[
 RowBox[{"zLowerFloor", "[", 
  RowBox[{"x", "^", 
   RowBox[{"Floor", "[", "y", "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.75337837330307*^9, 3.7533783738608093`*^9}, 
   3.7543908059285183`*^9},
 CellLabel->"In[103]:=",ExpressionUUID->"653d6b88-8349-4cf6-9ac2-42700ff84128"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Inequality manipulation", "Subchapter",
 CellChangeTimes->{{3.753373139433168*^9, 
  3.7533731680200863`*^9}},ExpressionUUID->"0ea95472-9c96-4fbc-b82e-\
c8c0ea0d27a2"],

Cell[BoxData[
 RowBox[{"?", "zTriAbs"}]], "Input",
 CellChangeTimes->{{3.7533705391941*^9, 3.753370542120517*^9}, 
   3.754390832879444*^9},
 CellLabel->
  "In[106]:=",ExpressionUUID->"c429daa5-47bb-447d-bf59-139c33d20127"],

Cell[BoxData[
 RowBox[{"zTriAbs", "[", 
  RowBox[{
   RowBox[{"a", "+", 
    RowBox[{"Abs", "[", 
     RowBox[{"x", "-", "y"}], "]"}]}], ",", " ", "z"}], "]"}]], "Input",
 CellChangeTimes->{{3.753370197512601*^9, 3.7533702283982477`*^9}, 
   3.754390833773946*^9},
 CellLabel->
  "In[107]:=",ExpressionUUID->"e7101171-eed3-4228-9e5f-0aec772abbd2"],

Cell[BoxData[
 RowBox[{"zTriAbs", "[", 
  RowBox[{
   RowBox[{"a", "+", 
    RowBox[{"Abs", "[", 
     RowBox[{"x", "+", "y"}], "]"}]}], ",", " ", "z"}], "]"}]], "Input",
 CellChangeTimes->{{3.753370240469298*^9, 3.753370243799349*^9}, 
   3.754390834719192*^9},
 CellLabel->
  "In[108]:=",ExpressionUUID->"5e822fca-ae98-4130-86d9-7a8c1e143c90"],

Cell[BoxData[
 RowBox[{"?", "zSplitGreater"}]], "Input",
 CellChangeTimes->{{3.75337424263383*^9, 3.75337424781077*^9}, 
   3.7543908357098427`*^9},
 CellLabel->
  "In[109]:=",ExpressionUUID->"8377b420-5de4-4646-8a8c-77767c6fa579"],

Cell[BoxData[
 RowBox[{"zSplitGreater", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"a", ">", "b"}], "&&", 
    RowBox[{"d", ">", "e"}]}], ",", "a", ",", "c"}], "]"}]], "Input",
 CellChangeTimes->{{3.7533731714485607`*^9, 3.7533732229227343`*^9}, 
   3.754390836503318*^9},
 CellLabel->
  "In[110]:=",ExpressionUUID->"21944b39-2482-4280-9dde-c52bcae23878"],

Cell[BoxData[
 RowBox[{"?", "zSplitLess"}]], "Input",
 CellChangeTimes->{{3.753374258795473*^9, 3.753374259417927*^9}, 
   3.7543908379751053`*^9},
 CellLabel->
  "In[111]:=",ExpressionUUID->"3c2bf264-1f06-443b-bc0f-84a6b2e7f04d"],

Cell[BoxData[
 RowBox[{"zSplitLess", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"a", "<", "b"}], "&&", 
    RowBox[{"d", ">", "e"}]}], ",", "a", ",", "c"}], "]"}]], "Input",
 CellChangeTimes->{{3.753373232077504*^9, 3.753373241989676*^9}, 
   3.75439083905376*^9},
 CellLabel->
  "In[112]:=",ExpressionUUID->"c07ab0d9-95d0-4502-8411-a659d080f984"],

Cell[BoxData[
 RowBox[{"?", "zSplitInequality"}]], "Input",
 CellChangeTimes->{{3.7533742670174417`*^9, 3.7533742860868893`*^9}, 
   3.754390840198449*^9},
 CellLabel->
  "In[113]:=",ExpressionUUID->"8f332d7b-6a7a-4ef2-ac64-49cf9535d867"],

Cell[BoxData[
 RowBox[{"zSplitInequality", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"a", "\[GreaterEqual]", "b"}], "&&", 
    RowBox[{"d", ">", "e"}]}], ",", "a", ",", "c", ",", "GreaterEqual"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.7533732498960447`*^9, 3.7533732695337477`*^9}, 
   3.7543908410695343`*^9},
 CellLabel->
  "In[114]:=",ExpressionUUID->"612d8a21-d0cf-42cc-a376-ce98b84070ba"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Reverse", " ", "@*", "List"}], " ", "@@", " ", 
  RowBox[{"(", 
   RowBox[{"a", "+", "b"}], ")"}]}]], "Input",
 CellChangeTimes->{{3.753378713175783*^9, 3.75337875662895*^9}},
 CellLabel->
  "In[115]:=",ExpressionUUID->"5bfca0d1-2942-42b1-ac86-29e909bba791"],

Cell[BoxData[
 RowBox[{"?", "zToLeft"}]], "Input",
 CellChangeTimes->{{3.753378830900131*^9, 3.7533788326528263`*^9}, 
   3.75439086304081*^9},
 CellLabel->
  "In[123]:=",ExpressionUUID->"0c1a3720-9381-44aa-8d05-0cb957d72149"],

Cell[BoxData[
 RowBox[{"zToLeft", "[", 
  RowBox[{"x", ">", "y"}], "]"}]], "Input",
 CellChangeTimes->{{3.753378835070409*^9, 3.753378838459332*^9}, 
   3.75439084455842*^9},
 CellLabel->
  "In[117]:=",ExpressionUUID->"3988e08b-3c04-4359-9e74-9c9e38323a9d"],

Cell[BoxData[
 RowBox[{"zToRight", "[", 
  RowBox[{"x", ">", "y"}], "]"}]], "Input",
 CellChangeTimes->{{3.753378846024287*^9, 3.753378846513782*^9}, 
   3.7543908454386473`*^9},
 CellLabel->
  "In[118]:=",ExpressionUUID->"5c21213b-783e-4f21-b2df-ecfc72f551a0"],

Cell[BoxData[
 RowBox[{"?", "zReducePositive"}]], "Input",
 CellChangeTimes->{{3.7533822209902554`*^9, 3.753382237944501*^9}, 
   3.754390847173523*^9},
 CellLabel->
  "In[119]:=",ExpressionUUID->"8ddbd225-7eae-4927-adcb-77e743becb6a"],

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"a", " ", "[", "i", "]"}], " ", "<", " ", 
    RowBox[{
     RowBox[{"b", "[", "j", "]"}], "/", "x"}]}], ",", " ", "x", ",", 
   "Reals"}], "]"}]], "Input",
 CellChangeTimes->{{3.753379063916485*^9, 3.753379069927643*^9}, {
   3.753379217966713*^9, 3.753379218069915*^9}, {3.753379367663591*^9, 
   3.753379417849564*^9}, {3.753379596556634*^9, 3.753379603802434*^9}, {
   3.753379647261332*^9, 3.7533797508585243`*^9}, 3.7533797977509537`*^9, {
   3.75337991099724*^9, 3.753379923608677*^9}, {3.753380056881765*^9, 
   3.753380092732901*^9}, {3.7533803136554527`*^9, 3.753380366473119*^9}, {
   3.75338151994479*^9, 3.7533815512944517`*^9}, {3.753381857217857*^9, 
   3.7533819005697412`*^9}, {3.753382202723481*^9, 3.753382216533958*^9}, {
   3.7533825000958357`*^9, 3.753382568309306*^9}, {3.7543908481426067`*^9, 
   3.754390852059643*^9}},
 CellLabel->
  "In[120]:=",ExpressionUUID->"089081a6-7bec-4da0-9d7b-ea5ffc05f7c1"],

Cell[BoxData[
 RowBox[{"zReducePositive", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"a", " ", "[", "i", "]"}], " ", "<", " ", 
    RowBox[{
     RowBox[{"b", "[", "j", "]"}], "/", "x"}]}], ",", " ", "x"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753382573960926*^9, 3.753382581328095*^9}, {
   3.75338389087777*^9, 3.753383917909354*^9}, 3.7543908495418987`*^9},
 CellLabel->
  "In[121]:=",ExpressionUUID->"e1a55d5a-58ab-4b7f-a9b2-dae4d896af20"],

Cell[BoxData[
 RowBox[{"zReducePositive", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"a", " ", "[", "i", "]"}], " ", "<", " ", 
     RowBox[{
      RowBox[{"b", "[", "j", "]"}], "/", "x"}]}], "&&", 
    RowBox[{
     RowBox[{"c", "[", "u", "]"}], "<", 
     RowBox[{
      RowBox[{"d", "[", "v", "]"}], "*", "y"}]}]}], ",", " ", 
   RowBox[{"{", 
    RowBox[{"x", ",", "y"}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753383924539113*^9, 3.753384032070586*^9}, {
   3.753384108308722*^9, 3.7533841968162193`*^9}, {3.7533842338894997`*^9, 
   3.753384265518733*^9}, 3.754390853566184*^9},
 CellLabel->"In[122]:=",ExpressionUUID->"79b3dc1f-8c6c-47ab-b49f-5714f77903c2"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Inactivate", "Subchapter",
 CellChangeTimes->{{3.753374783071018*^9, 
  3.753374784516635*^9}},ExpressionUUID->"566cc16c-b1df-4a8e-a789-\
dbadb5d35407"],

Cell[BoxData[
 RowBox[{"?", "zInactivateAll"}]], "Input",
 CellChangeTimes->{{3.753370554135702*^9, 3.753370560870242*^9}, 
   3.75439087374962*^9},
 CellLabel->
  "In[124]:=",ExpressionUUID->"31fb2ac0-fd2a-486f-b115-b57a97862b10"],

Cell[BoxData[
 RowBox[{"zInactivateAll", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"f", "[", "x", "]"}], "^", "y"}], "+", 
   RowBox[{
    RowBox[{"g", "[", "z", "]"}], "*", 
    RowBox[{"Log", "[", "33", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753370278985875*^9, 3.753370308831366*^9}, 
   3.754390869916978*^9},
 CellLabel->
  "In[125]:=",ExpressionUUID->"ab79f573-2c95-40bc-ba9b-3a7bee321274"],

Cell[BoxData[
 RowBox[{"zInactivateAll", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"f", "[", "x", "]"}], "^", "y"}], "+", 
    RowBox[{
     RowBox[{"g", "[", "z", "]"}], "*", 
     RowBox[{"Log", "[", "33", "]"}]}]}], ",", 
   RowBox[{"{", "f", "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7533706657828617`*^9, 3.7533706684876328`*^9}, 
   3.754390871174664*^9},
 CellLabel->
  "In[126]:=",ExpressionUUID->"6bfcf908-900f-4614-83c2-17563d726c41"],

Cell[BoxData[
 RowBox[{"zInactivateAll", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"f", "[", "x", "]"}], "^", "y"}], "+", 
    RowBox[{
     RowBox[{"g", "[", "z", "]"}], "*", 
     RowBox[{"Log", "[", "33", "]"}]}]}], ",", "g"}], "]"}]], "Input",
 CellChangeTimes->{3.753370856866042*^9, 3.754390871749139*^9},
 CellLabel->
  "In[127]:=",ExpressionUUID->"2d993e5e-0136-467f-8f9b-df696d791aec"],

Cell[BoxData[
 RowBox[{"?", "iSum"}]], "Input",
 CellChangeTimes->{{3.753374795919541*^9, 3.753374797427288*^9}},
 CellLabel->
  "In[128]:=",ExpressionUUID->"a65b7592-5ae4-420a-a72b-b3ed0e806424"],

Cell[BoxData[
 RowBox[{"?", "iInt"}]], "Input",
 CellChangeTimes->{{3.7533748015307817`*^9, 3.7533748046819897`*^9}},
 CellLabel->
  "In[129]:=",ExpressionUUID->"ba8c8780-7dba-4281-8082-2e3f1202063e"],

Cell[BoxData[
 RowBox[{"?", "iInd"}]], "Input",
 CellChangeTimes->{{3.753374807167389*^9, 3.753374808607296*^9}},
 CellLabel->"In[130]:=",ExpressionUUID->"3f85d0df-c242-4536-9875-a82078b58d64"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Simple expression manipulation", "Subchapter",
 CellChangeTimes->{{3.7533701802648983`*^9, 
  3.753370187199664*^9}},ExpressionUUID->"743852d9-1896-4a1a-919a-\
cdeb93fe9bf3"],

Cell[BoxData[
 RowBox[{"?", "zFactorOut"}]], "Input",
 CellChangeTimes->{{3.753371109886943*^9, 3.753371118884707*^9}, 
   3.754390881645465*^9},
 CellLabel->
  "In[131]:=",ExpressionUUID->"c9209789-2cda-486c-b42c-279173874fe1"],

Cell[BoxData[
 RowBox[{"zFactorOut", "[", 
  RowBox[{
   RowBox[{"d", 
    RowBox[{"(", 
     RowBox[{"a", "+", 
      RowBox[{"fact", " ", "b"}]}], ")"}]}], ",", " ", "fact"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753371129344441*^9, 3.7533711457163143`*^9}, {
   3.753371266177998*^9, 3.753371276929838*^9}, 3.754390882717798*^9},
 CellLabel->
  "In[132]:=",ExpressionUUID->"51df38c0-af68-4732-a08f-69d3e7b20820"],

Cell[BoxData[
 RowBox[{"?", "zSimplifyTerms"}]], "Input",
 CellChangeTimes->{{3.753371297601014*^9, 3.7533713134557962`*^9}, 
   3.754390883956359*^9},
 CellLabel->
  "In[133]:=",ExpressionUUID->"890392a9-153d-4368-b430-b3ffbc74515d"],

Cell[BoxData[
 RowBox[{"zSimplifyTerms", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"a", " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", 
       FractionBox["1", "a"]}], ")"}]}], "j"], "+", 
   FractionBox[
    RowBox[{"a", " ", 
     RowBox[{"(", 
      RowBox[{"1", "-", 
       FractionBox["1", "a"]}], ")"}]}], "j"]}], "]"}]], "Input",
 CellChangeTimes->{{3.7533714551905937`*^9, 3.753371482672687*^9}, 
   3.75439088549407*^9},
 CellLabel->
  "In[134]:=",ExpressionUUID->"0afe6cf2-3dea-4d9b-89f6-65e9b075c551"],

Cell[BoxData[
 RowBox[{"?", "zBringOut"}]], "Input",
 CellChangeTimes->{{3.753375698581862*^9, 3.753375701407381*^9}, 
   3.753377166082975*^9, 3.7543908866134644`*^9},
 CellLabel->
  "In[135]:=",ExpressionUUID->"a9421c85-faa3-4528-b41c-545fdb01cec9"],

Cell[BoxData[
 RowBox[{"zBringOut", "[", 
  RowBox[{
   RowBox[{"f", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"c", "[", "j", "]"}], "*", 
      RowBox[{"f", "[", 
       RowBox[{
        RowBox[{"a", " ", 
         RowBox[{"b", "[", "i", "]"}]}], ",", 
        RowBox[{"{", 
         RowBox[{"i", ",", "0", ",", "Infinity"}], "}"}]}], "]"}]}], ",", 
     RowBox[{"{", 
      RowBox[{"j", ",", "1", ",", "10"}], "}"}]}], "]"}], ",", "f"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753375704401177*^9, 3.753375780051976*^9}, {
   3.753375898547213*^9, 3.753375912921502*^9}, 3.753377168594323*^9, 
   3.7543908876087103`*^9},
 CellLabel->
  "In[136]:=",ExpressionUUID->"5018e082-4cbc-48dd-b881-cac7d24942fd"],

Cell[BoxData[
 RowBox[{"?", "zBringOutSum"}]], "Input",
 CellChangeTimes->{{3.7533759224236927`*^9, 3.7533759228089046`*^9}, 
   3.753377171292363*^9, 3.754390888742024*^9},
 CellLabel->
  "In[137]:=",ExpressionUUID->"445bc18c-8938-44b5-a515-cb0bb34e3c97"],

Cell[BoxData[
 RowBox[{"zBringOutSum", "[", 
  TemplateBox[{RowBox[{
      RowBox[{"-", "d"}], " ", 
      RowBox[{"c", "[", "j", "]"}], " ", 
      TemplateBox[{
        RowBox[{
          RowBox[{"-", "a"}], " ", 
          RowBox[{"b", "[", "i", "]"}]}], "i", "0", "\[Infinity]"}, 
       "InactiveSum", DisplayFunction -> (RowBox[{
          UnderoverscriptBox[
           StyleBox["\[Sum]", "Inactive"], 
           RowBox[{#2, "=", #3}], #4], #}]& ), 
       InterpretationFunction -> (RowBox[{
          RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
          RowBox[{#, ",", 
            RowBox[{"{", 
              RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )]}],"j","1",
    "10"},
   "InactiveSum",
   DisplayFunction->(RowBox[{
      UnderoverscriptBox[
       StyleBox["\[Sum]", "Inactive"], 
       RowBox[{#2, "=", #3}], #4], #}]& ),
   InterpretationFunction->(RowBox[{
      RowBox[{"Inactive", "[", "Sum", "]"}], "[", 
      RowBox[{#, ",", 
        RowBox[{"{", 
          RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], "]"}]], "Input",
 
 CellChangeTimes->{{3.753375929802335*^9, 3.753375944749977*^9}, {
   3.7533765773314333`*^9, 3.753376581493711*^9}, 3.753377173766192*^9, 
   3.754390889568943*^9},
 CellLabel->
  "In[138]:=",ExpressionUUID->"62d53dd5-2cd4-4cbc-a623-178be6881a7a"],

Cell[BoxData[
 RowBox[{"?", "zBringOutInt"}]], "Input",
 CellChangeTimes->{{3.7533765113222733`*^9, 3.753376512568874*^9}, 
   3.753377176805966*^9, 3.7543908908411016`*^9},
 CellLabel->
  "In[139]:=",ExpressionUUID->"3284b818-074a-4322-959b-6a1018c55cd1"],

Cell[BoxData[
 RowBox[{"zBringOutInt", "[", 
  TemplateBox[{RowBox[{
      RowBox[{"-", "d"}], " ", 
      RowBox[{"c", "[", "j", "]"}], " ", 
      TemplateBox[{
        RowBox[{
          RowBox[{"-", "a"}], " ", 
          RowBox[{"b", "[", "i", "]"}]}], "i", "0", "\[Infinity]"}, 
       "InactiveIntegrate", DisplayFunction -> (RowBox[{
          SubsuperscriptBox[
           StyleBox["\[Integral]", "Inactive"], #3, #4], 
          RowBox[{#, 
            RowBox[{
              StyleBox["\[DifferentialD]", "Inactive"], #2}]}]}]& ), 
       InterpretationFunction -> (RowBox[{
          RowBox[{"Inactive", "[", "Integrate", "]"}], "[", 
          RowBox[{#, ",", 
            RowBox[{"{", 
              RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )]}],"j","1",
    "10"},
   "InactiveIntegrate",
   DisplayFunction->(RowBox[{
      SubsuperscriptBox[
       StyleBox["\[Integral]", "Inactive"], #3, #4], 
      RowBox[{#, 
        RowBox[{
          StyleBox["\[DifferentialD]", "Inactive"], #2}]}]}]& ),
   InterpretationFunction->(RowBox[{
      RowBox[{"Inactive", "[", "Integrate", "]"}], "[", 
      RowBox[{#, ",", 
        RowBox[{"{", 
          RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], "]"}]], "Input",
 
 CellChangeTimes->{{3.75337609241988*^9, 3.7533761334475107`*^9}, {
   3.753376567352487*^9, 3.7533765889577723`*^9}, 3.753377180899828*^9, 
   3.754390891679543*^9},
 CellLabel->
  "In[140]:=",ExpressionUUID->"7baf36b5-c209-4292-9ad9-2256bb2f7d44"],

Cell[BoxData[
 RowBox[{"?", "zKeepOnly"}]], "Input",
 CellChangeTimes->{{3.753377184178185*^9, 3.753377189126103*^9}, 
   3.754390892892234*^9},
 CellLabel->
  "In[141]:=",ExpressionUUID->"55c4d818-cd3d-498b-9718-728fe67549a6"],

Cell[BoxData[
 RowBox[{
  RowBox[{"f", "[", 
   RowBox[{
    RowBox[{"f2", "*", 
     RowBox[{"g", "[", 
      RowBox[{
       RowBox[{"g2", "*", 
        RowBox[{"h", "[", 
         RowBox[{
          RowBox[{"h2", "*", "keep"}], ",", "h1"}], "]"}]}], ",", "g1"}], 
      "]"}]}], ",", "f1"}], "]"}], "//", 
  RowBox[{
   RowBox[{"KeepOnly", "[", 
    RowBox[{"#", ",", "keep"}], "]"}], "&"}]}]], "Input",
 CellChangeTimes->{{3.753377217916257*^9, 3.753377230599246*^9}},
 CellLabel->"In[142]:=",ExpressionUUID->"f1923c19-edba-4365-b96a-d1aeb475f8c9"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Probability", "Subchapter",
 CellChangeTimes->{{3.7534343178572617`*^9, 
  3.75343432008869*^9}},ExpressionUUID->"2802b97d-4077-4004-95e4-\
65c23b4e9d4b"],

Cell[BoxData[
 RowBox[{"?", "\[DoubleStruckCapitalE]"}]], "Input",
 CellChangeTimes->{{3.7534349147341957`*^9, 3.7534349187547913`*^9}},
 CellLabel->
  "In[143]:=",ExpressionUUID->"8ffbe2ae-cb79-42bc-8a0b-d2877116414d"],

Cell[BoxData[
 RowBox[{"?", "\[DoubleStruckCapitalP]"}]], "Input",
 CellChangeTimes->{{3.7534349204182*^9, 3.75343492315469*^9}},
 CellLabel->
  "In[144]:=",ExpressionUUID->"6a2691cf-bb8d-403c-a3c9-4c4cfea857e5"],

Cell[BoxData[
 RowBox[{"?", "zBringOutE"}]], "Input",
 CellChangeTimes->{{3.753434321438373*^9, 3.753434327936496*^9}, 
   3.753434393205104*^9, {3.753434426868189*^9, 3.753434430037768*^9}, 
   3.754390906332718*^9},
 CellLabel->
  "In[145]:=",ExpressionUUID->"7012264b-ac2d-4fc9-93b4-813d16e0c688"],

Cell[BoxData[
 RowBox[{"zBringOutE", "[", 
  RowBox[{
   RowBox[{"a", " ", "+", " ", 
    RowBox[{"\[DoubleStruckCapitalE]", "[", 
     RowBox[{"Conditioned", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"-", "c"}], ")"}], "*", 
        RowBox[{"Log", "[", "n", "]"}], "*", 
        RowBox[{"(", 
         RowBox[{"f", " ", "+", " ", "d"}], ")"}]}], ",", " ", "G"}], "]"}], 
     "]"}]}], ",", " ", 
   RowBox[{"{", 
    RowBox[{"c", ",", 
     RowBox[{"Log", "[", "n", "]"}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753434438827847*^9, 3.75343454304224*^9}, {
   3.75343464290238*^9, 3.753434643444084*^9}, {3.7534347192263613`*^9, 
   3.753434733958213*^9}, 3.7543909072692537`*^9},
 CellLabel->"In[146]:=",ExpressionUUID->"a1b192aa-d879-4f2f-918a-a641949b67a2"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Chernoff", "Chapter",
 CellChangeTimes->{{3.753259239912578*^9, 
  3.753259240919635*^9}},ExpressionUUID->"8d1c6700-fdc5-4e3a-8421-\
541e82306e15"],

Cell[BoxData[
 RowBox[{"Get", "[", "\"\<ChernoffBound`\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.7532659081194353`*^9, 3.753265910743988*^9}},
 CellLabel->
  "In[134]:=",ExpressionUUID->"dd9328e0-0787-4386-aa0e-70bc60c0eed8"],

Cell[BoxData[
 RowBox[{"?", "Chernoff"}]], "Input",
 CellChangeTimes->{{3.753219137482329*^9, 3.7532191443514557`*^9}, {
  3.753262884262908*^9, 3.7532628844435177`*^9}},
 CellLabel->
  "In[135]:=",ExpressionUUID->"b112da2e-b0df-4526-8ef4-29de148d29d1"],

Cell[CellGroupData[{

Cell["Complexity 1", "Subchapter",
 CellChangeTimes->{{3.753224118019761*^9, 
  3.753224120209756*^9}},ExpressionUUID->"8570873b-4953-4cfc-9c9d-\
309582e044e5"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a"}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191766535387`*^9}},
 CellLabel->
  "In[136]:=",ExpressionUUID->"58c66fe2-dcbb-4d74-9018-d072c009bf86"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "Right"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.753219186657346*^9}, {
   3.753255869962838*^9, 3.7532558736620493`*^9}, 3.753265950015684*^9},
 CellLabel->
  "In[137]:=",ExpressionUUID->"d8fef9c8-ed5e-4d91-b08f-83d2a1108e78"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191893233957`*^9}, 
   3.753265939860341*^9},
 CellLabel->
  "In[138]:=",ExpressionUUID->"e47b77de-8aa3-4964-a6b5-804e33c59575"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}], ",", 
   RowBox[{"ShiftedByMean", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.75321919128235*^9}, {
  3.753265939871119*^9, 3.7532659622295437`*^9}},
 CellLabel->
  "In[139]:=",ExpressionUUID->"4a3464e6-346a-4dc6-a06c-04ebb26810ac"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}], ",", 
   RowBox[{"ShiftedByMean", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.753219193279763*^9}, {
  3.753265939877021*^9, 3.753265962236621*^9}},
 CellLabel->
  "In[140]:=",ExpressionUUID->"4d6b507b-619d-4095-ad66-464849c8ab80"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", "\[Epsilon]", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191957680893`*^9}, 
   3.7532659398817987`*^9},
 CellLabel->
  "In[141]:=",ExpressionUUID->"e9473caa-84b3-4cc0-ab6a-bf9eae471390"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Chernoff", "[", 
   RowBox[{"n", ",", "p", ",", "a", ",", "\[Epsilon]", ",", 
    RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}]}], "]"}], 
  "\n"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191957680893`*^9}, 
   3.753265939886587*^9},
 CellLabel->"In[142]:=",ExpressionUUID->"297023ce-4a1f-4885-ae90-8f479b0f898b"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Complexity 2", "Subchapter",
 CellChangeTimes->{{3.75322413019989*^9, 
  3.7532241326488743`*^9}},ExpressionUUID->"c6f36ad9-90fd-4010-ad39-\
53b1cf95372e"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Chernoff", "[", 
   RowBox[{"n", ",", "p", ",", "a", ",", 
    RowBox[{"BoundComplexity", "\[Rule]", "2"}]}], "]"}], "//", 
  "PowerExpand"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191766535387`*^9}, {
   3.753224136670752*^9, 3.753224143106701*^9}, {3.753235293988634*^9, 
   3.7532352957433357`*^9}, {3.753235468950287*^9, 3.7532354703307657`*^9}, 
   3.75336855722853*^9},
 CellLabel->
  "In[143]:=",ExpressionUUID->"63b89fbb-3143-4383-9f19-2f08d58ad895"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "2"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.753219186657346*^9}, 
   3.753224508986663*^9, {3.7532249469488983`*^9, 3.7532249787942743`*^9}, 
   3.753265939912801*^9, 3.7533685600505466`*^9},
 CellLabel->
  "In[144]:=",ExpressionUUID->"711a2cbd-6246-4d4f-8c3c-041cb822488b"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "2"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191893233957`*^9}, 
   3.7532245116343117`*^9, 3.75326593993513*^9, 3.753368562465631*^9},
 CellLabel->
  "In[145]:=",ExpressionUUID->"a8387da7-9474-4517-ba1b-bf9ab1f65b39"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}], ",", 
   RowBox[{"ShiftedByMean", "\[Rule]", "False"}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "2"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.75321919128235*^9}, 
   3.753224514883781*^9, {3.7532659399578447`*^9, 3.753265962239682*^9}, 
   3.7533685676300373`*^9},
 CellLabel->
  "In[146]:=",ExpressionUUID->"ccec7b39-46c1-4203-b283-916332cf3241"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}], ",", 
   RowBox[{"ShiftedByMean", "\[Rule]", "False"}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "2"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.753219193279763*^9}, 
   3.753224518140929*^9, {3.753265939979973*^9, 3.7532659622413797`*^9}, 
   3.7533685699110403`*^9},
 CellLabel->
  "In[147]:=",ExpressionUUID->"a4b002bb-69a9-4148-bec4-8254b5845e23"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Chernoff", "[", 
   RowBox[{"n", ",", "p", ",", "\[Delta]", ",", "\[Epsilon]", ",", 
    RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}], ",", 
    RowBox[{"BoundComplexity", "\[Rule]", "2"}]}], "]"}], "//", 
  "Simplify"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191957680893`*^9}, 
   3.7532245216400003`*^9, {3.753224953380934*^9, 3.7532249547635813`*^9}, {
   3.753258881428145*^9, 3.753258883700832*^9}, 3.753265940002275*^9, 
   3.753368573588687*^9},
 CellLabel->
  "In[148]:=",ExpressionUUID->"c783d4e4-802f-4450-ac1d-4336579c53a0"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Chernoff", "[", 
   RowBox[{"n", ",", "p", ",", "\[Delta]", ",", "\[Epsilon]", ",", 
    RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}], ",", 
    RowBox[{"BoundComplexity", "\[Rule]", "2"}]}], "]"}], "\n"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191957680893`*^9}, 
   3.753224524306119*^9, {3.753258889022938*^9, 3.7532588898486767`*^9}, 
   3.753265940025011*^9, 3.753368576634012*^9},
 CellLabel->"In[149]:=",ExpressionUUID->"f758dd4a-c5cb-4196-a4cc-ce4e8f0a7430"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Complexity 3", "Subchapter",
 CellChangeTimes->{{3.75322413019989*^9, 3.7532241326488743`*^9}, 
   3.753235241056818*^9, {3.7532592732114077`*^9, 
   3.753259273855094*^9}},ExpressionUUID->"6b3656db-9553-41c0-ba25-\
262543455cf6"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "3"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191766535387`*^9}, {
   3.753224136670752*^9, 3.753224143106701*^9}, 3.753235245425165*^9, {
   3.753265982453435*^9, 3.7532659831157093`*^9}},
 CellLabel->
  "In[150]:=",ExpressionUUID->"37c42f8b-114d-4a24-bd4c-be10cf4f8bf0"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "3"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.753219186657346*^9}, 
   3.753224508986663*^9, {3.7532249469488983`*^9, 3.7532249787942743`*^9}, 
   3.753235250061849*^9, {3.753258645900115*^9, 3.753258652561633*^9}, 
   3.7532659400484657`*^9, 3.7532659782843943`*^9},
 CellLabel->
  "In[151]:=",ExpressionUUID->"4eda7fda-81bf-42f8-b6b3-83ebd42844ff"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "3"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191893233957`*^9}, 
   3.7532245116343117`*^9, 3.753235253942339*^9, 3.7532659400527067`*^9, 
   3.753265978291855*^9},
 CellLabel->
  "In[152]:=",ExpressionUUID->"bd3fde90-a6b8-4f3a-b69d-cda0a44758a3"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}], ",", 
   RowBox[{"ShiftedByMean", "\[Rule]", "False"}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "3"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.75321919128235*^9}, 
   3.753224514883781*^9, 3.7532352585832872`*^9, {3.753265940056642*^9, 
   3.753265978296171*^9}},
 CellLabel->
  "In[153]:=",ExpressionUUID->"082f91ce-ff08-445c-9cd7-4044a415629a"],

Cell[BoxData[
 RowBox[{"Chernoff", "[", 
  RowBox[{"n", ",", "p", ",", "a", ",", 
   RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}], ",", 
   RowBox[{"ShiftedByMean", "\[Rule]", "False"}], ",", 
   RowBox[{"BoundComplexity", "\[Rule]", "3"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.753219193279763*^9}, 
   3.753224518140929*^9, 3.753235261545787*^9, {3.7532659400599613`*^9, 
   3.753265978299677*^9}},
 CellLabel->
  "In[154]:=",ExpressionUUID->"59de8647-891a-4d20-aa3f-ae3c62f025fe"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Chernoff", "[", 
   RowBox[{"n", ",", "p", ",", "a", ",", "\[Epsilon]", ",", 
    RowBox[{"BoundTail", "\[Rule]", "\"\<Left\>\""}], ",", 
    RowBox[{"BoundComplexity", "\[Rule]", "3"}]}], "]"}], "//", 
  "Simplify"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191957680893`*^9}, 
   3.7532245216400003`*^9, {3.753224953380934*^9, 3.7532249547635813`*^9}, 
   3.753235267017206*^9, 3.753265940063869*^9, 3.7532659783030367`*^9},
 CellLabel->
  "In[155]:=",ExpressionUUID->"a7ab0ac7-6119-4b36-b68f-ae171afa422c"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Chernoff", "[", 
   RowBox[{"n", ",", "p", ",", "a", ",", "\[Epsilon]", ",", 
    RowBox[{"BoundTail", "\[Rule]", "\"\<Right\>\""}], ",", 
    RowBox[{"BoundComplexity", "\[Rule]", "3"}]}], "]"}], "\n"}]], "Input",
 CellChangeTimes->{{3.753219147797538*^9, 3.7532191957680893`*^9}, 
   3.753224524306119*^9, 3.753235269654516*^9, 3.75326594006785*^9, 
   3.7532659783058987`*^9},
 CellLabel->
  "In[156]:=",ExpressionUUID->"dd4b097e-f897-4e8b-b03a-d57bdb94022d"],

Cell[CellGroupData[{

Cell["Print All Inequalities", "Section",
 CellChangeTimes->{{3.753258050104836*^9, 
  3.7532580559084797`*^9}},ExpressionUUID->"6005fe08-958b-4c6a-9a06-\
e88e7fbc5d50"],

Cell[BoxData[
 RowBox[{"ChernoffPrintAll", "[", "]"}]], "Input",
 CellChangeTimes->{{3.753256069035818*^9, 3.753256081134289*^9}},
 CellLabel->"In[157]:=",ExpressionUUID->"db71fc40-848b-414e-b9a5-a5a928e0bfcc"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["CalcMoment", "Chapter",
 CellChangeTimes->{{3.753266072867619*^9, 
  3.753266075585649*^9}},ExpressionUUID->"74140e4d-92e6-4b36-8159-\
67b053f2dc0f"],

Cell[BoxData[
 RowBox[{"Get", "[", "\"\<CalcMoment`\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.7532655926045837`*^9, 3.753265594100417*^9}},
 CellLabel->
  "In[158]:=",ExpressionUUID->"d0f6b809-405a-4780-8bbe-d8f24236c495"],

Cell[CellGroupData[{

Cell["Negative Exponential moment", "Subchapter",
 CellChangeTimes->{{3.7532688622988777`*^9, 
  3.753268870088748*^9}},ExpressionUUID->"26d3c450-9436-4f10-ae4f-\
089df4908ba4"],

Cell[BoxData[
 RowBox[{"TruncatedExpMoment", "[", 
  RowBox[{"dist", ",", " ", "a"}], "]"}]], "Input",
 CellChangeTimes->{{3.753266460672303*^9, 3.7532664681013603`*^9}, 
   3.7532674786687927`*^9},
 CellLabel->
  "In[159]:=",ExpressionUUID->"c1594556-adb8-40d1-bcce-933c7bd255ad"],

Cell[BoxData[
 RowBox[{"TruncatedExpMoment", "[", 
  RowBox[{"dist", ",", " ", "a", ",", 
   RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532672780013657`*^9, 3.75326728887059*^9}},
 CellLabel->
  "In[160]:=",ExpressionUUID->"b6700c97-9ce7-4f49-9997-767abe44800c"],

Cell[BoxData[
 RowBox[{"TruncatedExpMoment", "[", 
  RowBox[{"dist", ",", " ", "a", ",", 
   RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753267379625836*^9, 3.7532673801235847`*^9}},
 CellLabel->
  "In[161]:=",ExpressionUUID->"153c1e69-c9d2-4dab-82b6-c18e26641bee"],

Cell[BoxData[
 RowBox[{
  RowBox[{"1", "-", 
   TemplateBox[{RowBox[{
       SuperscriptBox["\[ExponentialE]", 
        RowBox[{"-", "y"}]], " ", 
       RowBox[{
         TemplateBox[{"Probability"}, "InactiveHead", BaseStyle -> "Inactive",
           Tooltip -> "Inactive[Probability]", SyntaxForm -> "Symbol"], "[", 
         RowBox[{
           RowBox[{"Y", ">", "y"}], ",", 
           RowBox[{"Y", "\[Distributed]", "dist"}]}], "]"}]}],"y","0","a"},
    "InactiveIntegrate",
    DisplayFunction->(RowBox[{
       SubsuperscriptBox[
        StyleBox["\[Integral]", "Inactive"], #3, #4], 
       RowBox[{#, 
         RowBox[{
           StyleBox["\[DifferentialD]", "Inactive"], #2}]}]}]& ),
    InterpretationFunction->(RowBox[{
       RowBox[{"Inactive", "[", "Integrate", "]"}], "[", 
       RowBox[{#, ",", 
         RowBox[{"{", 
           RowBox[{#2, ",", #3, ",", #4}], "}"}]}], "]"}]& )], "-", 
   RowBox[{
    SuperscriptBox["\[ExponentialE]", 
     RowBox[{"-", "a"}]], " ", 
    RowBox[{
     TemplateBox[{"Probability"},
      "InactiveHead",
      BaseStyle->"Inactive",
      SyntaxForm->"Symbol",
      Tooltip->"Inactive[Probability]"], "[", 
     RowBox[{
      RowBox[{"Y", ">", "a"}], ",", 
      RowBox[{"Y", "\[Distributed]", "dist"}]}], "]"}]}]}], "//", 
  "Activate"}]], "Input",
 CellChangeTimes->{{3.753271180620459*^9, 3.753271186804385*^9}},
 CellLabel->
  "In[162]:=",ExpressionUUID->"008e8708-de36-45e0-b8ce-c010039caa82"],

Cell[CellGroupData[{

Cell["Try uniform", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 
  3.7532674092123413`*^9}},ExpressionUUID->"00d4b4bf-1622-4ff7-b902-\
47a4e3913470"],

Cell[BoxData[
 RowBox[{"udist", " ", "=", " ", 
  RowBox[{"UniformDistribution", "[", 
   RowBox[{"{", 
    RowBox[{"0", ",", "1"}], "}"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}},
 CellLabel->
  "In[163]:=",ExpressionUUID->"ab1ac4e4-ff6a-4eb1-ae92-28be3904c4ea"],

Cell[BoxData[
 RowBox[{"utest", "=", 
  RowBox[{
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"udist", ",", " ", "a"}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"udist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"udist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268589025296*^9, 3.7532685907087793`*^9}},
 CellLabel->
  "In[164]:=",ExpressionUUID->"105b78aa-87ee-4809-99a4-cc2071d4f146"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{"0", "<", "a", "<", "1"}], ",", 
   RowBox[{
    RowBox[{"utest", "//", "Activate"}], "//", "Simplify"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268595531505*^9, 3.753268596216839*^9}},
 CellLabel->"In[165]:=",ExpressionUUID->"dd361854-f9f1-4f13-a0d6-df66fd13002d"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Try exponential", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 3.7532674092123413`*^9}, 
   3.753268326990238*^9},ExpressionUUID->"2ee32560-e270-4ad8-9b88-\
c88b09d2acee"],

Cell[BoxData[
 RowBox[{"edist", " ", "=", " ", 
  RowBox[{"ExponentialDistribution", "[", "1", "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}, {
  3.753268337056608*^9, 3.7532683485973454`*^9}},
 CellLabel->
  "In[166]:=",ExpressionUUID->"77640893-ffb6-4c4b-ab86-f3ae549773ff"],

Cell[BoxData[
 RowBox[{"etest", "=", 
  RowBox[{
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"edist", ",", " ", "a"}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"edist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"edist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268354743681*^9, 3.753268360678359*^9}, {3.753268599195771*^9, 
   3.753268600801613*^9}},
 CellLabel->
  "In[167]:=",ExpressionUUID->"708a6e02-0c6c-44da-aef9-232c15f0d7da"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{"0", "<", "a"}], ",", 
   RowBox[{
    RowBox[{"etest", "//", "Activate"}], "//", "FullSimplify"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268370039122*^9, 3.753268371276986*^9}, {
  3.753268410488391*^9, 3.753268441594426*^9}, {3.753268478102257*^9, 
  3.753268491095915*^9}, {3.753268557559025*^9, 3.7532685726593237`*^9}, {
  3.7532686054060593`*^9, 3.7532686066526003`*^9}},
 CellLabel->"In[168]:=",ExpressionUUID->"efa7f38e-10bb-4f5c-b465-cd3cbd37f1ae"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Try beta", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 3.7532674092123413`*^9}, 
   3.753268326990238*^9, {3.753268616438023*^9, 
   3.753268617729904*^9}},ExpressionUUID->"a18b4425-e6dc-4c0c-adc9-\
cba12402a875"],

Cell[BoxData[
 RowBox[{"bdist", " ", "=", " ", 
  RowBox[{"BetaDistribution", "[", 
   RowBox[{"3", ",", "7"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}, {
  3.753268337056608*^9, 3.7532683485973454`*^9}, {3.7532686245951138`*^9, 
  3.753268633676969*^9}},
 CellLabel->
  "In[169]:=",ExpressionUUID->"9baf6c0d-87bd-49f3-b346-dca46158eeb1"],

Cell[BoxData[
 RowBox[{"btest", "=", 
  RowBox[{
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"bdist", ",", " ", "a"}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"bdist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"bdist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268354743681*^9, 3.753268360678359*^9}, {3.753268599195771*^9, 
   3.753268600801613*^9}, {3.7532686352843847`*^9, 3.753268644069017*^9}},
 CellLabel->
  "In[170]:=",ExpressionUUID->"95e5d961-0751-4270-aea4-786435b88005"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{"0", "<", "a", "<", "1"}], ",", 
   RowBox[{
    RowBox[{"btest", "//", "Activate"}], "//", "FullSimplify"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268370039122*^9, 3.753268371276986*^9}, {
  3.753268410488391*^9, 3.753268441594426*^9}, {3.753268478102257*^9, 
  3.753268491095915*^9}, {3.753268557559025*^9, 3.7532685726593237`*^9}, {
  3.7532686054060593`*^9, 3.7532686066526003`*^9}, {3.753268648685055*^9, 
  3.753268683601047*^9}, {3.753268767471789*^9, 3.753268769879347*^9}},
 CellLabel->"In[171]:=",ExpressionUUID->"eddc8768-9ee5-4960-9232-e24682dc5275"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Try gamma", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 3.7532674092123413`*^9}, 
   3.753268326990238*^9, {3.753268616438023*^9, 3.753268617729904*^9}, {
   3.753268795815468*^9, 
   3.753268796362444*^9}},ExpressionUUID->"18c552c9-69cc-4ff6-9cbe-\
cd2896bbf343"],

Cell[BoxData[
 RowBox[{"gdist", " ", "=", " ", 
  RowBox[{"GammaDistribution", "[", 
   RowBox[{"3", ",", "7"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}, {
  3.753268337056608*^9, 3.7532683485973454`*^9}, {3.7532686245951138`*^9, 
  3.753268633676969*^9}, {3.753268798357826*^9, 3.753268807170978*^9}},
 CellLabel->
  "In[172]:=",ExpressionUUID->"e3f474c2-bab3-44ff-ace5-5928ec1a1609"],

Cell[BoxData[
 RowBox[{"gtest", "=", 
  RowBox[{
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"gdist", ",", " ", "a"}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"gdist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedExpMoment", "[", 
    RowBox[{"gdist", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268354743681*^9, 3.753268360678359*^9}, {3.753268599195771*^9, 
   3.753268600801613*^9}, {3.7532686352843847`*^9, 3.753268644069017*^9}, {
   3.753268813020228*^9, 3.753268821420154*^9}},
 CellLabel->
  "In[173]:=",ExpressionUUID->"6ce79969-a56f-4cfd-9529-9691e6738274"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{"0", "<", "a"}], ",", 
   RowBox[{
    RowBox[{"gtest", "//", "Activate"}], "//", "FullSimplify"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268370039122*^9, 3.753268371276986*^9}, {
  3.753268410488391*^9, 3.753268441594426*^9}, {3.753268478102257*^9, 
  3.753268491095915*^9}, {3.753268557559025*^9, 3.7532685726593237`*^9}, {
  3.7532686054060593`*^9, 3.7532686066526003`*^9}, {3.753268648685055*^9, 
  3.753268683601047*^9}, {3.753268767471789*^9, 3.753268769879347*^9}, {
  3.75326882889176*^9, 3.753268830418803*^9}},
 CellLabel->"In[174]:=",ExpressionUUID->"740aa6ba-ea9a-49b2-912b-73a84e11688d"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Moment", "Subchapter",
 CellChangeTimes->{{3.7532688622988777`*^9, 3.753268870088748*^9}, {
  3.7532690040035057`*^9, 
  3.753269006050239*^9}},ExpressionUUID->"4a6eee72-168f-44be-b39e-\
5ac2d5a5d14f"],

Cell[BoxData[
 RowBox[{"Get", "[", "\"\<CalcMoment`\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.7532655926045837`*^9, 3.753265594100417*^9}},
 CellLabel->
  "In[175]:=",ExpressionUUID->"298e2532-e512-4894-8d2f-af696ed744a2"],

Cell[BoxData[
 RowBox[{"TruncatedMoment", "[", 
  RowBox[{"dist", ",", "p", ",", " ", "a"}], "]"}]], "Input",
 CellChangeTimes->{{3.753266460672303*^9, 3.7532664681013603`*^9}, 
   3.7532674786687927`*^9, {3.7532690090317993`*^9, 3.7532690141961527`*^9}},
 CellLabel->
  "In[176]:=",ExpressionUUID->"a8e64082-f2b4-4ad9-b629-c92c405b741d"],

Cell[BoxData[
 RowBox[{"TruncatedMoment", "[", 
  RowBox[{"dist", ",", " ", "p", ",", " ", "a", ",", 
   RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}]], "Input",
 CellChangeTimes->{{3.7532672780013657`*^9, 3.75326728887059*^9}, {
  3.7532690251792*^9, 3.753269029395824*^9}},
 CellLabel->
  "In[177]:=",ExpressionUUID->"b26be738-e6de-46d4-8bce-4028951f1cc4"],

Cell[BoxData[
 RowBox[{"TruncatedMoment", "[", 
  RowBox[{"dist", ",", "p", ",", " ", "a", ",", 
   RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753267379625836*^9, 3.7532673801235847`*^9}, {
  3.753269037133704*^9, 3.753269044735536*^9}},
 CellLabel->
  "In[178]:=",ExpressionUUID->"19f3a331-b5b3-47f9-b1ce-f0a18dc7b582"],

Cell[CellGroupData[{

Cell["Try uniform", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 
  3.7532674092123413`*^9}},ExpressionUUID->"26d4dc78-5b35-4beb-9743-\
0818b531acd9"],

Cell[BoxData[
 RowBox[{"udist", " ", "=", " ", 
  RowBox[{"UniformDistribution", "[", 
   RowBox[{"{", 
    RowBox[{"0", ",", "1"}], "}"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}},
 CellLabel->
  "In[179]:=",ExpressionUUID->"06747a12-e8e3-4488-b834-c9b5d2ed8d49"],

Cell[BoxData[
 RowBox[{"utest", "=", 
  RowBox[{
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"udist", ",", " ", "p", ",", "a"}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"udist", ",", " ", "p", ",", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"udist", ",", " ", "p", ",", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268589025296*^9, 3.7532685907087793`*^9}, {3.7532692034582644`*^9, 
   3.7532692317309523`*^9}},
 CellLabel->
  "In[180]:=",ExpressionUUID->"13a67adb-b04b-4d7a-a5d5-9cba3eb53dea"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"0", "<", "a", "<", "1"}], "&&", 
    RowBox[{"p", "\[GreaterEqual]", "1"}]}], ",", 
   RowBox[{
    RowBox[{"utest", "//", "Activate"}], "//", 
    RowBox[{
     RowBox[{"Map", "[", 
      RowBox[{"Simplify", ",", "#"}], "]"}], "&"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268595531505*^9, 3.753268596216839*^9}, {
  3.753269304577826*^9, 3.753269353193644*^9}},
 CellLabel->"In[181]:=",ExpressionUUID->"4203f444-2533-47a1-884c-e913922e72b5"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Try exponential", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 3.7532674092123413`*^9}, 
   3.753268326990238*^9},ExpressionUUID->"e1451cce-3c8a-4f34-ba42-\
823b770c0ac7"],

Cell[BoxData[
 RowBox[{"edist", " ", "=", " ", 
  RowBox[{"ExponentialDistribution", "[", "1", "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}, {
  3.753268337056608*^9, 3.7532683485973454`*^9}},
 CellLabel->
  "In[182]:=",ExpressionUUID->"d1278dd0-9f92-4bf2-8b92-eb1a054e65ee"],

Cell[BoxData[
 RowBox[{"etest", "=", 
  RowBox[{
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"edist", ",", " ", "p", ",", "a"}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"edist", ",", " ", "p", ",", " ", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"edist", ",", " ", "p", ",", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268354743681*^9, 3.753268360678359*^9}, {3.753268599195771*^9, 
   3.753268600801613*^9}, {3.753270081397604*^9, 3.753270114012169*^9}},
 CellLabel->
  "In[183]:=",ExpressionUUID->"496fadc7-944f-452e-9e59-e9540afecc06"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"0", "<", "a"}], "&&", 
    RowBox[{"p", "\[GreaterEqual]", "1"}]}], ",", 
   RowBox[{
    RowBox[{"etest", "//", "Activate"}], "//", "FullSimplify"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268370039122*^9, 3.753268371276986*^9}, {
  3.753268410488391*^9, 3.753268441594426*^9}, {3.753268478102257*^9, 
  3.753268491095915*^9}, {3.753268557559025*^9, 3.7532685726593237`*^9}, {
  3.7532686054060593`*^9, 3.7532686066526003`*^9}, {3.753270121763818*^9, 
  3.7532701233305264`*^9}},
 CellLabel->"In[184]:=",ExpressionUUID->"4afdc1f6-ddab-48c9-99e0-bbe2b02d4f4c"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Try beta", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 3.7532674092123413`*^9}, 
   3.753268326990238*^9, {3.753268616438023*^9, 
   3.753268617729904*^9}},ExpressionUUID->"c32b595f-10fe-46d6-88ef-\
435358d09d18"],

Cell[BoxData[
 RowBox[{"bdist", " ", "=", " ", 
  RowBox[{"BetaDistribution", "[", 
   RowBox[{"3", ",", "7"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}, {
  3.753268337056608*^9, 3.7532683485973454`*^9}, {3.7532686245951138`*^9, 
  3.753268633676969*^9}},
 CellLabel->
  "In[185]:=",ExpressionUUID->"1cc81fa8-a003-46a9-9052-0932d6101441"],

Cell[BoxData[
 RowBox[{"btest", "=", 
  RowBox[{
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"bdist", ",", " ", "p", ",", "a"}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"bdist", ",", " ", "p", ",", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"bdist", ",", " ", "p", ",", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268354743681*^9, 3.753268360678359*^9}, {3.753268599195771*^9, 
   3.753268600801613*^9}, {3.7532686352843847`*^9, 3.753268644069017*^9}, {
   3.7532701350768423`*^9, 3.753270153579527*^9}},
 CellLabel->
  "In[186]:=",ExpressionUUID->"5a553234-760d-4f09-8ec7-f39265f7b400"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"0", "<", "a", "<", "1"}], "&&", 
    RowBox[{"p", "\[GreaterEqual]", "1"}]}], ",", 
   RowBox[{
    RowBox[{"btest", "//", "Activate"}], "//", "FullSimplify"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268370039122*^9, 3.753268371276986*^9}, {
  3.753268410488391*^9, 3.753268441594426*^9}, {3.753268478102257*^9, 
  3.753268491095915*^9}, {3.753268557559025*^9, 3.7532685726593237`*^9}, {
  3.7532686054060593`*^9, 3.7532686066526003`*^9}, {3.753268648685055*^9, 
  3.753268683601047*^9}, {3.753268767471789*^9, 3.753268769879347*^9}, {
  3.753270160047867*^9, 3.753270161768525*^9}},
 CellLabel->"In[187]:=",ExpressionUUID->"5268866d-89a4-423a-b983-13ab459e03b8"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Try gamma", "Section",
 CellChangeTimes->{{3.753267403706476*^9, 3.7532674092123413`*^9}, 
   3.753268326990238*^9, {3.753268616438023*^9, 3.753268617729904*^9}, {
   3.753268795815468*^9, 
   3.753268796362444*^9}},ExpressionUUID->"def0f0a0-4ed9-463e-8ae5-\
76314c25dac3"],

Cell[BoxData[
 RowBox[{"gdist", " ", "=", " ", 
  RowBox[{"GammaDistribution", "[", 
   RowBox[{"3", ",", "7"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.753267419327594*^9, 3.753267426778069*^9}, {
  3.753268337056608*^9, 3.7532683485973454`*^9}, {3.7532686245951138`*^9, 
  3.753268633676969*^9}, {3.753268798357826*^9, 3.753268807170978*^9}},
 CellLabel->
  "In[188]:=",ExpressionUUID->"9047bb29-1f60-4ae2-8678-870ac40c4421"],

Cell[BoxData[
 RowBox[{"gtest", "=", 
  RowBox[{
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"gdist", ",", " ", "p", ",", "a"}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"gdist", ",", " ", "p", ",", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Left\>\""}]}], "]"}], "==", 
   RowBox[{"TruncatedMoment", "[", 
    RowBox[{"gdist", ",", " ", "p", ",", "a", ",", 
     RowBox[{"MomentForm", "\[Rule]", "\"\<Right\>\""}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{
  3.753267491266376*^9, {3.753267720285082*^9, 3.753267753161852*^9}, {
   3.753268354743681*^9, 3.753268360678359*^9}, {3.753268599195771*^9, 
   3.753268600801613*^9}, {3.7532686352843847`*^9, 3.753268644069017*^9}, {
   3.753268813020228*^9, 3.753268821420154*^9}, {3.753270180825796*^9, 
   3.753270209323552*^9}},
 CellLabel->
  "In[189]:=",ExpressionUUID->"41b281eb-2ec2-484f-b3ed-a299823de04a"],

Cell[BoxData[
 RowBox[{"Assuming", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"0", "<", "a"}], "&&", 
    RowBox[{"p", "\[GreaterEqual]", "1"}]}], ",", 
   RowBox[{
    RowBox[{"gtest", "//", "Activate"}], "//", "FullSimplify"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.753267741419037*^9, 3.753267743941319*^9}, {
  3.7532677787314043`*^9, 3.75326780847964*^9}, {3.7532682768212023`*^9, 
  3.753268278232958*^9}, {3.753268370039122*^9, 3.753268371276986*^9}, {
  3.753268410488391*^9, 3.753268441594426*^9}, {3.753268478102257*^9, 
  3.753268491095915*^9}, {3.753268557559025*^9, 3.7532685726593237`*^9}, {
  3.7532686054060593`*^9, 3.7532686066526003`*^9}, {3.753268648685055*^9, 
  3.753268683601047*^9}, {3.753268767471789*^9, 3.753268769879347*^9}, {
  3.75326882889176*^9, 3.753268830418803*^9}, {3.753270233090085*^9, 
  3.753270234313518*^9}},
 CellLabel->"In[190]:=",ExpressionUUID->"f8e7ef98-862f-439b-8fb0-4eea83357b5c"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
},
WindowSize->{960, 1170},
WindowMargins->{{Automatic, 0}, {0, Automatic}},
PrivateNotebookOptions->{"FileOutlineCache"->False},
FrontEndVersion->"11.3 for Linux x86 (64-bit) (March 6, 2018)",
StyleDefinitions->"Default.nb"
]