From 014aac9241f30d023e88546a1e4cbb3c225577bd Mon Sep 17 00:00:00 2001 From: Ian Hinder Date: Sun, 12 Jun 2011 01:45:48 +0200 Subject: Add notebook for testing TensorTools --- Tests/TestTensorTools.nb | 4729 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 4729 insertions(+) create mode 100644 Tests/TestTensorTools.nb (limited to 'Tests') diff --git a/Tests/TestTensorTools.nb b/Tests/TestTensorTools.nb new file mode 100644 index 0000000..8659a71 --- /dev/null +++ b/Tests/TestTensorTools.nb @@ -0,0 +1,4729 @@ +(* Content-type: application/vnd.wolfram.mathematica *) + +(*** Wolfram Notebook File ***) +(* http://www.wolfram.com/nb *) + +(* CreatedBy='Mathematica 8.0' *) + +(*CacheID: 234*) +(* Internal cache information: +NotebookFileLineBreakTest +NotebookFileLineBreakTest +NotebookDataPosition[ 157, 7] +NotebookDataLength[ 174395, 4720] +NotebookOptionsPosition[ 164517, 4386] +NotebookOutlinePosition[ 164894, 4403] +CellTagsIndexPosition[ 164851, 4400] +WindowFrame->Normal*) + +(* Beginning of Notebook Content *) +Notebook[{ + +Cell[CellGroupData[{ +Cell["Initialise", "Section", + CellChangeTimes->{{3.516711085808105*^9, 3.5167110896048*^9}}], + +Cell[BoxData[ + RowBox[{ + RowBox[{"SetDirectory", "[", + RowBox[{"NotebookDirectory", "[", "]"}], "]"}], ";"}]], "Input", + CellChangeTimes->{{3.516729532355905*^9, 3.5167295422896013`*^9}}], + +Cell[BoxData[ + RowBox[{ + RowBox[{"$Path", "=", + RowBox[{"Join", "[", + RowBox[{ + RowBox[{"{", + RowBox[{ + "\"\<../Tools/CodeGen\>\"", ",", "\"\<../Tools/MathematicaMisc\>\""}], + "}"}], ",", "$Path"}], "]"}]}], ";"}]], "Input", + CellChangeTimes->{{3.516711119637307*^9, 3.516711122648693*^9}, { + 3.516729587419428*^9, 3.516729591999905*^9}}], + +Cell[BoxData[ + RowBox[{"<<", "TensorTools`"}]], "Input"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"enhancedTimes", "=", "False"}], ";"}]], "Input", + CellChangeTimes->{{3.5167320892624493`*^9, 3.5167321170034027`*^9}, { + 3.5167325931976433`*^9, 3.51673259383608*^9}, {3.516732809603485*^9, + 3.516732810030449*^9}, {3.516733269600278*^9, 3.5167332701604633`*^9}}], + +Cell[BoxData[ + RowBox[{ + RowBox[{"SetEnhancedTimes", "[", "enhancedTimes", "]"}], ";"}]], "Input", + CellChangeTimes->{{3.516714302304484*^9, 3.516714311217524*^9}, { + 3.516728865533861*^9, 3.516728866420492*^9}, {3.516728924299975*^9, + 3.516728924875741*^9}, {3.516732095933824*^9, 3.516732097787462*^9}}] +}, Open ]], + +Cell[CellGroupData[{ + +Cell["Definitions", "Section", + CellChangeTimes->{{3.5167126190282383`*^9, 3.5167126202896433`*^9}}], + +Cell[BoxData[ + RowBox[{"SetAttributes", "[", + RowBox[{"test", ",", "HoldFirst"}], "]"}]], "Input", + CellChangeTimes->{{3.516712643600623*^9, 3.516712670385563*^9}}], + +Cell[BoxData[ + RowBox[{ + RowBox[{"test", "[", + RowBox[{"t_", ",", "r1_"}], "]"}], ":=", "\[IndentingNewLine]", + RowBox[{"Module", "[", + RowBox[{ + RowBox[{"{", "r", "}"}], ",", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"r", "=", + RowBox[{"If", "[", + RowBox[{"enhancedTimes", ",", + RowBox[{"r1", "/.", + RowBox[{"Times", "\[Rule]", "TensorProduct"}]}], ",", "r1"}], + "]"}]}], ";", "\[IndentingNewLine]", + RowBox[{"If", "[", + RowBox[{ + RowBox[{ + RowBox[{"Expand", "[", + RowBox[{"Evaluate", "[", "t", "]"}], "]"}], "===", + RowBox[{"Expand", "[", "r", "]"}]}], ",", + RowBox[{ + RowBox[{"testsPassed", "++"}], ";", + RowBox[{"Print", "[", + RowBox[{"Style", "[", + RowBox[{ + RowBox[{"HoldForm", "[", "t", "]"}], ",", + RowBox[{"TextAlignment", "\[Rule]", "Center"}]}], "]"}], "]"}], + ";", "\[IndentingNewLine]", + RowBox[{"Print", "[", + RowBox[{"Style", "[", + RowBox[{"\"\<\[DownArrow]\>\"", ",", + RowBox[{"TextAlignment", "\[Rule]", "Center"}]}], "]"}], "]"}], + ";", "\[IndentingNewLine]", + RowBox[{"Print", "[", + RowBox[{"Style", "[", + RowBox[{ + RowBox[{"Expand", "[", "r", "]"}], ",", + RowBox[{"TextAlignment", "\[Rule]", "Center"}]}], "]"}], "]"}], + ";", + RowBox[{"Print", "[", + RowBox[{"Style", "[", + RowBox[{"\"\\"", ",", + RowBox[{"Darker", "@", "Green"}], ",", + RowBox[{"TextAlignment", "\[Rule]", "Right"}]}], "]"}], "]"}], + ";"}], ",", + RowBox[{ + RowBox[{"testsFailed", "++"}], ";", + RowBox[{"Print", "@", + RowBox[{"Grid", "[", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"\"\\"", ",", + RowBox[{"HoldForm", "@", "t"}]}], "}"}], ",", + "\[IndentingNewLine]", + RowBox[{"{", + RowBox[{"\"\\"", ",", + RowBox[{"Expand", "[", "r", "]"}], ",", + RowBox[{"FullForm", "[", + RowBox[{"Expand", "@", "r"}], "]"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{"\"\\"", ",", + RowBox[{"Expand", "@", + RowBox[{"Evaluate", "[", "t", "]"}]}], ",", + RowBox[{"FullForm", "[", + RowBox[{"Expand", "@", + RowBox[{"Evaluate", "[", "t", "]"}]}], "]"}]}], "}"}]}], + "}"}], ",", + RowBox[{"Alignment", "\[Rule]", "Left"}], ",", + RowBox[{"Spacings", "\[Rule]", + RowBox[{"{", + RowBox[{"1", ",", "2"}], "}"}]}]}], "]"}]}], ";", + RowBox[{"Print", "[", + RowBox[{"Style", "[", + RowBox[{"\"\\"", ",", "Red", ",", + RowBox[{"TextAlignment", "\[Rule]", "Right"}]}], "]"}], "]"}], + ";"}]}], "]"}]}]}], "]"}]}]], "Input", + CellChangeTimes->CompressedData[" +1:eJwdyk0og3EAx/GZUIrCpFjEYdEONIoWZYo5KMtBraQsJmkvORjSaBs1LVLz +MiN54jCsFZvaprC2EGlbY8WGGuUlDltpJS/P73/49rl8SyWKjj4mg8Fg00HX +gP96ufpNQLmUYbjrK47ANHvkAfLrj2Pw1cJ6h1dZsjj55vISsDbA+oGBu0oi +v6okxUT7cqFLhTVJUTaUanMq4GpQoYIcn1oNv2/1WpgeWiIOCwx6uB1+Jp45 +jLNQs+6Yh3W2xbIVWtnfGgfy1kXNcHyC2wI9qgKLmbZpymyFhfdC/Qbtpts0 +Ax/Px7agVEbtQDkv3w4HXUKit1/sgbbRBS980sguYTK6H4JfGS330H59Qwzy +dDEofjshSriTcVj+6SYelNiTsNV5+AtHnFYmRZvJ/iAmhhpyIXtaTjztNBbB +vSMzMdpd3gMbqbZe2HVjMEFlu5/4D6sJ6cI= + "]], + +Cell[BoxData[ + RowBox[{ + RowBox[{"reportResults", "[", "]"}], ":=", "\[IndentingNewLine]", + RowBox[{"If", "[", + RowBox[{ + RowBox[{"testsFailed", ">", "0"}], ",", + RowBox[{"Style", "[", + RowBox[{ + RowBox[{ + RowBox[{"ToString", "[", "testsFailed", "]"}], "<>", "\"\< test\>\"", "<>", + RowBox[{"If", "[", + RowBox[{ + RowBox[{"testsFailed", ">", "1"}], ",", "\"\\"", ",", + "\"\<\>\""}], "]"}], "<>", "\"\< failed\>\""}], ",", "Red", ",", + "Bold", ",", + RowBox[{"TextAlignment", "\[Rule]", "Center"}]}], "]"}], ",", + RowBox[{"Style", "[", + RowBox[{ + RowBox[{"\"\\"", "<>", + RowBox[{"ToString", "[", "testsPassed", "]"}], "<>", "\"\< test\>\"", "<>", + RowBox[{"If", "[", + RowBox[{ + RowBox[{"testsPassed", ">", "1"}], ",", "\"\\"", ",", + "\"\<\>\""}], "]"}], "<>", "\"\< passed\>\""}], ",", + RowBox[{"Darker", "@", "Green"}], ",", "Bold", ",", + RowBox[{"TextAlignment", "\[Rule]", "Center"}]}], "]"}]}], + "]"}]}]], "Input", + CellChangeTimes->{{3.5167308607072477`*^9, 3.5167308694212923`*^9}, { + 3.5167315612638693`*^9, 3.51673156530261*^9}, {3.51673166483982*^9, + 3.516731665011476*^9}, {3.516731697108646*^9, 3.516731751642036*^9}}] +}, Open ]], + +Cell[CellGroupData[{ + +Cell["Tests", "Section", + CellChangeTimes->{{3.516711101805972*^9, 3.516711102332358*^9}}], + +Cell[BoxData[ + RowBox[{ + RowBox[{"testsPassed", "=", "0"}], ";", + RowBox[{"testsFailed", "=", "0"}], ";"}]], "Input", + CellChangeTimes->{{3.516712722023284*^9, 3.516712728166437*^9}}], + +Cell[BoxData[ + RowBox[{ + RowBox[{"DefineTensor", "/@", + RowBox[{"{", + RowBox[{"S", ",", "T", ",", "u", ",", "v", ",", "w"}], "}"}]}], + ";"}]], "Input", + CellChangeTimes->{{3.516712098595272*^9, 3.516712117249189*^9}, + 3.516728974324967*^9}], + +Cell["\<\ +We currently only test with correct input as it is CheckTensor\ +\[CloseCurlyQuote]s responsibility to check that the input is correct. This \ +should be changed.\ +\>", "Text", + CellChangeTimes->{{3.516714996696578*^9, 3.516715024021208*^9}}], + +Cell[CellGroupData[{ + +Cell["makeSum", "Subsection", + CellChangeTimes->{{3.516712499401973*^9, 3.516712500295203*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"makeSum", "=", "TensorTools`Private`makeSum"}]], "Input", + CellChangeTimes->{{3.516712511828207*^9, 3.51671251996776*^9}}], + +Cell[BoxData["TensorTools`Private`makeSum"], "Output", + CellChangeTimes->{ + 3.516712520767968*^9, 3.516713517150977*^9, 3.516714318539379*^9, + 3.516715691414747*^9, 3.516716095319128*^9, {3.516716377429764*^9, + 3.5167164049755077`*^9}, 3.516716444512086*^9, 3.516716726505457*^9, + 3.516717205213876*^9, {3.516717365446466*^9, 3.516717392098217*^9}, + 3.516717424542239*^9, 3.51671750714804*^9, 3.516717554872266*^9, + 3.516717676366507*^9, 3.516717803207734*^9, 3.5167180616741543`*^9, + 3.516718232817121*^9, 3.516718376078525*^9, 3.5167186674720297`*^9, + 3.5167188256664267`*^9, 3.5167190131297007`*^9, 3.5167278604795732`*^9, { + 3.51672844503931*^9, 3.516728464400291*^9}, 3.516728545065269*^9, + 3.5167286424920473`*^9, 3.516728876364396*^9, {3.5167289318570004`*^9, + 3.5167289480751677`*^9}, 3.5167289973913527`*^9, 3.51672961519386*^9, + 3.51673011065491*^9, 3.516730742701647*^9, 3.516730791832831*^9, + 3.51673083861318*^9, 3.51673093044914*^9, 3.516731068595067*^9, + 3.5167311852767487`*^9, 3.5167314391610126`*^9, 3.516731543024892*^9, + 3.516731576714344*^9, 3.5167316802797947`*^9, {3.516731756210204*^9, + 3.516731795264969*^9}, 3.516732135861174*^9, 3.516732198555706*^9, { + 3.516732602515377*^9, 3.516732629881921*^9}, 3.516732817844573*^9, + 3.516732977384715*^9, 3.516824704096592*^9}] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", "1", "]"}], ",", "1"}], "]"}]], "Input", + CellChangeTimes->{{3.516712122439271*^9, 3.516712158455611*^9}, { + 3.516712502257062*^9, 3.5167125308545847`*^9}, {3.5167127847241783`*^9, + 3.5167127870685472`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", "1", "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307427784033`*^9, 3.516730791900742*^9, 3.516730838694743*^9, + 3.5167309305353394`*^9, 3.516731068639455*^9, 3.5167311853528223`*^9, + 3.5167314391957617`*^9, 3.516731543058934*^9, 3.516731576752531*^9, + 3.5167316803162746`*^9, {3.516731756254609*^9, 3.516731795301292*^9}, + 3.516732135923071*^9, 3.5167321985970078`*^9, {3.51673260258818*^9, + 3.516732629928255*^9}, 3.516732817898074*^9, 3.516732977441176*^9, + 3.5168247043048162`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307427784033`*^9, 3.516730791900742*^9, 3.516730838694743*^9, + 3.5167309305353394`*^9, 3.516731068639455*^9, 3.5167311853528223`*^9, + 3.5167314391957617`*^9, 3.516731543058934*^9, 3.516731576752531*^9, + 3.5167316803162746`*^9, {3.516731756254609*^9, 3.516731795301292*^9}, + 3.516732135923071*^9, 3.5167321985970078`*^9, {3.51673260258818*^9, + 3.516732629928255*^9}, 3.516732817898074*^9, 3.516732977441176*^9, + 3.5168247043079023`*^9}], + +Cell[BoxData[ + StyleBox["1", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307427784033`*^9, 3.516730791900742*^9, 3.516730838694743*^9, + 3.5167309305353394`*^9, 3.516731068639455*^9, 3.5167311853528223`*^9, + 3.5167314391957617`*^9, 3.516731543058934*^9, 3.516731576752531*^9, + 3.5167316803162746`*^9, {3.516731756254609*^9, 3.516731795301292*^9}, + 3.516732135923071*^9, 3.5167321985970078`*^9, {3.51673260258818*^9, + 3.516732629928255*^9}, 3.516732817898074*^9, 3.516732977441176*^9, + 3.5168247043119383`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307427784033`*^9, 3.516730791900742*^9, 3.516730838694743*^9, + 3.5167309305353394`*^9, 3.516731068639455*^9, 3.5167311853528223`*^9, + 3.5167314391957617`*^9, 3.516731543058934*^9, 3.516731576752531*^9, + 3.5167316803162746`*^9, {3.516731756254609*^9, 3.516731795301292*^9}, + 3.516732135923071*^9, 3.5167321985970078`*^9, {3.51673260258818*^9, + 3.516732629928255*^9}, 3.516732817898074*^9, 3.516732977441176*^9, + 3.516824704402514*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", "x", "]"}], ",", "x"}], "]"}]], "Input", + CellChangeTimes->{{3.516712540603698*^9, 3.516712545918689*^9}, { + 3.516712798686399*^9, 3.516712800820011*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", "x", "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.51673074283119*^9, 3.5167307919518423`*^9, 3.516730838786776*^9, + 3.5167309306040297`*^9, 3.516731068701839*^9, 3.516731185465616*^9, + 3.5167314392454767`*^9, 3.516731543106861*^9, 3.5167315767974997`*^9, + 3.516731680362309*^9, {3.516731756297579*^9, 3.516731795365222*^9}, + 3.516732135972896*^9, 3.516732198647307*^9, {3.516732602674551*^9, + 3.516732629977222*^9}, 3.516732818009059*^9, 3.516732977510326*^9, + 3.516824704448454*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.51673074283119*^9, 3.5167307919518423`*^9, 3.516730838786776*^9, + 3.5167309306040297`*^9, 3.516731068701839*^9, 3.516731185465616*^9, + 3.5167314392454767`*^9, 3.516731543106861*^9, 3.5167315767974997`*^9, + 3.516731680362309*^9, {3.516731756297579*^9, 3.516731795365222*^9}, + 3.516732135972896*^9, 3.516732198647307*^9, {3.516732602674551*^9, + 3.516732629977222*^9}, 3.516732818009059*^9, 3.516732977510326*^9, + 3.516824704451659*^9}], + +Cell[BoxData[ + StyleBox["x", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.51673074283119*^9, 3.5167307919518423`*^9, 3.516730838786776*^9, + 3.5167309306040297`*^9, 3.516731068701839*^9, 3.516731185465616*^9, + 3.5167314392454767`*^9, 3.516731543106861*^9, 3.5167315767974997`*^9, + 3.516731680362309*^9, {3.516731756297579*^9, 3.516731795365222*^9}, + 3.516732135972896*^9, 3.516732198647307*^9, {3.516732602674551*^9, + 3.516732629977222*^9}, 3.516732818009059*^9, 3.516732977510326*^9, + 3.516824704456107*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.51673074283119*^9, 3.5167307919518423`*^9, 3.516730838786776*^9, + 3.5167309306040297`*^9, 3.516731068701839*^9, 3.516731185465616*^9, + 3.5167314392454767`*^9, 3.516731543106861*^9, 3.5167315767974997`*^9, + 3.516731680362309*^9, {3.516731756297579*^9, 3.516731795365222*^9}, + 3.516732135972896*^9, 3.516732198647307*^9, {3.516732602674551*^9, + 3.516732629977222*^9}, 3.516732818009059*^9, 3.516732977510326*^9, + 3.516824704460538*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"x", "^", "2"}], "]"}], ",", + RowBox[{"x", "^", "2"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516712548074691*^9, 3.516712552823522*^9}, { + 3.516712802372035*^9, 3.5167128046193037`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + SuperscriptBox["x", "2"], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307428898687`*^9, 3.5167307919984503`*^9, 3.516730838888898*^9, { + 3.516730907068622*^9, 3.5167309306549664`*^9}, 3.516731068800364*^9, + 3.516731185565032*^9, 3.516731439296937*^9, 3.516731543157112*^9, + 3.516731576847486*^9, 3.51673168041227*^9, {3.51673175634365*^9, + 3.5167317954304457`*^9}, 3.516732136024283*^9, 3.516732198694138*^9, { + 3.516732602731728*^9, 3.5167326300288343`*^9}, 3.516732818109274*^9, + 3.516732977632201*^9, 3.516824704515423*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307428898687`*^9, 3.5167307919984503`*^9, 3.516730838888898*^9, { + 3.516730907068622*^9, 3.5167309306549664`*^9}, 3.516731068800364*^9, + 3.516731185565032*^9, 3.516731439296937*^9, 3.516731543157112*^9, + 3.516731576847486*^9, 3.51673168041227*^9, {3.51673175634365*^9, + 3.5167317954304457`*^9}, 3.516732136024283*^9, 3.516732198694138*^9, { + 3.516732602731728*^9, 3.5167326300288343`*^9}, 3.516732818109274*^9, + 3.516732977632201*^9, 3.51682470451853*^9}], + +Cell[BoxData[ + StyleBox[ + SuperscriptBox["x", "2"], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307428898687`*^9, 3.5167307919984503`*^9, 3.516730838888898*^9, { + 3.516730907068622*^9, 3.5167309306549664`*^9}, 3.516731068800364*^9, + 3.516731185565032*^9, 3.516731439296937*^9, 3.516731543157112*^9, + 3.516731576847486*^9, 3.51673168041227*^9, {3.51673175634365*^9, + 3.5167317954304457`*^9}, 3.516732136024283*^9, 3.516732198694138*^9, { + 3.516732602731728*^9, 3.5167326300288343`*^9}, 3.516732818109274*^9, + 3.516732977632201*^9, 3.5168247045243263`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307428898687`*^9, 3.5167307919984503`*^9, 3.516730838888898*^9, { + 3.516730907068622*^9, 3.5167309306549664`*^9}, 3.516731068800364*^9, + 3.516731185565032*^9, 3.516731439296937*^9, 3.516731543157112*^9, + 3.516731576847486*^9, 3.51673168041227*^9, {3.51673175634365*^9, + 3.5167317954304457`*^9}, 3.516732136024283*^9, 3.516732198694138*^9, { + 3.516732602731728*^9, 3.5167326300288343`*^9}, 3.516732818109274*^9, + 3.516732977632201*^9, 3.516824704528843*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"x", "^", "2"}], "+", "1"}], "]"}], ",", + RowBox[{"1", "+", + RowBox[{"x", "^", "2"}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516712557208482*^9, 3.516712562629436*^9}, { + 3.516712806539609*^9, 3.516712814355422*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + SuperscriptBox["x", "2"], "+", "1"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730742939842*^9, 3.516730792049458*^9, 3.516730838976981*^9, + 3.5167309307128277`*^9, {3.5167310319669647`*^9, 3.516731068921685*^9}, + 3.516731185647142*^9, 3.516731439347452*^9, 3.516731543208972*^9, + 3.5167315768972673`*^9, 3.5167316804602823`*^9, {3.516731756394342*^9, + 3.5167317954989367`*^9}, 3.516732136075109*^9, 3.5167321987443132`*^9, { + 3.516732602838645*^9, 3.516732630078211*^9}, 3.516732818159136*^9, + 3.5167329777090673`*^9, 3.516824704588522*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730742939842*^9, 3.516730792049458*^9, 3.516730838976981*^9, + 3.5167309307128277`*^9, {3.5167310319669647`*^9, 3.516731068921685*^9}, + 3.516731185647142*^9, 3.516731439347452*^9, 3.516731543208972*^9, + 3.5167315768972673`*^9, 3.5167316804602823`*^9, {3.516731756394342*^9, + 3.5167317954989367`*^9}, 3.516732136075109*^9, 3.5167321987443132`*^9, { + 3.516732602838645*^9, 3.516732630078211*^9}, 3.516732818159136*^9, + 3.5167329777090673`*^9, 3.516824704591844*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"1", "+", + SuperscriptBox["x", "2"]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730742939842*^9, 3.516730792049458*^9, 3.516730838976981*^9, + 3.5167309307128277`*^9, {3.5167310319669647`*^9, 3.516731068921685*^9}, + 3.516731185647142*^9, 3.516731439347452*^9, 3.516731543208972*^9, + 3.5167315768972673`*^9, 3.5167316804602823`*^9, {3.516731756394342*^9, + 3.5167317954989367`*^9}, 3.516732136075109*^9, 3.5167321987443132`*^9, { + 3.516732602838645*^9, 3.516732630078211*^9}, 3.516732818159136*^9, + 3.5167329777090673`*^9, 3.516824704597641*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730742939842*^9, 3.516730792049458*^9, 3.516730838976981*^9, + 3.5167309307128277`*^9, {3.5167310319669647`*^9, 3.516731068921685*^9}, + 3.516731185647142*^9, 3.516731439347452*^9, 3.516731543208972*^9, + 3.5167315768972673`*^9, 3.5167316804602823`*^9, {3.516731756394342*^9, + 3.5167317954989367`*^9}, 3.516732136075109*^9, 3.5167321987443132`*^9, { + 3.516732602838645*^9, 3.516732630078211*^9}, 3.516732818159136*^9, + 3.5167329777090673`*^9, 3.516824704602222*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"S", "[", "ua", "]"}], "]"}], ",", + RowBox[{"S", "[", "ua", "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516712817963057*^9, 3.5167128295469*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"S", "[", "ua", "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730742994814*^9, 3.51673079210017*^9, 3.516730839054988*^9, + 3.5167309307722054`*^9, 3.5167310689933043`*^9, 3.516731185748961*^9, + 3.516731439397079*^9, 3.5167315432618628`*^9, 3.516731576947204*^9, + 3.516731680511917*^9, {3.5167317564417458`*^9, 3.516731795563511*^9}, + 3.51673213612991*^9, 3.516732198787406*^9, {3.516732602887973*^9, + 3.5167326301299353`*^9}, 3.5167328182307243`*^9, 3.516732977777313*^9, + 3.516824704664837*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730742994814*^9, 3.51673079210017*^9, 3.516730839054988*^9, + 3.5167309307722054`*^9, 3.5167310689933043`*^9, 3.516731185748961*^9, + 3.516731439397079*^9, 3.5167315432618628`*^9, 3.516731576947204*^9, + 3.516731680511917*^9, {3.5167317564417458`*^9, 3.516731795563511*^9}, + 3.51673213612991*^9, 3.516732198787406*^9, {3.516732602887973*^9, + 3.5167326301299353`*^9}, 3.5167328182307243`*^9, 3.516732977777313*^9, + 3.516824704668312*^9}], + +Cell[BoxData[ + StyleBox[ + TemplateBox[{"S",TemplateBox[{"\[Null]", "\"a\""}, "Superscript"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730742994814*^9, 3.51673079210017*^9, 3.516730839054988*^9, + 3.5167309307722054`*^9, 3.5167310689933043`*^9, 3.516731185748961*^9, + 3.516731439397079*^9, 3.5167315432618628`*^9, 3.516731576947204*^9, + 3.516731680511917*^9, {3.5167317564417458`*^9, 3.516731795563511*^9}, + 3.51673213612991*^9, 3.516732198787406*^9, {3.516732602887973*^9, + 3.5167326301299353`*^9}, 3.5167328182307243`*^9, 3.516732977777313*^9, + 3.516824704702063*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730742994814*^9, 3.51673079210017*^9, 3.516730839054988*^9, + 3.5167309307722054`*^9, 3.5167310689933043`*^9, 3.516731185748961*^9, + 3.516731439397079*^9, 3.5167315432618628`*^9, 3.516731576947204*^9, + 3.516731680511917*^9, {3.5167317564417458`*^9, 3.516731795563511*^9}, + 3.51673213612991*^9, 3.516732198787406*^9, {3.516732602887973*^9, + 3.5167326301299353`*^9}, 3.5167328182307243`*^9, 3.516732977777313*^9, + 3.5168247047621107`*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"S", "[", "la", "]"}], "]"}], ",", + RowBox[{"S", "[", "la", "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516712839121992*^9, 3.5167128411861553`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"S", "[", "la", "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307430557737`*^9, 3.51673079214928*^9, 3.516730839163372*^9, + 3.5167309308174686`*^9, 3.516731069050316*^9, 3.516731186064827*^9, + 3.5167314394507504`*^9, 3.5167315433104887`*^9, 3.516731577060121*^9, + 3.5167316805599623`*^9, {3.516731756494372*^9, 3.5167317956320753`*^9}, + 3.516732136222925*^9, 3.516732198837963*^9, {3.516732602948072*^9, + 3.5167326301826057`*^9}, 3.5167328183229647`*^9, 3.516732977908649*^9, + 3.516824704883059*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307430557737`*^9, 3.51673079214928*^9, 3.516730839163372*^9, + 3.5167309308174686`*^9, 3.516731069050316*^9, 3.516731186064827*^9, + 3.5167314394507504`*^9, 3.5167315433104887`*^9, 3.516731577060121*^9, + 3.5167316805599623`*^9, {3.516731756494372*^9, 3.5167317956320753`*^9}, + 3.516732136222925*^9, 3.516732198837963*^9, {3.516732602948072*^9, + 3.5167326301826057`*^9}, 3.5167328183229647`*^9, 3.516732977908649*^9, + 3.5168247048862267`*^9}], + +Cell[BoxData[ + StyleBox[ + TemplateBox[{"S",SubscriptBox["\[Null]", "\"a\""]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307430557737`*^9, 3.51673079214928*^9, 3.516730839163372*^9, + 3.5167309308174686`*^9, 3.516731069050316*^9, 3.516731186064827*^9, + 3.5167314394507504`*^9, 3.5167315433104887`*^9, 3.516731577060121*^9, + 3.5167316805599623`*^9, {3.516731756494372*^9, 3.5167317956320753`*^9}, + 3.516732136222925*^9, 3.516732198837963*^9, {3.516732602948072*^9, + 3.5167326301826057`*^9}, 3.5167328183229647`*^9, 3.516732977908649*^9, + 3.516824704890671*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307430557737`*^9, 3.51673079214928*^9, 3.516730839163372*^9, + 3.5167309308174686`*^9, 3.516731069050316*^9, 3.516731186064827*^9, + 3.5167314394507504`*^9, 3.5167315433104887`*^9, 3.516731577060121*^9, + 3.5167316805599623`*^9, {3.516731756494372*^9, 3.5167317956320753`*^9}, + 3.516732136222925*^9, 3.516732198837963*^9, {3.516732602948072*^9, + 3.5167326301826057`*^9}, 3.5167328183229647`*^9, 3.516732977908649*^9, + 3.516824704896007*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"x", " ", + RowBox[{"S", "[", "ua", "]"}]}], "]"}], ",", + RowBox[{"x", " ", + RowBox[{"S", "[", "ua", "]"}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.5167128738694468`*^9, 3.516712889944193*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"x", " ", + RowBox[{"S", "[", "ua", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743101638*^9, 3.516730792205843*^9, 3.5167308392428837`*^9, + 3.5167309308660927`*^9, 3.516731069116323*^9, 3.516731186146694*^9, + 3.516731439504445*^9, 3.516731543361767*^9, 3.516731577136107*^9, + 3.516731680616723*^9, {3.516731756558777*^9, 3.516731795735806*^9}, + 3.516732136270467*^9, 3.5167321988882313`*^9, {3.516732602993924*^9, + 3.516732630229747*^9}, 3.516732818472025*^9, 3.516732977979822*^9, + 3.516824704933552*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743101638*^9, 3.516730792205843*^9, 3.5167308392428837`*^9, + 3.5167309308660927`*^9, 3.516731069116323*^9, 3.516731186146694*^9, + 3.516731439504445*^9, 3.516731543361767*^9, 3.516731577136107*^9, + 3.516731680616723*^9, {3.516731756558777*^9, 3.516731795735806*^9}, + 3.516732136270467*^9, 3.5167321988882313`*^9, {3.516732602993924*^9, + 3.516732630229747*^9}, 3.516732818472025*^9, 3.516732977979822*^9, + 3.5168247049366617`*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"x", " ", + TemplateBox[{"S",TemplateBox[{"\[Null]", "\"a\""}, "Superscript"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743101638*^9, 3.516730792205843*^9, 3.5167308392428837`*^9, + 3.5167309308660927`*^9, 3.516731069116323*^9, 3.516731186146694*^9, + 3.516731439504445*^9, 3.516731543361767*^9, 3.516731577136107*^9, + 3.516731680616723*^9, {3.516731756558777*^9, 3.516731795735806*^9}, + 3.516732136270467*^9, 3.5167321988882313`*^9, {3.516732602993924*^9, + 3.516732630229747*^9}, 3.516732818472025*^9, 3.516732977979822*^9, + 3.516824704941101*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743101638*^9, 3.516730792205843*^9, 3.5167308392428837`*^9, + 3.5167309308660927`*^9, 3.516731069116323*^9, 3.516731186146694*^9, + 3.516731439504445*^9, 3.516731543361767*^9, 3.516731577136107*^9, + 3.516731680616723*^9, {3.516731756558777*^9, 3.516731795735806*^9}, + 3.516732136270467*^9, 3.5167321988882313`*^9, {3.516732602993924*^9, + 3.516732630229747*^9}, 3.516732818472025*^9, 3.516732977979822*^9, + 3.516824704946643*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"x", " ", + RowBox[{"S", "[", "ua", "]"}]}], "+", + RowBox[{"T", "[", "ua", "]"}]}], "]"}], ",", + RowBox[{ + RowBox[{"x", " ", + RowBox[{"S", "[", "ua", "]"}]}], "+", + RowBox[{"T", "[", "ua", "]"}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516712900471923*^9, 3.516712906447732*^9}, { + 3.5167133144951897`*^9, 3.516713315239502*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"x", " ", + RowBox[{"S", "[", "ua", "]"}]}], "+", + RowBox[{"T", "[", "ua", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743155822*^9, 3.5167307922499237`*^9, 3.51673083950557*^9, + 3.516730931100745*^9, 3.51673106918512*^9, {3.516731169321385*^9, + 3.516731186211101*^9}, 3.516731439628304*^9, 3.5167315434213552`*^9, + 3.516731577182291*^9, 3.516731680665573*^9, {3.516731756610111*^9, + 3.5167317957985287`*^9}, 3.516732136324093*^9, 3.516732198954379*^9, { + 3.5167326030480824`*^9, 3.516732630293317*^9}, 3.516732818521365*^9, + 3.516732978215733*^9, 3.516824704983238*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743155822*^9, 3.5167307922499237`*^9, 3.51673083950557*^9, + 3.516730931100745*^9, 3.51673106918512*^9, {3.516731169321385*^9, + 3.516731186211101*^9}, 3.516731439628304*^9, 3.5167315434213552`*^9, + 3.516731577182291*^9, 3.516731680665573*^9, {3.516731756610111*^9, + 3.5167317957985287`*^9}, 3.516732136324093*^9, 3.516732198954379*^9, { + 3.5167326030480824`*^9, 3.516732630293317*^9}, 3.516732818521365*^9, + 3.516732978215733*^9, 3.516824704986175*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{ + RowBox[{"x", " ", + TemplateBox[{"S",TemplateBox[{"\[Null]", "\"a\""}, "Superscript"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + TemplateBox[{"T",TemplateBox[{"\[Null]", "\"a\""}, "Superscript"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743155822*^9, 3.5167307922499237`*^9, 3.51673083950557*^9, + 3.516730931100745*^9, 3.51673106918512*^9, {3.516731169321385*^9, + 3.516731186211101*^9}, 3.516731439628304*^9, 3.5167315434213552`*^9, + 3.516731577182291*^9, 3.516731680665573*^9, {3.516731756610111*^9, + 3.5167317957985287`*^9}, 3.516732136324093*^9, 3.516732198954379*^9, { + 3.5167326030480824`*^9, 3.516732630293317*^9}, 3.516732818521365*^9, + 3.516732978215733*^9, 3.516824704990749*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743155822*^9, 3.5167307922499237`*^9, 3.51673083950557*^9, + 3.516730931100745*^9, 3.51673106918512*^9, {3.516731169321385*^9, + 3.516731186211101*^9}, 3.516731439628304*^9, 3.5167315434213552`*^9, + 3.516731577182291*^9, 3.516731680665573*^9, {3.516731756610111*^9, + 3.5167317957985287`*^9}, 3.516732136324093*^9, 3.516732198954379*^9, { + 3.5167326030480824`*^9, 3.516732630293317*^9}, 3.516732818521365*^9, + 3.516732978215733*^9, 3.5168247049961348`*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], + RowBox[{"T", "[", "la", "]"}]}], "]"}], ",", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516713322122652*^9, 3.516713346765553*^9}, { + 3.516713527664834*^9, 3.516713531621807*^9}, {3.516713567621447*^9, + 3.5167135778459377`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], " ", + RowBox[{"T", "[", "la", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743197722*^9, 3.5167307922995863`*^9, 3.516730839561111*^9, + 3.516730931144905*^9, 3.516731069443488*^9, 3.516731186280086*^9, + 3.516731439683395*^9, 3.516731543472485*^9, 3.516731577230021*^9, + 3.516731680730329*^9, {3.516731756658761*^9, 3.5167317958658*^9}, + 3.51673213639461*^9, 3.516732199075218*^9, {3.5167326030943336`*^9, + 3.516732630339243*^9}, 3.5167328186613913`*^9, 3.516732978274126*^9, + 3.516824705032584*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743197722*^9, 3.5167307922995863`*^9, 3.516730839561111*^9, + 3.516730931144905*^9, 3.516731069443488*^9, 3.516731186280086*^9, + 3.516731439683395*^9, 3.516731543472485*^9, 3.516731577230021*^9, + 3.516731680730329*^9, {3.516731756658761*^9, 3.5167317958658*^9}, + 3.51673213639461*^9, 3.516732199075218*^9, {3.5167326030943336`*^9, + 3.516732630339243*^9}, 3.5167328186613913`*^9, 3.516732978274126*^9, + 3.51682470503564*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743197722*^9, 3.5167307922995863`*^9, 3.516730839561111*^9, + 3.516730931144905*^9, 3.516731069443488*^9, 3.516731186280086*^9, + 3.516731439683395*^9, 3.516731543472485*^9, 3.516731577230021*^9, + 3.516731680730329*^9, {3.516731756658761*^9, 3.5167317958658*^9}, + 3.51673213639461*^9, 3.516732199075218*^9, {3.5167326030943336`*^9, + 3.516732630339243*^9}, 3.5167328186613913`*^9, 3.516732978274126*^9, + 3.516824705041174*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743197722*^9, 3.5167307922995863`*^9, 3.516730839561111*^9, + 3.516730931144905*^9, 3.516731069443488*^9, 3.516731186280086*^9, + 3.516731439683395*^9, 3.516731543472485*^9, 3.516731577230021*^9, + 3.516731680730329*^9, {3.516731756658761*^9, 3.5167317958658*^9}, + 3.51673213639461*^9, 3.516732199075218*^9, {3.5167326030943336`*^9, + 3.516732630339243*^9}, 3.5167328186613913`*^9, 3.516732978274126*^9, + 3.516824705047214*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], + RowBox[{"v", "[", "la", "]"}]}], "]"}], ",", + RowBox[{ + RowBox[{ + RowBox[{"u", "[", "1", "]"}], + RowBox[{"v", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "2", "]"}], + RowBox[{"v", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "3", "]"}], + RowBox[{"v", "[", "3", "]"}]}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516715786014555*^9, 3.516715813346923*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], " ", + RowBox[{"v", "[", "la", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307432467537`*^9, 3.51673079234949*^9, 3.516730839628377*^9, + 3.5167309311965857`*^9, 3.516731069510704*^9, 3.516731186344037*^9, + 3.516731439748095*^9, 3.5167315435239162`*^9, 3.516731577285252*^9, + 3.516731680796364*^9, {3.5167317567067633`*^9, 3.516731795934009*^9}, + 3.5167321364427013`*^9, 3.5167321991272573`*^9, {3.516732603228095*^9, + 3.5167326303932056`*^9}, 3.516732818723093*^9, 3.516732978342925*^9, + 3.5168247050835857`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307432467537`*^9, 3.51673079234949*^9, 3.516730839628377*^9, + 3.5167309311965857`*^9, 3.516731069510704*^9, 3.516731186344037*^9, + 3.516731439748095*^9, 3.5167315435239162`*^9, 3.516731577285252*^9, + 3.516731680796364*^9, {3.5167317567067633`*^9, 3.516731795934009*^9}, + 3.5167321364427013`*^9, 3.5167321991272573`*^9, {3.516732603228095*^9, + 3.5167326303932056`*^9}, 3.516732818723093*^9, 3.516732978342925*^9, + 3.516824705086727*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{ + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307432467537`*^9, 3.51673079234949*^9, 3.516730839628377*^9, + 3.5167309311965857`*^9, 3.516731069510704*^9, 3.516731186344037*^9, + 3.516731439748095*^9, 3.5167315435239162`*^9, 3.516731577285252*^9, + 3.516731680796364*^9, {3.5167317567067633`*^9, 3.516731795934009*^9}, + 3.5167321364427013`*^9, 3.5167321991272573`*^9, {3.516732603228095*^9, + 3.5167326303932056`*^9}, 3.516732818723093*^9, 3.516732978342925*^9, + 3.516824705091651*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307432467537`*^9, 3.51673079234949*^9, 3.516730839628377*^9, + 3.5167309311965857`*^9, 3.516731069510704*^9, 3.516731186344037*^9, + 3.516731439748095*^9, 3.5167315435239162`*^9, 3.516731577285252*^9, + 3.516731680796364*^9, {3.5167317567067633`*^9, 3.516731795934009*^9}, + 3.5167321364427013`*^9, 3.5167321991272573`*^9, {3.516732603228095*^9, + 3.5167326303932056`*^9}, 3.516732818723093*^9, 3.516732978342925*^9, + 3.516824705097609*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"a", " ", + RowBox[{"S", "[", "ua", "]"}], + RowBox[{"T", "[", "la", "]"}]}], "+", "1"}], "]"}], ",", + RowBox[{ + RowBox[{"a", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], ")"}]}], "+", "1"}]}], + "]"}]], "Input", + CellChangeTimes->{{3.516714387001747*^9, 3.516714391055258*^9}, { + 3.516714598617178*^9, 3.516714604784534*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"a", " ", + RowBox[{"S", "[", "ua", "]"}], " ", + RowBox[{"T", "[", "la", "]"}]}], "+", "1"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743297269*^9, 3.516730792399598*^9, 3.5167308396915913`*^9, + 3.5167309312452517`*^9, 3.516731069569672*^9, 3.51673118641545*^9, + 3.516731299036512*^9, {3.516731351279023*^9, 3.516731359410138*^9}, { + 3.516731421394738*^9, 3.51673143981332*^9}, 3.5167315435782843`*^9, + 3.516731577352072*^9, 3.516731680862996*^9, {3.516731756762844*^9, + 3.5167317960019093`*^9}, 3.516732136490712*^9, 3.516732199196167*^9, { + 3.5167326032780123`*^9, 3.516732630444997*^9}, 3.516732818777171*^9, + 3.5167329784128857`*^9, 3.5168247051396217`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743297269*^9, 3.516730792399598*^9, 3.5167308396915913`*^9, + 3.5167309312452517`*^9, 3.516731069569672*^9, 3.51673118641545*^9, + 3.516731299036512*^9, {3.516731351279023*^9, 3.516731359410138*^9}, { + 3.516731421394738*^9, 3.51673143981332*^9}, 3.5167315435782843`*^9, + 3.516731577352072*^9, 3.516731680862996*^9, {3.516731756762844*^9, + 3.5167317960019093`*^9}, 3.516732136490712*^9, 3.516732199196167*^9, { + 3.5167326032780123`*^9, 3.516732630444997*^9}, 3.516732818777171*^9, + 3.5167329784128857`*^9, 3.516824705143428*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"1", "+", + RowBox[{"a", " ", + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{"a", " ", + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{"a", " ", + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743297269*^9, 3.516730792399598*^9, 3.5167308396915913`*^9, + 3.5167309312452517`*^9, 3.516731069569672*^9, 3.51673118641545*^9, + 3.516731299036512*^9, {3.516731351279023*^9, 3.516731359410138*^9}, { + 3.516731421394738*^9, 3.51673143981332*^9}, 3.5167315435782843`*^9, + 3.516731577352072*^9, 3.516731680862996*^9, {3.516731756762844*^9, + 3.5167317960019093`*^9}, 3.516732136490712*^9, 3.516732199196167*^9, { + 3.5167326032780123`*^9, 3.516732630444997*^9}, 3.516732818777171*^9, + 3.5167329784128857`*^9, 3.516824705148427*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743297269*^9, 3.516730792399598*^9, 3.5167308396915913`*^9, + 3.5167309312452517`*^9, 3.516731069569672*^9, 3.51673118641545*^9, + 3.516731299036512*^9, {3.516731351279023*^9, 3.516731359410138*^9}, { + 3.516731421394738*^9, 3.51673143981332*^9}, 3.5167315435782843`*^9, + 3.516731577352072*^9, 3.516731680862996*^9, {3.516731756762844*^9, + 3.5167317960019093`*^9}, 3.516732136490712*^9, 3.516732199196167*^9, { + 3.5167326032780123`*^9, 3.516732630444997*^9}, 3.516732818777171*^9, + 3.5167329784128857`*^9, 3.516824705154089*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], + RowBox[{"T", "[", "la", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], + RowBox[{"v", "[", "la", "]"}]}]}], "]"}], ",", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "1", "]"}], + RowBox[{"v", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "2", "]"}], + RowBox[{"v", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "3", "]"}], + RowBox[{"v", "[", "3", "]"}]}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516714412193385*^9, 3.516714460438744*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], " ", + RowBox[{"T", "[", "la", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], " ", + RowBox[{"v", "[", "la", "]"}]}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743447187*^9, 3.516730792447379*^9, 3.516730839746014*^9, + 3.516730931296968*^9, 3.516731069628282*^9, 3.516731186477025*^9, + 3.516731439879733*^9, 3.5167315436442013`*^9, 3.5167315774148397`*^9, + 3.516731680923561*^9, {3.516731756829378*^9, 3.516731796067398*^9}, + 3.516732136542252*^9, 3.5167321992423143`*^9, {3.516732603336282*^9, + 3.51673263051143*^9}, 3.516732818819598*^9, 3.516732978479869*^9, + 3.516824705202471*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743447187*^9, 3.516730792447379*^9, 3.516730839746014*^9, + 3.516730931296968*^9, 3.516731069628282*^9, 3.516731186477025*^9, + 3.516731439879733*^9, 3.5167315436442013`*^9, 3.5167315774148397`*^9, + 3.516731680923561*^9, {3.516731756829378*^9, 3.516731796067398*^9}, + 3.516732136542252*^9, 3.5167321992423143`*^9, {3.516732603336282*^9, + 3.51673263051143*^9}, 3.516732818819598*^9, 3.516732978479869*^9, + 3.516824705205612*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743447187*^9, 3.516730792447379*^9, 3.516730839746014*^9, + 3.516730931296968*^9, 3.516731069628282*^9, 3.516731186477025*^9, + 3.516731439879733*^9, 3.5167315436442013`*^9, 3.5167315774148397`*^9, + 3.516731680923561*^9, {3.516731756829378*^9, 3.516731796067398*^9}, + 3.516732136542252*^9, 3.5167321992423143`*^9, {3.516732603336282*^9, + 3.51673263051143*^9}, 3.516732818819598*^9, 3.516732978479869*^9, + 3.5168247052111588`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743447187*^9, 3.516730792447379*^9, 3.516730839746014*^9, + 3.516730931296968*^9, 3.516731069628282*^9, 3.516731186477025*^9, + 3.516731439879733*^9, 3.5167315436442013`*^9, 3.5167315774148397`*^9, + 3.516731680923561*^9, {3.516731756829378*^9, 3.516731796067398*^9}, + 3.516732136542252*^9, 3.5167321992423143`*^9, {3.516732603336282*^9, + 3.51673263051143*^9}, 3.516732818819598*^9, 3.516732978479869*^9, + 3.516824705227393*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"a", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], + RowBox[{"T", "[", "la", "]"}]}], "+", "x"}], ")"}]}], "+", + RowBox[{"b", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], + RowBox[{"v", "[", "la", "]"}]}], "+", "y"}], ")"}]}]}], "]"}], ",", + RowBox[{ + RowBox[{"a", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}], "+", "x"}], ")"}]}], "+", + RowBox[{"b", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"u", "[", "1", "]"}], + RowBox[{"v", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "2", "]"}], + RowBox[{"v", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "3", "]"}], + RowBox[{"v", "[", "3", "]"}]}], "+", "y"}], ")"}]}]}]}], + "]"}]], "Input", + CellChangeTimes->{{3.516715052674968*^9, 3.51671510569489*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"a", " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], " ", + RowBox[{"T", "[", "la", "]"}]}], "+", "x"}], ")"}]}], "+", + RowBox[{"b", " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], " ", + RowBox[{"v", "[", "la", "]"}]}], "+", "y"}], ")"}]}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743522396*^9, 3.5167307924970427`*^9, 3.516730839809476*^9, + 3.5167309313504744`*^9, 3.516731069699368*^9, 3.516731186548072*^9, + 3.516731439943245*^9, 3.5167315437058697`*^9, 3.516731577482484*^9, + 3.5167316809788437`*^9, {3.516731756897237*^9, 3.516731796134094*^9}, + 3.516732136592341*^9, 3.516732199312419*^9, {3.5167326034181623`*^9, + 3.5167326305801783`*^9}, 3.516732818876729*^9, 3.5167329785512733`*^9, + 3.5168247052796373`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743522396*^9, 3.5167307924970427`*^9, 3.516730839809476*^9, + 3.5167309313504744`*^9, 3.516731069699368*^9, 3.516731186548072*^9, + 3.516731439943245*^9, 3.5167315437058697`*^9, 3.516731577482484*^9, + 3.5167316809788437`*^9, {3.516731756897237*^9, 3.516731796134094*^9}, + 3.516732136592341*^9, 3.516732199312419*^9, {3.5167326034181623`*^9, + 3.5167326305801783`*^9}, 3.516732818876729*^9, 3.5167329785512733`*^9, + 3.516824705282632*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{ + RowBox[{"a", " ", "x"}], "+", + RowBox[{"b", " ", "y"}], "+", + RowBox[{"a", " ", + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{"a", " ", + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{"a", " ", + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{"b", " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{"b", " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{"b", " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743522396*^9, 3.5167307924970427`*^9, 3.516730839809476*^9, + 3.5167309313504744`*^9, 3.516731069699368*^9, 3.516731186548072*^9, + 3.516731439943245*^9, 3.5167315437058697`*^9, 3.516731577482484*^9, + 3.5167316809788437`*^9, {3.516731756897237*^9, 3.516731796134094*^9}, + 3.516732136592341*^9, 3.516732199312419*^9, {3.5167326034181623`*^9, + 3.5167326305801783`*^9}, 3.516732818876729*^9, 3.5167329785512733`*^9, + 3.516824705287862*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743522396*^9, 3.5167307924970427`*^9, 3.516730839809476*^9, + 3.5167309313504744`*^9, 3.516731069699368*^9, 3.516731186548072*^9, + 3.516731439943245*^9, 3.5167315437058697`*^9, 3.516731577482484*^9, + 3.5167316809788437`*^9, {3.516731756897237*^9, 3.516731796134094*^9}, + 3.516732136592341*^9, 3.516732199312419*^9, {3.5167326034181623`*^9, + 3.5167326305801783`*^9}, 3.516732818876729*^9, 3.5167329785512733`*^9, + 3.5168247053047743`*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], + RowBox[{"T", "[", "la", "]"}], + RowBox[{"u", "[", "ub", "]"}], + RowBox[{"v", "[", "lb", "]"}]}], "]"}], ",", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], ")"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"u", "[", "1", "]"}], + RowBox[{"v", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "2", "]"}], + RowBox[{"v", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "3", "]"}], + RowBox[{"v", "[", "3", "]"}]}]}], ")"}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516715144256577*^9, 3.516715169348094*^9}, { + 3.51671532807887*^9, 3.516715336566106*^9}, {3.5167183904269047`*^9, + 3.5167183930896807`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], " ", + RowBox[{"T", "[", "la", "]"}], " ", + RowBox[{"u", "[", "ub", "]"}], " ", + RowBox[{"v", "[", "lb", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743620947*^9, 3.5167307925506144`*^9, 3.5167308398763227`*^9, + 3.516730931401475*^9, 3.516731069767764*^9, 3.516731186615212*^9, + 3.516731440015976*^9, 3.516731543775342*^9, 3.5167315775512447`*^9, + 3.516731681048294*^9, {3.51673175695864*^9, 3.516731796198127*^9}, + 3.516732136695669*^9, 3.516732199381893*^9, {3.5167326034889297`*^9, + 3.516732630640757*^9}, 3.516732818939186*^9, 3.516732978621174*^9, + 3.516824705379745*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743620947*^9, 3.5167307925506144`*^9, 3.5167308398763227`*^9, + 3.516730931401475*^9, 3.516731069767764*^9, 3.516731186615212*^9, + 3.516731440015976*^9, 3.516731543775342*^9, 3.5167315775512447`*^9, + 3.516731681048294*^9, {3.51673175695864*^9, 3.516731796198127*^9}, + 3.516732136695669*^9, 3.516732199381893*^9, {3.5167326034889297`*^9, + 3.516732630640757*^9}, 3.516732818939186*^9, 3.516732978621174*^9, + 3.516824705382707*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"u",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743620947*^9, 3.5167307925506144`*^9, 3.5167308398763227`*^9, + 3.516730931401475*^9, 3.516731069767764*^9, 3.516731186615212*^9, + 3.516731440015976*^9, 3.516731543775342*^9, 3.5167315775512447`*^9, + 3.516731681048294*^9, {3.51673175695864*^9, 3.516731796198127*^9}, + 3.516732136695669*^9, 3.516732199381893*^9, {3.5167326034889297`*^9, + 3.516732630640757*^9}, 3.516732818939186*^9, 3.516732978621174*^9, + 3.5168247053896637`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743620947*^9, 3.5167307925506144`*^9, 3.5167308398763227`*^9, + 3.516730931401475*^9, 3.516731069767764*^9, 3.516731186615212*^9, + 3.516731440015976*^9, 3.516731543775342*^9, 3.5167315775512447`*^9, + 3.516731681048294*^9, {3.51673175695864*^9, 3.516731796198127*^9}, + 3.516732136695669*^9, 3.516732199381893*^9, {3.5167326034889297`*^9, + 3.516732630640757*^9}, 3.516732818939186*^9, 3.516732978621174*^9, + 3.5168247053986673`*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"f", "[", + RowBox[{"S", "[", "la", "]"}], "]"}], "]"}], ",", + RowBox[{"f", "[", + RowBox[{"S", "[", "la", "]"}], "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516718630991493*^9, 3.5167186422393093`*^9}, { + 3.51671867514504*^9, 3.516718677916513*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"f", "[", + RowBox[{"S", "[", "la", "]"}], "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743678227*^9, 3.5167307926072283`*^9, 3.516730839936411*^9, + 3.516730931466969*^9, 3.5167310698419933`*^9, 3.5167311866933727`*^9, + 3.516731440081607*^9, 3.516731543926951*^9, 3.516731577611516*^9, + 3.516731681113853*^9, {3.516731757024481*^9, 3.516731796293426*^9}, + 3.516732136755756*^9, 3.516732199437037*^9, {3.516732603548974*^9, + 3.5167326307099943`*^9}, 3.516732818985035*^9, 3.516732978693972*^9, + 3.516824705487671*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743678227*^9, 3.5167307926072283`*^9, 3.516730839936411*^9, + 3.516730931466969*^9, 3.5167310698419933`*^9, 3.5167311866933727`*^9, + 3.516731440081607*^9, 3.516731543926951*^9, 3.516731577611516*^9, + 3.516731681113853*^9, {3.516731757024481*^9, 3.516731796293426*^9}, + 3.516732136755756*^9, 3.516732199437037*^9, {3.516732603548974*^9, + 3.5167326307099943`*^9}, 3.516732818985035*^9, 3.516732978693972*^9, + 3.516824705490801*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"f", "[", + TemplateBox[{"S",SubscriptBox["\[Null]", "\"a\""]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "]"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743678227*^9, 3.5167307926072283`*^9, 3.516730839936411*^9, + 3.516730931466969*^9, 3.5167310698419933`*^9, 3.5167311866933727`*^9, + 3.516731440081607*^9, 3.516731543926951*^9, 3.516731577611516*^9, + 3.516731681113853*^9, {3.516731757024481*^9, 3.516731796293426*^9}, + 3.516732136755756*^9, 3.516732199437037*^9, {3.516732603548974*^9, + 3.5167326307099943`*^9}, 3.516732818985035*^9, 3.516732978693972*^9, + 3.51682470549541*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743678227*^9, 3.5167307926072283`*^9, 3.516730839936411*^9, + 3.516730931466969*^9, 3.5167310698419933`*^9, 3.5167311866933727`*^9, + 3.516731440081607*^9, 3.516731543926951*^9, 3.516731577611516*^9, + 3.516731681113853*^9, {3.516731757024481*^9, 3.516731796293426*^9}, + 3.516732136755756*^9, 3.516732199437037*^9, {3.516732603548974*^9, + 3.5167326307099943`*^9}, 3.516732818985035*^9, 3.516732978693972*^9, + 3.516824705500208*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"f", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], + RowBox[{"T", "[", "ua", "]"}]}], "]"}], "]"}], ",", + RowBox[{"f", "[", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516718684718454*^9, 3.516718686733542*^9}, { + 3.516718835536902*^9, 3.51671886042852*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"f", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], " ", + RowBox[{"T", "[", "ua", "]"}]}], "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743728393*^9, 3.516730792668174*^9, 3.516730839988674*^9, + 3.516730931516172*^9, 3.5167310699154053`*^9, 3.516731186760461*^9, + 3.516731440147726*^9, 3.516731544001211*^9, 3.516731577664837*^9, + 3.516731681178734*^9, {3.516731757075676*^9, 3.5167317963639793`*^9}, + 3.51673213689216*^9, 3.516732199488155*^9, {3.516732603593631*^9, + 3.516732630780987*^9}, 3.516732819038499*^9, 3.516732978757017*^9, + 3.516824705541452*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743728393*^9, 3.516730792668174*^9, 3.516730839988674*^9, + 3.516730931516172*^9, 3.5167310699154053`*^9, 3.516731186760461*^9, + 3.516731440147726*^9, 3.516731544001211*^9, 3.516731577664837*^9, + 3.516731681178734*^9, {3.516731757075676*^9, 3.5167317963639793`*^9}, + 3.51673213689216*^9, 3.516732199488155*^9, {3.516732603593631*^9, + 3.516732630780987*^9}, 3.516732819038499*^9, 3.516732978757017*^9, + 3.516824705544714*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"f", "[", + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], "]"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743728393*^9, 3.516730792668174*^9, 3.516730839988674*^9, + 3.516730931516172*^9, 3.5167310699154053`*^9, 3.516731186760461*^9, + 3.516731440147726*^9, 3.516731544001211*^9, 3.516731577664837*^9, + 3.516731681178734*^9, {3.516731757075676*^9, 3.5167317963639793`*^9}, + 3.51673213689216*^9, 3.516732199488155*^9, {3.516732603593631*^9, + 3.516732630780987*^9}, 3.516732819038499*^9, 3.516732978757017*^9, + 3.516824705549692*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743728393*^9, 3.516730792668174*^9, 3.516730839988674*^9, + 3.516730931516172*^9, 3.5167310699154053`*^9, 3.516731186760461*^9, + 3.516731440147726*^9, 3.516731544001211*^9, 3.516731577664837*^9, + 3.516731681178734*^9, {3.516731757075676*^9, 3.5167317963639793`*^9}, + 3.51673213689216*^9, 3.516732199488155*^9, {3.516732603593631*^9, + 3.516732630780987*^9}, 3.516732819038499*^9, 3.516732978757017*^9, + 3.516824705555015*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"f", "[", + RowBox[{"g", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], + RowBox[{"T", "[", "ua", "]"}]}], "]"}], "]"}], "]"}], ",", + RowBox[{"f", "[", + RowBox[{"g", "[", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], "]"}], "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.5167188890279083`*^9, 3.516718903424304*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"f", "[", + RowBox[{"g", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], " ", + RowBox[{"T", "[", "ua", "]"}]}], "]"}], "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743761231*^9, 3.516730792716918*^9, 3.516730840041946*^9, + 3.5167309315670633`*^9, 3.516731069979145*^9, 3.516731186830059*^9, + 3.5167314402151823`*^9, 3.51673154406994*^9, 3.516731577748095*^9, + 3.516731681258573*^9, {3.516731757166366*^9, 3.516731796426297*^9}, + 3.516732136937819*^9, 3.516732199568362*^9, {3.5167326036447077`*^9, + 3.516732630905698*^9}, 3.5167328190881233`*^9, 3.51673297882874*^9, + 3.516824705601219*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743761231*^9, 3.516730792716918*^9, 3.516730840041946*^9, + 3.5167309315670633`*^9, 3.516731069979145*^9, 3.516731186830059*^9, + 3.5167314402151823`*^9, 3.51673154406994*^9, 3.516731577748095*^9, + 3.516731681258573*^9, {3.516731757166366*^9, 3.516731796426297*^9}, + 3.516732136937819*^9, 3.516732199568362*^9, {3.5167326036447077`*^9, + 3.516732630905698*^9}, 3.5167328190881233`*^9, 3.51673297882874*^9, + 3.5168247056038637`*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"f", "[", + RowBox[{"g", "[", + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], "]"}], "]"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743761231*^9, 3.516730792716918*^9, 3.516730840041946*^9, + 3.5167309315670633`*^9, 3.516731069979145*^9, 3.516731186830059*^9, + 3.5167314402151823`*^9, 3.51673154406994*^9, 3.516731577748095*^9, + 3.516731681258573*^9, {3.516731757166366*^9, 3.516731796426297*^9}, + 3.516732136937819*^9, 3.516732199568362*^9, {3.5167326036447077`*^9, + 3.516732630905698*^9}, 3.5167328190881233`*^9, 3.51673297882874*^9, + 3.516824705608369*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743761231*^9, 3.516730792716918*^9, 3.516730840041946*^9, + 3.5167309315670633`*^9, 3.516731069979145*^9, 3.516731186830059*^9, + 3.5167314402151823`*^9, 3.51673154406994*^9, 3.516731577748095*^9, + 3.516731681258573*^9, {3.516731757166366*^9, 3.516731796426297*^9}, + 3.516732136937819*^9, 3.516732199568362*^9, {3.5167326036447077`*^9, + 3.516732630905698*^9}, 3.5167328190881233`*^9, 3.51673297882874*^9, + 3.516824705613358*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"T", "[", "ua", "]"}], + RowBox[{"f", "[", + RowBox[{"S", "[", "la", "]"}], "]"}]}], "]"}], ",", + RowBox[{ + RowBox[{ + RowBox[{"T", "[", "1", "]"}], + RowBox[{"f", "[", + RowBox[{"S", "[", "1", "]"}], "]"}]}], "+", + RowBox[{ + RowBox[{"T", "[", "2", "]"}], + RowBox[{"f", "[", + RowBox[{"S", "[", "2", "]"}], "]"}]}], "+", + RowBox[{ + RowBox[{"T", "[", "3", "]"}], + RowBox[{"f", "[", + RowBox[{"S", "[", "3", "]"}], "]"}]}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516719036738678*^9, 3.5167190501456614`*^9}, { + 3.516719134473085*^9, 3.516719179654913*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{ + RowBox[{"T", "[", "ua", "]"}], " ", + RowBox[{"f", "[", + RowBox[{"S", "[", "la", "]"}], "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743795117*^9, 3.5167307927687473`*^9, 3.516730840089957*^9, + 3.51673093161547*^9, 3.516731070044463*^9, 3.516731186960149*^9, + 3.5167314402778187`*^9, 3.516731544124264*^9, 3.516731577814322*^9, + 3.516731681329039*^9, {3.516731757238184*^9, 3.5167317964828243`*^9}, + 3.5167321369898777`*^9, 3.5167321996189203`*^9, {3.516732603692952*^9, + 3.516732630960497*^9}, 3.51673281913822*^9, 3.516732978893848*^9, + 3.516824705651142*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743795117*^9, 3.5167307927687473`*^9, 3.516730840089957*^9, + 3.51673093161547*^9, 3.516731070044463*^9, 3.516731186960149*^9, + 3.5167314402778187`*^9, 3.516731544124264*^9, 3.516731577814322*^9, + 3.516731681329039*^9, {3.516731757238184*^9, 3.5167317964828243`*^9}, + 3.5167321369898777`*^9, 3.5167321996189203`*^9, {3.516732603692952*^9, + 3.516732630960497*^9}, 3.51673281913822*^9, 3.516732978893848*^9, + 3.516824705653738*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{ + RowBox[{ + RowBox[{"f", "[", + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "]"}], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + RowBox[{"f", "[", + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "]"}], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + RowBox[{"f", "[", + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "]"}], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743795117*^9, 3.5167307927687473`*^9, 3.516730840089957*^9, + 3.51673093161547*^9, 3.516731070044463*^9, 3.516731186960149*^9, + 3.5167314402778187`*^9, 3.516731544124264*^9, 3.516731577814322*^9, + 3.516731681329039*^9, {3.516731757238184*^9, 3.5167317964828243`*^9}, + 3.5167321369898777`*^9, 3.5167321996189203`*^9, {3.516732603692952*^9, + 3.516732630960497*^9}, 3.51673281913822*^9, 3.516732978893848*^9, + 3.516824705658032*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743795117*^9, 3.5167307927687473`*^9, 3.516730840089957*^9, + 3.51673093161547*^9, 3.516731070044463*^9, 3.516731186960149*^9, + 3.5167314402778187`*^9, 3.516731544124264*^9, 3.516731577814322*^9, + 3.516731681329039*^9, {3.516731757238184*^9, 3.5167317964828243`*^9}, + 3.5167321369898777`*^9, 3.5167321996189203`*^9, {3.516732603692952*^9, + 3.516732630960497*^9}, 3.51673281913822*^9, 3.516732978893848*^9, + 3.516824705662931*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"Sqrt", "[", + RowBox[{ + RowBox[{"T", "[", "la", "]"}], + RowBox[{"S", "[", "ua", "]"}]}], "]"}], "]"}], ",", + RowBox[{"Sqrt", "[", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516719217213676*^9, 3.516719249407263*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + SqrtBox[ + RowBox[{ + RowBox[{"T", "[", "la", "]"}], " ", + RowBox[{"S", "[", "ua", "]"}]}]], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743827186*^9, 3.516730792815493*^9, 3.516730840136924*^9, + 3.516730931666882*^9, 3.516731070115714*^9, 3.5167311870248137`*^9, + 3.516731440345407*^9, 3.5167315441921873`*^9, 3.516731577879723*^9, + 3.516731681395563*^9, {3.516731757294936*^9, 3.516731796549912*^9}, + 3.516732137037071*^9, 3.5167321996685543`*^9, {3.5167326037452497`*^9, + 3.516732631021821*^9}, 3.516732819187846*^9, 3.516732978961193*^9, + 3.5168247057031813`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743827186*^9, 3.516730792815493*^9, 3.516730840136924*^9, + 3.516730931666882*^9, 3.516731070115714*^9, 3.5167311870248137`*^9, + 3.516731440345407*^9, 3.5167315441921873`*^9, 3.516731577879723*^9, + 3.516731681395563*^9, {3.516731757294936*^9, 3.516731796549912*^9}, + 3.516732137037071*^9, 3.5167321996685543`*^9, {3.5167326037452497`*^9, + 3.516732631021821*^9}, 3.516732819187846*^9, 3.516732978961193*^9, + 3.516824705705755*^9}], + +Cell[BoxData[ + StyleBox[ + SqrtBox[ + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}]], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743827186*^9, 3.516730792815493*^9, 3.516730840136924*^9, + 3.516730931666882*^9, 3.516731070115714*^9, 3.5167311870248137`*^9, + 3.516731440345407*^9, 3.5167315441921873`*^9, 3.516731577879723*^9, + 3.516731681395563*^9, {3.516731757294936*^9, 3.516731796549912*^9}, + 3.516732137037071*^9, 3.5167321996685543`*^9, {3.5167326037452497`*^9, + 3.516732631021821*^9}, 3.516732819187846*^9, 3.516732978961193*^9, + 3.516824705710321*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743827186*^9, 3.516730792815493*^9, 3.516730840136924*^9, + 3.516730931666882*^9, 3.516731070115714*^9, 3.5167311870248137`*^9, + 3.516731440345407*^9, 3.5167315441921873`*^9, 3.516731577879723*^9, + 3.516731681395563*^9, {3.516731757294936*^9, 3.516731796549912*^9}, + 3.516732137037071*^9, 3.5167321996685543`*^9, {3.5167326037452497`*^9, + 3.516732631021821*^9}, 3.516732819187846*^9, 3.516732978961193*^9, + 3.516824705714957*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{"T", "[", "la", "]"}], + RowBox[{"S", "[", "ua", "]"}]}], ",", "0"}], "]"}], "]"}], ",", + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], ",", "0"}], "]"}]}], "]"}]], "Input",\ + + CellChangeTimes->{{3.516719257078268*^9, 3.516719287107236*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{"T", "[", "la", "]"}], " ", + RowBox[{"S", "[", "ua", "]"}]}], ",", "0"}], "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743861226*^9, 3.5167307928663473`*^9, 3.51673084018624*^9, + 3.51673093171562*^9, 3.5167310701777353`*^9, 3.5167311870965233`*^9, + 3.51673144041394*^9, 3.516731544259635*^9, 3.516731577942649*^9, + 3.516731681460767*^9, {3.5167317573603*^9, 3.5167317966115913`*^9}, + 3.516732137088746*^9, 3.516732199717873*^9, {3.5167326037918987`*^9, + 3.5167326310776033`*^9}, 3.516732819242426*^9, 3.5167329790240793`*^9, + 3.5168247057525473`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743861226*^9, 3.5167307928663473`*^9, 3.51673084018624*^9, + 3.51673093171562*^9, 3.5167310701777353`*^9, 3.5167311870965233`*^9, + 3.51673144041394*^9, 3.516731544259635*^9, 3.516731577942649*^9, + 3.516731681460767*^9, {3.5167317573603*^9, 3.5167317966115913`*^9}, + 3.516732137088746*^9, 3.516732199717873*^9, {3.5167326037918987`*^9, + 3.5167326310776033`*^9}, 3.516732819242426*^9, 3.5167329790240793`*^9, + 3.516824705755123*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], ",", "0"}], "]"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743861226*^9, 3.5167307928663473`*^9, 3.51673084018624*^9, + 3.51673093171562*^9, 3.5167310701777353`*^9, 3.5167311870965233`*^9, + 3.51673144041394*^9, 3.516731544259635*^9, 3.516731577942649*^9, + 3.516731681460767*^9, {3.5167317573603*^9, 3.5167317966115913`*^9}, + 3.516732137088746*^9, 3.516732199717873*^9, {3.5167326037918987`*^9, + 3.5167326310776033`*^9}, 3.516732819242426*^9, 3.5167329790240793`*^9, + 3.516824705759613*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743861226*^9, 3.5167307928663473`*^9, 3.51673084018624*^9, + 3.51673093171562*^9, 3.5167310701777353`*^9, 3.5167311870965233`*^9, + 3.51673144041394*^9, 3.516731544259635*^9, 3.516731577942649*^9, + 3.516731681460767*^9, {3.5167317573603*^9, 3.5167317966115913`*^9}, + 3.516732137088746*^9, 3.516732199717873*^9, {3.5167326037918987`*^9, + 3.5167326310776033`*^9}, 3.516732819242426*^9, 3.5167329790240793`*^9, + 3.516824705764347*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSum", "[", + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{"T", "[", "la", "]"}], + RowBox[{"S", "[", "ua", "]"}]}], ",", + RowBox[{ + RowBox[{"u", "[", "la", "]"}], + RowBox[{"v", "[", "ua", "]"}]}]}], "]"}], "]"}], ",", + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], ",", + RowBox[{ + RowBox[{ + RowBox[{"u", "[", "1", "]"}], + RowBox[{"v", "[", "1", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "2", "]"}], + RowBox[{"v", "[", "2", "]"}]}], "+", + RowBox[{ + RowBox[{"u", "[", "3", "]"}], + RowBox[{"v", "[", "3", "]"}]}]}]}], "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516719341123433*^9, 3.5167193594655247`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSum", "[", + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{"T", "[", "la", "]"}], " ", + RowBox[{"S", "[", "ua", "]"}]}], ",", + RowBox[{ + RowBox[{"u", "[", "la", "]"}], " ", + RowBox[{"v", "[", "ua", "]"}]}]}], "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743912174*^9, 3.5167307929280443`*^9, 3.516730840235725*^9, + 3.51673093176558*^9, 3.516731070249275*^9, 3.516731187157555*^9, + 3.516731440476433*^9, 3.516731544320228*^9, 3.5167315779980288`*^9, + 3.516731681532116*^9, {3.516731757428342*^9, 3.516731796680023*^9}, + 3.51673213714289*^9, 3.5167321997727013`*^9, {3.516732603841528*^9, + 3.5167326311439667`*^9}, 3.516732819290326*^9, 3.516732979170691*^9, + 3.516824705886352*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743912174*^9, 3.5167307929280443`*^9, 3.516730840235725*^9, + 3.51673093176558*^9, 3.516731070249275*^9, 3.516731187157555*^9, + 3.516731440476433*^9, 3.516731544320228*^9, 3.5167315779980288`*^9, + 3.516731681532116*^9, {3.516731757428342*^9, 3.516731796680023*^9}, + 3.51673213714289*^9, 3.5167321997727013`*^9, {3.516732603841528*^9, + 3.5167326311439667`*^9}, 3.516732819290326*^9, 3.516732979170691*^9, + 3.516824705889153*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"IfThen", "[", + RowBox[{"cond", ",", + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], ",", + RowBox[{ + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"u",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"v",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}]}], "]"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730743912174*^9, 3.5167307929280443`*^9, 3.516730840235725*^9, + 3.51673093176558*^9, 3.516731070249275*^9, 3.516731187157555*^9, + 3.516731440476433*^9, 3.516731544320228*^9, 3.5167315779980288`*^9, + 3.516731681532116*^9, {3.516731757428342*^9, 3.516731796680023*^9}, + 3.51673213714289*^9, 3.5167321997727013`*^9, {3.516732603841528*^9, + 3.5167326311439667`*^9}, 3.516732819290326*^9, 3.516732979170691*^9, + 3.5168247058940363`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730743912174*^9, 3.5167307929280443`*^9, 3.516730840235725*^9, + 3.51673093176558*^9, 3.516731070249275*^9, 3.516731187157555*^9, + 3.516731440476433*^9, 3.516731544320228*^9, 3.5167315779980288`*^9, + 3.516731681532116*^9, {3.516731757428342*^9, 3.516731796680023*^9}, + 3.51673213714289*^9, 3.5167321997727013`*^9, {3.516732603841528*^9, + 3.5167326311439667`*^9}, 3.516732819290326*^9, 3.516732979170691*^9, + 3.5168247058996468`*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"makeSum", "[", + RowBox[{"Power", "[", + RowBox[{ + RowBox[{ + RowBox[{"T", "[", "ua", "]"}], + RowBox[{"S", "[", "la", "]"}]}], ",", + RowBox[{"1", "/", "2"}]}], "]"}], "]"}]], "Input", + CellChangeTimes->{{3.516719693780455*^9, 3.516719722377926*^9}, { + 3.516731833664253*^9, 3.516731896099547*^9}, {3.516732009089692*^9, + 3.516732009238968*^9}}], + +Cell[BoxData[ + SqrtBox[ + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "+", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}]]], "Output", + CellChangeTimes->{{3.51673185182126*^9, 3.5167318964356327`*^9}, + 3.516732014183846*^9, 3.516732137185411*^9, 3.516732199838217*^9, { + 3.5167326038919086`*^9, 3.516732631232738*^9}, 3.516732819340469*^9, + 3.516732979224564*^9, 3.51682470593295*^9}] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"Power", "[", + RowBox[{ + RowBox[{ + RowBox[{"T", "[", "ua", "]"}], + RowBox[{"S", "[", "la", "]"}]}], ",", "2"}], "]"}]], "Input"], + +Cell[BoxData[ + RowBox[{ + SuperscriptBox[ + TemplateBox[{"S",SubscriptBox["\[Null]", "\"a\""]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "2"], " ", + SuperscriptBox[ + TemplateBox[{"T",TemplateBox[{"\[Null]", "\"a\""}, "Superscript"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "2"]}]], "Output", + CellChangeTimes->{ + 3.516731998752602*^9, 3.516732137241309*^9, 3.516732199887875*^9, { + 3.5167326039467373`*^9, 3.516732631272839*^9}, 3.5167328194670753`*^9, + 3.516732979279645*^9, 3.51682470598182*^9}] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"Power", "[", + RowBox[{ + RowBox[{"x", " ", "y"}], ",", "2"}], "]"}], "//", "FullForm"}]], "Input", + CellChangeTimes->{{3.5167319452031193`*^9, 3.5167319592487917`*^9}}], + +Cell[BoxData[ + TagBox[ + StyleBox[ + RowBox[{"Times", "[", + RowBox[{ + RowBox[{"Power", "[", + RowBox[{"x", ",", "2"}], "]"}], ",", + RowBox[{"Power", "[", + RowBox[{"y", ",", "2"}], "]"}]}], "]"}], + ShowSpecialCharacters->False, + ShowStringCharacters->True, + NumberMarks->True], + FullForm]], "Output", + CellChangeTimes->{{3.516731948124752*^9, 3.516731960478508*^9}, + 3.516732137283737*^9, 3.516732199922017*^9, {3.516732603989976*^9, + 3.516732631326807*^9}, 3.516732819522175*^9, 3.516732979322074*^9, + 3.516824706029572*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell["makeSplit", "Subsection", + CellChangeTimes->{{3.516719853574173*^9, 3.516719854723752*^9}}], + +Cell[BoxData[ + RowBox[{ + RowBox[{"makeSplit", "=", "TensorTools`Private`makeSplit"}], ";"}]], "Input",\ + + CellChangeTimes->{{3.5167198861561203`*^9, 3.51671989164386*^9}, + 3.51672871594868*^9}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSplit", "[", + RowBox[{"S", "[", "la", "]"}], "]"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"S", "[", "1", "]"}], ",", + RowBox[{"S", "[", "2", "]"}], ",", + RowBox[{"S", "[", "3", "]"}]}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516719870024661*^9, 3.516719905716383*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSplit", "[", + RowBox[{"S", "[", "la", "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307440267267`*^9, 3.5167308404679337`*^9, 3.5167309318911247`*^9, + 3.516731070440322*^9, 3.516731187303276*^9, 3.5167314407052097`*^9, + 3.516731544467341*^9, 3.516731578140492*^9, 3.516731681670764*^9, { + 3.516731757570155*^9, 3.51673179682692*^9}, 3.5167321373505507`*^9, + 3.51673219999888*^9, {3.516732604073308*^9, 3.51673263140281*^9}, + 3.516732819583631*^9, 3.516732979401548*^9, 3.516824706140491*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307440267267`*^9, 3.5167308404679337`*^9, 3.5167309318911247`*^9, + 3.516731070440322*^9, 3.516731187303276*^9, 3.5167314407052097`*^9, + 3.516731544467341*^9, 3.516731578140492*^9, 3.516731681670764*^9, { + 3.516731757570155*^9, 3.51673179682692*^9}, 3.5167321373505507`*^9, + 3.51673219999888*^9, {3.516732604073308*^9, 3.51673263140281*^9}, + 3.516732819583631*^9, 3.516732979401548*^9, 3.51682470614323*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], ",", + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], ",", + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307440267267`*^9, 3.5167308404679337`*^9, 3.5167309318911247`*^9, + 3.516731070440322*^9, 3.516731187303276*^9, 3.5167314407052097`*^9, + 3.516731544467341*^9, 3.516731578140492*^9, 3.516731681670764*^9, { + 3.516731757570155*^9, 3.51673179682692*^9}, 3.5167321373505507`*^9, + 3.51673219999888*^9, {3.516732604073308*^9, 3.51673263140281*^9}, + 3.516732819583631*^9, 3.516732979401548*^9, 3.516824706147312*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307440267267`*^9, 3.5167308404679337`*^9, 3.5167309318911247`*^9, + 3.516731070440322*^9, 3.516731187303276*^9, 3.5167314407052097`*^9, + 3.516731544467341*^9, 3.516731578140492*^9, 3.516731681670764*^9, { + 3.516731757570155*^9, 3.51673179682692*^9}, 3.5167321373505507`*^9, + 3.51673219999888*^9, {3.516732604073308*^9, 3.51673263140281*^9}, + 3.516732819583631*^9, 3.516732979401548*^9, 3.516824706151589*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSplit", "[", + RowBox[{"S", "[", + RowBox[{"la", ",", "lb"}], "]"}], "]"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"S", "[", + RowBox[{"1", ",", "1"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"1", ",", "2"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"1", ",", "3"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"2", ",", "1"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"2", ",", "2"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"2", ",", "3"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"3", ",", "1"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"3", ",", "2"}], "]"}], ",", + RowBox[{"S", "[", + RowBox[{"3", ",", "3"}], "]"}]}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516719917252139*^9, 3.5167199806204777`*^9}, + 3.51672893955212*^9, 3.516728988244734*^9}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSplit", "[", + RowBox[{"S", "[", + RowBox[{"la", ",", "lb"}], "]"}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307440605307`*^9, 3.516730840522231*^9, 3.516730932025531*^9, + 3.5167310704949303`*^9, 3.516731187358143*^9, 3.516731440759913*^9, + 3.516731544516218*^9, 3.516731578189733*^9, 3.516731681722002*^9, { + 3.516731757624969*^9, 3.516731796878283*^9}, 3.5167321374012213`*^9, + 3.5167322000511303`*^9, {3.516732604113152*^9, 3.516732631454348*^9}, + 3.5167328196335506`*^9, 3.5167329794531727`*^9, 3.5168247061866827`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307440605307`*^9, 3.516730840522231*^9, 3.516730932025531*^9, + 3.5167310704949303`*^9, 3.516731187358143*^9, 3.516731440759913*^9, + 3.516731544516218*^9, 3.516731578189733*^9, 3.516731681722002*^9, { + 3.516731757624969*^9, 3.516731796878283*^9}, 3.5167321374012213`*^9, + 3.5167322000511303`*^9, {3.516732604113152*^9, 3.516732631454348*^9}, + 3.5167328196335506`*^9, 3.5167329794531727`*^9, 3.516824706189254*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + RowBox[{ + TemplateBox[{ + "S",SubscriptBox["\[Null]", "1"],SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "1"],SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "1"],SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "2"],SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "2"],SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "2"],SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "3"],SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "3"],SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )], ",", + TemplateBox[{ + "S",SubscriptBox["\[Null]", "3"],SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->( + RowBox[{#, "\[InvisibleSpace]", #2, "\[InvisibleSpace]", #3}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2, ",", #3}], "}"}], "]"}]& )]}], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307440605307`*^9, 3.516730840522231*^9, 3.516730932025531*^9, + 3.5167310704949303`*^9, 3.516731187358143*^9, 3.516731440759913*^9, + 3.516731544516218*^9, 3.516731578189733*^9, 3.516731681722002*^9, { + 3.516731757624969*^9, 3.516731796878283*^9}, 3.5167321374012213`*^9, + 3.5167322000511303`*^9, {3.516732604113152*^9, 3.516732631454348*^9}, + 3.5167328196335506`*^9, 3.5167329794531727`*^9, 3.5168247061939287`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307440605307`*^9, 3.516730840522231*^9, 3.516730932025531*^9, + 3.5167310704949303`*^9, 3.516731187358143*^9, 3.516731440759913*^9, + 3.516731544516218*^9, 3.516731578189733*^9, 3.516731681722002*^9, { + 3.516731757624969*^9, 3.516731796878283*^9}, 3.5167321374012213`*^9, + 3.5167322000511303`*^9, {3.516732604113152*^9, 3.516732631454348*^9}, + 3.5167328196335506`*^9, 3.5167329794531727`*^9, 3.516824706199259*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSplit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], + RowBox[{"T", "[", "lb", "]"}]}], "]"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "1", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "2", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "1", "]"}], + RowBox[{"T", "[", "3", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "1", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "2", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], + RowBox[{"T", "[", "3", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "1", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "2", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], + RowBox[{"T", "[", "3", "]"}]}]}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516726060875692*^9, 3.516726104633876*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSplit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], " ", + RowBox[{"T", "[", "lb", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744094338*^9, 3.516730840571965*^9, 3.516730932074861*^9, + 3.516731070564426*^9, 3.516731187420259*^9, 3.516731440826784*^9, + 3.51673154457157*^9, 3.51673157824576*^9, 3.516731681774991*^9, { + 3.516731757691773*^9, 3.516731796944338*^9}, 3.516732137455521*^9, + 3.516732200099708*^9, {3.516732604241722*^9, 3.516732631507614*^9}, + 3.516732819685347*^9, 3.51673297952499*^9, 3.516824706243663*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744094338*^9, 3.516730840571965*^9, 3.516730932074861*^9, + 3.516731070564426*^9, 3.516731187420259*^9, 3.516731440826784*^9, + 3.51673154457157*^9, 3.51673157824576*^9, 3.516731681774991*^9, { + 3.516731757691773*^9, 3.516731796944338*^9}, 3.516732137455521*^9, + 3.516732200099708*^9, {3.516732604241722*^9, 3.516732631507614*^9}, + 3.516732819685347*^9, 3.51673297952499*^9, 3.5168247062460947`*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], " ", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744094338*^9, 3.516730840571965*^9, 3.516730932074861*^9, + 3.516731070564426*^9, 3.516731187420259*^9, 3.516731440826784*^9, + 3.51673154457157*^9, 3.51673157824576*^9, 3.516731681774991*^9, { + 3.516731757691773*^9, 3.516731796944338*^9}, 3.516732137455521*^9, + 3.516732200099708*^9, {3.516732604241722*^9, 3.516732631507614*^9}, + 3.516732819685347*^9, 3.51673297952499*^9, 3.516824706251177*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730744094338*^9, 3.516730840571965*^9, 3.516730932074861*^9, + 3.516731070564426*^9, 3.516731187420259*^9, 3.516731440826784*^9, + 3.51673154457157*^9, 3.51673157824576*^9, 3.516731681774991*^9, { + 3.516731757691773*^9, 3.516731796944338*^9}, 3.516732137455521*^9, + 3.516732200099708*^9, {3.516732604241722*^9, 3.516732631507614*^9}, + 3.516732819685347*^9, 3.51673297952499*^9, 3.516824706257098*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"makeSplit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], "\[Rule]", + RowBox[{"T", "[", "la", "]"}]}], "]"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"S", "[", "1", "]"}], "\[Rule]", + RowBox[{"T", "[", "1", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "2", "]"}], "\[Rule]", + RowBox[{"T", "[", "2", "]"}]}], ",", + RowBox[{ + RowBox[{"S", "[", "3", "]"}], "\[Rule]", + RowBox[{"T", "[", "3", "]"}]}]}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.5167261178770847`*^9, 3.516726155971787*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"makeSplit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], "\[Rule]", + RowBox[{"T", "[", "la", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307441274776`*^9, 3.516730840616681*^9, 3.516730932128272*^9, + 3.5167310706287823`*^9, 3.516731187491349*^9, 3.5167314408923283`*^9, + 3.516731544638344*^9, 3.5167315783121147`*^9, 3.516731681840645*^9, { + 3.516731757764868*^9, 3.516731797010254*^9}, 3.516732137502287*^9, + 3.5167322001500998`*^9, {3.5167326042906647`*^9, 3.5167326315755577`*^9}, + 3.51673281973274*^9, 3.5167329795866737`*^9, 3.5168247062971487`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307441274776`*^9, 3.516730840616681*^9, 3.516730932128272*^9, + 3.5167310706287823`*^9, 3.516731187491349*^9, 3.5167314408923283`*^9, + 3.516731544638344*^9, 3.5167315783121147`*^9, 3.516731681840645*^9, { + 3.516731757764868*^9, 3.516731797010254*^9}, 3.516732137502287*^9, + 3.5167322001500998`*^9, {3.5167326042906647`*^9, 3.5167326315755577`*^9}, + 3.51673281973274*^9, 3.5167329795866737`*^9, 3.516824706299583*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + RowBox[{ + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "\[Rule]", + TemplateBox[{"T",SubscriptBox["\[Null]", "1"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "\[Rule]", + TemplateBox[{"T",SubscriptBox["\[Null]", "2"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}], ",", + RowBox[{ + TemplateBox[{"S",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )], "\[Rule]", + TemplateBox[{"T",SubscriptBox["\[Null]", "3"]}, + "Row", + DisplayFunction->(RowBox[{#, "\[InvisibleSpace]", #2}]& ), + InterpretationFunction->(RowBox[{"Row", "[", + RowBox[{"{", + RowBox[{#, ",", #2}], "}"}], "]"}]& )]}]}], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307441274776`*^9, 3.516730840616681*^9, 3.516730932128272*^9, + 3.5167310706287823`*^9, 3.516731187491349*^9, 3.5167314408923283`*^9, + 3.516731544638344*^9, 3.5167315783121147`*^9, 3.516731681840645*^9, { + 3.516731757764868*^9, 3.516731797010254*^9}, 3.516732137502287*^9, + 3.5167322001500998`*^9, {3.5167326042906647`*^9, 3.5167326315755577`*^9}, + 3.51673281973274*^9, 3.5167329795866737`*^9, 3.516824706303815*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307441274776`*^9, 3.516730840616681*^9, 3.516730932128272*^9, + 3.5167310706287823`*^9, 3.516731187491349*^9, 3.5167314408923283`*^9, + 3.516731544638344*^9, 3.5167315783121147`*^9, 3.516731681840645*^9, { + 3.516731757764868*^9, 3.516731797010254*^9}, 3.516732137502287*^9, + 3.5167322001500998`*^9, {3.5167326042906647`*^9, 3.5167326315755577`*^9}, + 3.51673281973274*^9, 3.5167329795866737`*^9, 3.516824706308696*^9}] +}, Open ]] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell["MakeExplicit", "Subsection", + CellChangeTimes->{{3.5167296300225782`*^9, 3.5167296317244053`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"MakeExplicit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], + RowBox[{"T", "[", "ua", "]"}], + RowBox[{"v", "[", "lb", "]"}]}], "]"}], ",", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"S1", " ", "T1"}], "+", + RowBox[{"S2", " ", "T2"}], "+", + RowBox[{"S3", " ", "T3"}]}], ")"}], + RowBox[{"{", + RowBox[{"v1", ",", "v2", ",", "v3"}], "}"}]}]}], "]"}]], "Input", + CellChangeTimes->{{3.516729632929995*^9, 3.5167297272968683`*^9}, { + 3.5167297586383963`*^9, 3.5167297743154*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"MakeExplicit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], " ", + RowBox[{"T", "[", "ua", "]"}], " ", + RowBox[{"v", "[", "lb", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744177782*^9, 3.5167308406710987`*^9, 3.516730932175454*^9, + 3.516731070693902*^9, 3.516731187556809*^9, 3.516731440958784*^9, + 3.516731544704298*^9, 3.516731578378796*^9, 3.516731681911566*^9, { + 3.516731757819166*^9, 3.516731797079649*^9}, 3.5167321375525703`*^9, + 3.516732200200448*^9, {3.5167326043414288`*^9, 3.516732631640379*^9}, + 3.5167328198063297`*^9, 3.516732979641474*^9, 3.5168247063484497`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744177782*^9, 3.5167308406710987`*^9, 3.516730932175454*^9, + 3.516731070693902*^9, 3.516731187556809*^9, 3.516731440958784*^9, + 3.516731544704298*^9, 3.516731578378796*^9, 3.516731681911566*^9, { + 3.516731757819166*^9, 3.516731797079649*^9}, 3.5167321375525703`*^9, + 3.516732200200448*^9, {3.5167326043414288`*^9, 3.516732631640379*^9}, + 3.5167328198063297`*^9, 3.516732979641474*^9, 3.516824706350959*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"S1", " ", "T1", " ", "v1"}], "+", + RowBox[{"S2", " ", "T2", " ", "v1"}], "+", + RowBox[{"S3", " ", "T3", " ", "v1"}]}], ",", + RowBox[{ + RowBox[{"S1", " ", "T1", " ", "v2"}], "+", + RowBox[{"S2", " ", "T2", " ", "v2"}], "+", + RowBox[{"S3", " ", "T3", " ", "v2"}]}], ",", + RowBox[{ + RowBox[{"S1", " ", "T1", " ", "v3"}], "+", + RowBox[{"S2", " ", "T2", " ", "v3"}], "+", + RowBox[{"S3", " ", "T3", " ", "v3"}]}]}], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744177782*^9, 3.5167308406710987`*^9, 3.516730932175454*^9, + 3.516731070693902*^9, 3.516731187556809*^9, 3.516731440958784*^9, + 3.516731544704298*^9, 3.516731578378796*^9, 3.516731681911566*^9, { + 3.516731757819166*^9, 3.516731797079649*^9}, 3.5167321375525703`*^9, + 3.516732200200448*^9, {3.5167326043414288`*^9, 3.516732631640379*^9}, + 3.5167328198063297`*^9, 3.516732979641474*^9, 3.516824706355105*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730744177782*^9, 3.5167308406710987`*^9, 3.516730932175454*^9, + 3.516731070693902*^9, 3.516731187556809*^9, 3.516731440958784*^9, + 3.516731544704298*^9, 3.516731578378796*^9, 3.516731681911566*^9, { + 3.516731757819166*^9, 3.516731797079649*^9}, 3.5167321375525703`*^9, + 3.516732200200448*^9, {3.5167326043414288`*^9, 3.516732631640379*^9}, + 3.5167328198063297`*^9, 3.516732979641474*^9, 3.516824706359313*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"MakeExplicit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], "\[Rule]", + RowBox[{"v", "[", "la", "]"}]}], "]"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"S1", "\[Rule]", "v1"}], ",", + RowBox[{"S2", "\[Rule]", "v2"}], ",", + RowBox[{"S3", "\[Rule]", "v3"}]}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.516729792596542*^9, 3.516729818186191*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"MakeExplicit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], "\[Rule]", + RowBox[{"v", "[", "la", "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307442082233`*^9, 3.516730840715227*^9, 3.516730932224177*^9, + 3.516731070761845*^9, 3.516731187623066*^9, 3.516731441021035*^9, + 3.516731544773993*^9, 3.5167315784467278`*^9, 3.516731681975102*^9, { + 3.516731757873639*^9, 3.516731797144074*^9}, 3.516732137607779*^9, + 3.516732200251177*^9, {3.516732604389122*^9, 3.5167326316910677`*^9}, + 3.516732819848678*^9, 3.5167329796827173`*^9, 3.5168247064023113`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307442082233`*^9, 3.516730840715227*^9, 3.516730932224177*^9, + 3.516731070761845*^9, 3.516731187623066*^9, 3.516731441021035*^9, + 3.516731544773993*^9, 3.5167315784467278`*^9, 3.516731681975102*^9, { + 3.516731757873639*^9, 3.516731797144074*^9}, 3.516732137607779*^9, + 3.516732200251177*^9, {3.516732604389122*^9, 3.5167326316910677`*^9}, + 3.516732819848678*^9, 3.5167329796827173`*^9, 3.5168247064047413`*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + RowBox[{ + RowBox[{"S1", "\[Rule]", "v1"}], ",", + RowBox[{"S2", "\[Rule]", "v2"}], ",", + RowBox[{"S3", "\[Rule]", "v3"}]}], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.5167307442082233`*^9, 3.516730840715227*^9, 3.516730932224177*^9, + 3.516731070761845*^9, 3.516731187623066*^9, 3.516731441021035*^9, + 3.516731544773993*^9, 3.5167315784467278`*^9, 3.516731681975102*^9, { + 3.516731757873639*^9, 3.516731797144074*^9}, 3.516732137607779*^9, + 3.516732200251177*^9, {3.516732604389122*^9, 3.5167326316910677`*^9}, + 3.516732819848678*^9, 3.5167329796827173`*^9, 3.5168247064090776`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.5167307442082233`*^9, 3.516730840715227*^9, 3.516730932224177*^9, + 3.516731070761845*^9, 3.516731187623066*^9, 3.516731441021035*^9, + 3.516731544773993*^9, 3.5167315784467278`*^9, 3.516731681975102*^9, { + 3.516731757873639*^9, 3.516731797144074*^9}, 3.516732137607779*^9, + 3.516732200251177*^9, {3.516732604389122*^9, 3.5167326316910677`*^9}, + 3.516732819848678*^9, 3.5167329796827173`*^9, 3.516824706412909*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"MakeExplicit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], + RowBox[{"IfThen", "[", + RowBox[{"1", ",", + RowBox[{"T", "[", "ua", "]"}], ",", + RowBox[{"v", "[", "ua", "]"}]}], "]"}]}], "]"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"S1", " ", + RowBox[{"IfThen", "[", + RowBox[{"1", ",", "T1", ",", "v1"}], "]"}]}], "+", + RowBox[{"S2", " ", + RowBox[{"IfThen", "[", + RowBox[{"1", ",", "T2", ",", "v2"}], "]"}]}], "+", + RowBox[{"S3", " ", + RowBox[{"IfThen", "[", + RowBox[{"1", ",", "T3", ",", "v3"}], "]"}]}]}], "}"}]}], + "]"}]], "Input", + CellChangeTimes->{{3.5167299157400093`*^9, 3.516729946626396*^9}, { + 3.516729986373069*^9, 3.516730024972948*^9}, {3.516730091333859*^9, + 3.516730092859097*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"MakeExplicit", "[", + RowBox[{ + RowBox[{"S", "[", "la", "]"}], " ", + RowBox[{"IfThen", "[", + RowBox[{"1", ",", + RowBox[{"T", "[", "ua", "]"}], ",", + RowBox[{"v", "[", "ua", "]"}]}], "]"}]}], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744252564*^9, 3.516730840767748*^9, 3.516730932273047*^9, + 3.516731070826638*^9, 3.516731187696838*^9, 3.516731441077677*^9, + 3.5167315448388357`*^9, 3.516731578511259*^9, 3.516731682039001*^9, { + 3.516731757936365*^9, 3.5167317972100477`*^9}, 3.516732137650022*^9, + 3.516732200301606*^9, {3.5167326044413137`*^9, 3.516732631756206*^9}, + 3.516732819902467*^9, 3.51673297973761*^9, 3.516824706446342*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744252564*^9, 3.516730840767748*^9, 3.516730932273047*^9, + 3.516731070826638*^9, 3.516731187696838*^9, 3.516731441077677*^9, + 3.5167315448388357`*^9, 3.516731578511259*^9, 3.516731682039001*^9, { + 3.516731757936365*^9, 3.5167317972100477`*^9}, 3.516732137650022*^9, + 3.516732200301606*^9, {3.5167326044413137`*^9, 3.516732631756206*^9}, + 3.516732819902467*^9, 3.51673297973761*^9, 3.5168247064489117`*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + RowBox[{ + RowBox[{"S1", " ", + RowBox[{"IfThen", "[", + RowBox[{"1", ",", "T1", ",", "v1"}], "]"}]}], "+", + RowBox[{"S2", " ", + RowBox[{"IfThen", "[", + RowBox[{"1", ",", "T2", ",", "v2"}], "]"}]}], "+", + RowBox[{"S3", " ", + RowBox[{"IfThen", "[", + RowBox[{"1", ",", "T3", ",", "v3"}], "]"}]}]}], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730744252564*^9, 3.516730840767748*^9, 3.516730932273047*^9, + 3.516731070826638*^9, 3.516731187696838*^9, 3.516731441077677*^9, + 3.5167315448388357`*^9, 3.516731578511259*^9, 3.516731682039001*^9, { + 3.516731757936365*^9, 3.5167317972100477`*^9}, 3.516732137650022*^9, + 3.516732200301606*^9, {3.5167326044413137`*^9, 3.516732631756206*^9}, + 3.516732819902467*^9, 3.51673297973761*^9, 3.5168247064527817`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730744252564*^9, 3.516730840767748*^9, 3.516730932273047*^9, + 3.516731070826638*^9, 3.516731187696838*^9, 3.516731441077677*^9, + 3.5167315448388357`*^9, 3.516731578511259*^9, 3.516731682039001*^9, { + 3.516731757936365*^9, 3.5167317972100477`*^9}, 3.516732137650022*^9, + 3.516732200301606*^9, {3.5167326044413137`*^9, 3.516732631756206*^9}, + 3.516732819902467*^9, 3.51673297973761*^9, 3.516824706457304*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"MakeExplicit", "[", + RowBox[{"Sqrt", "[", + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], + RowBox[{"T", "[", "la", "]"}]}], "]"}], "]"}], ",", + RowBox[{"{", + RowBox[{"Sqrt", "[", + RowBox[{ + RowBox[{"S1", " ", "T1"}], "+", + RowBox[{"S2", " ", "T2"}], "+", + RowBox[{"S3", " ", "T3"}]}], "]"}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.5167302611985598`*^9, 3.5167303157947493`*^9}, { + 3.516730375720846*^9, 3.516730396715124*^9}, 3.516730814039134*^9, + 3.516731646710783*^9}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"MakeExplicit", "[", + SqrtBox[ + RowBox[{ + RowBox[{"S", "[", "ua", "]"}], " ", + RowBox[{"T", "[", "la", "]"}]}]], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730464671671*^9, {3.516730722093163*^9, 3.516730744293338*^9}, { + 3.5167308147467337`*^9, 3.516730840818879*^9}, 3.516730932326692*^9, + 3.516731070894121*^9, 3.5167311877529573`*^9, 3.516731441142515*^9, + 3.516731544904163*^9, 3.516731578581691*^9, {3.5167316197364187`*^9, + 3.5167316474164543`*^9}, 3.5167316820909357`*^9, {3.516731757986741*^9, + 3.516731797261787*^9}, 3.5167321377024612`*^9, 3.516732200348918*^9, { + 3.5167326044895067`*^9, 3.51673263182626*^9}, 3.5167328199668713`*^9, + 3.516732979784316*^9, 3.5168247064976053`*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730464671671*^9, {3.516730722093163*^9, 3.516730744293338*^9}, { + 3.5167308147467337`*^9, 3.516730840818879*^9}, 3.516730932326692*^9, + 3.516731070894121*^9, 3.5167311877529573`*^9, 3.516731441142515*^9, + 3.516731544904163*^9, 3.516731578581691*^9, {3.5167316197364187`*^9, + 3.5167316474164543`*^9}, 3.5167316820909357`*^9, {3.516731757986741*^9, + 3.516731797261787*^9}, 3.5167321377024612`*^9, 3.516732200348918*^9, { + 3.5167326044895067`*^9, 3.51673263182626*^9}, 3.5167328199668713`*^9, + 3.516732979784316*^9, 3.516824706500112*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + SqrtBox[ + RowBox[{ + RowBox[{"S1", " ", "T1"}], "+", + RowBox[{"S2", " ", "T2"}], "+", + RowBox[{"S3", " ", "T3"}]}]], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730464671671*^9, {3.516730722093163*^9, 3.516730744293338*^9}, { + 3.5167308147467337`*^9, 3.516730840818879*^9}, 3.516730932326692*^9, + 3.516731070894121*^9, 3.5167311877529573`*^9, 3.516731441142515*^9, + 3.516731544904163*^9, 3.516731578581691*^9, {3.5167316197364187`*^9, + 3.5167316474164543`*^9}, 3.5167316820909357`*^9, {3.516731757986741*^9, + 3.516731797261787*^9}, 3.5167321377024612`*^9, 3.516732200348918*^9, { + 3.5167326044895067`*^9, 3.51673263182626*^9}, 3.5167328199668713`*^9, + 3.516732979784316*^9, 3.5168247065043077`*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730464671671*^9, {3.516730722093163*^9, 3.516730744293338*^9}, { + 3.5167308147467337`*^9, 3.516730840818879*^9}, 3.516730932326692*^9, + 3.516731070894121*^9, 3.5167311877529573`*^9, 3.516731441142515*^9, + 3.516731544904163*^9, 3.516731578581691*^9, {3.5167316197364187`*^9, + 3.5167316474164543`*^9}, 3.5167316820909357`*^9, {3.516731757986741*^9, + 3.516731797261787*^9}, 3.5167321377024612`*^9, 3.516732200348918*^9, { + 3.5167326044895067`*^9, 3.51673263182626*^9}, 3.5167328199668713`*^9, + 3.516732979784316*^9, 3.516824706508533*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"test", "[", + RowBox[{ + RowBox[{"MakeExplicit", "[", + RowBox[{"Sqrt", "[", + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], + RowBox[{"v", "[", "la", "]"}]}], "]"}], "]"}], ",", + RowBox[{"{", + RowBox[{"Sqrt", "[", + RowBox[{ + RowBox[{"u1", " ", "v1"}], "+", + RowBox[{"u2", " ", "v2"}], "+", + RowBox[{"u3", " ", "v3"}]}], "]"}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.5167304043445253`*^9, 3.516730420079707*^9}, { + 3.516731704129345*^9, 3.516731710793211*^9}, {3.51673177421154*^9, + 3.5167317868739147`*^9}}], + +Cell[CellGroupData[{ + +Cell[BoxData[ + StyleBox[ + TagBox[ + RowBox[{"MakeExplicit", "[", + SqrtBox[ + RowBox[{ + RowBox[{"u", "[", "ua", "]"}], " ", + RowBox[{"v", "[", "la", "]"}]}]], "]"}], + HoldForm], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730461286006*^9, 3.5167306848164473`*^9, 3.516730744343877*^9, + 3.5167308408655443`*^9, 3.5167309323732243`*^9, 3.516731070940481*^9, + 3.516731187803793*^9, 3.5167314411878033`*^9, 3.5167315449509478`*^9, + 3.5167315786272287`*^9, {3.5167316821409492`*^9, 3.516731711166637*^9}, { + 3.516731758042376*^9, 3.516731797354467*^9}, 3.516732137752605*^9, + 3.5167322003991747`*^9, {3.516732604534709*^9, 3.516732631917288*^9}, + 3.516732820006588*^9, 3.5167329798360558`*^9, 3.516824706547089*^9}], + +Cell[BoxData[ + StyleBox["\<\"\[DownArrow]\"\>", + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730461286006*^9, 3.5167306848164473`*^9, 3.516730744343877*^9, + 3.5167308408655443`*^9, 3.5167309323732243`*^9, 3.516731070940481*^9, + 3.516731187803793*^9, 3.5167314411878033`*^9, 3.5167315449509478`*^9, + 3.5167315786272287`*^9, {3.5167316821409492`*^9, 3.516731711166637*^9}, { + 3.516731758042376*^9, 3.516731797354467*^9}, 3.516732137752605*^9, + 3.5167322003991747`*^9, {3.516732604534709*^9, 3.516732631917288*^9}, + 3.516732820006588*^9, 3.5167329798360558`*^9, 3.516824706549543*^9}], + +Cell[BoxData[ + StyleBox[ + RowBox[{"{", + SqrtBox[ + RowBox[{ + RowBox[{"u1", " ", "v1"}], "+", + RowBox[{"u2", " ", "v2"}], "+", + RowBox[{"u3", " ", "v3"}]}]], "}"}], + StripOnInput->False, + TextAlignment->Center]], "Print", + CellChangeTimes->{ + 3.516730461286006*^9, 3.5167306848164473`*^9, 3.516730744343877*^9, + 3.5167308408655443`*^9, 3.5167309323732243`*^9, 3.516731070940481*^9, + 3.516731187803793*^9, 3.5167314411878033`*^9, 3.5167315449509478`*^9, + 3.5167315786272287`*^9, {3.5167316821409492`*^9, 3.516731711166637*^9}, { + 3.516731758042376*^9, 3.516731797354467*^9}, 3.516732137752605*^9, + 3.5167322003991747`*^9, {3.516732604534709*^9, 3.516732631917288*^9}, + 3.516732820006588*^9, 3.5167329798360558`*^9, 3.516824706553616*^9}], + +Cell[BoxData[ + StyleBox["\<\"Pass \"\>", + StripOnInput->False, + TextAlignment->Right, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Print", + CellChangeTimes->{ + 3.516730461286006*^9, 3.5167306848164473`*^9, 3.516730744343877*^9, + 3.5167308408655443`*^9, 3.5167309323732243`*^9, 3.516731070940481*^9, + 3.516731187803793*^9, 3.5167314411878033`*^9, 3.5167315449509478`*^9, + 3.5167315786272287`*^9, {3.5167316821409492`*^9, 3.516731711166637*^9}, { + 3.516731758042376*^9, 3.516731797354467*^9}, 3.516732137752605*^9, + 3.5167322003991747`*^9, {3.516732604534709*^9, 3.516732631917288*^9}, + 3.516732820006588*^9, 3.5167329798360558`*^9, 3.516824706557707*^9}] +}, Open ]] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"reportResults", "[", "]"}]], "Input", + CellChangeTimes->{{3.5167308553288403`*^9, 3.516730859145151*^9}}], + +Cell[BoxData[ + StyleBox["\<\"All 30 tests passed\"\>", + StripOnInput->False, + TextAlignment->Center, + LineColor->RGBColor[0, + Rational[2, 3], 0], + FrontFaceColor->RGBColor[0, + Rational[2, 3], 0], + BackFaceColor->RGBColor[0, + Rational[2, 3], 0], + GraphicsColor->RGBColor[0, + Rational[2, 3], 0], + FontWeight->Bold, + FontColor->RGBColor[0, + Rational[2, 3], 0]]], "Output", + CellChangeTimes->{ + 3.516730932422628*^9, 3.516731070993258*^9, 3.516731187871147*^9, + 3.516731441373098*^9, {3.516731652846097*^9, 3.516731706544807*^9}, { + 3.516731762235837*^9, 3.51673179740442*^9}, 3.5167321377980347`*^9, + 3.5167322004474287`*^9, {3.5167326045729933`*^9, 3.516732631967499*^9}, + 3.5167328200515223`*^9, 3.5167329798858643`*^9, 3.516824706594281*^9}] +}, Open ]] +}, Open ]] +}, Open ]] +}, +WindowSize->{855, 693}, +WindowMargins->{{Automatic, 79}, {Automatic, 0}}, +ShowSelection->True, +FrontEndVersion->"8.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (February 23, \ +2011)", +StyleDefinitions->"Default.nb" +] +(* End of Notebook Content *) + +(* Internal cache information *) +(*CellTagsOutline +CellTagsIndex->{} +*) +(*CellTagsIndex +CellTagsIndex->{} +*) +(*NotebookFileOutline +Notebook[{ +Cell[CellGroupData[{ +Cell[579, 22, 93, 1, 67, "Section"], +Cell[675, 25, 191, 4, 27, "Input"], +Cell[869, 31, 368, 10, 27, "Input"], +Cell[1240, 43, 56, 1, 27, "Input"], +Cell[1299, 46, 300, 5, 27, "Input"], +Cell[1602, 53, 309, 5, 27, "Input"] +}, Open ]], +Cell[CellGroupData[{ +Cell[1948, 63, 100, 1, 67, "Section"], +Cell[2051, 66, 166, 3, 27, "Input"], +Cell[2220, 71, 3585, 87, 193, "Input"], +Cell[5808, 160, 1285, 29, 88, "Input"] +}, Open ]], +Cell[CellGroupData[{ +Cell[7130, 194, 90, 1, 67, "Section"], +Cell[7223, 197, 186, 4, 27, "Input"], +Cell[7412, 203, 253, 7, 27, "Input"], +Cell[7668, 212, 251, 5, 26, "Text"], +Cell[CellGroupData[{ +Cell[7944, 221, 95, 1, 34, "Subsection"], +Cell[CellGroupData[{ +Cell[8064, 226, 146, 2, 27, "Input"], +Cell[8213, 230, 1343, 19, 27, "Output"] +}, Open ]], +Cell[CellGroupData[{ +Cell[9593, 254, 285, 6, 27, "Input"], +Cell[CellGroupData[{ +Cell[9903, 264, 628, 14, 20, "Print"], +Cell[10534, 280, 588, 11, 20, "Print"], +Cell[11125, 293, 569, 11, 20, "Print"], +Cell[11697, 306, 842, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[12588, 333, 230, 5, 27, "Input"], +Cell[CellGroupData[{ +Cell[12843, 342, 622, 14, 20, "Print"], +Cell[13468, 358, 582, 11, 20, "Print"], +Cell[14053, 371, 563, 11, 20, "Print"], +Cell[14619, 384, 838, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[15506, 411, 281, 7, 27, "Input"], +Cell[CellGroupData[{ +Cell[15812, 422, 673, 15, 26, "Print"], +Cell[16488, 439, 606, 11, 20, "Print"], +Cell[17097, 452, 614, 12, 23, "Print"], +Cell[17714, 466, 863, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[18626, 493, 330, 9, 27, "Input"], +Cell[CellGroupData[{ +Cell[18981, 506, 705, 16, 26, "Print"], +Cell[19689, 524, 613, 11, 20, "Print"], +Cell[20305, 537, 642, 13, 23, "Print"], +Cell[20950, 552, 869, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[21868, 579, 240, 6, 27, "Input"], +Cell[CellGroupData[{ +Cell[22133, 589, 656, 15, 20, "Print"], +Cell[22792, 606, 585, 11, 20, "Print"], +Cell[23380, 619, 821, 17, 22, "Print"], +Cell[24204, 638, 843, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[25096, 665, 244, 6, 27, "Input"], +Cell[CellGroupData[{ +Cell[25365, 675, 661, 15, 20, "Print"], +Cell[26029, 692, 592, 11, 20, "Print"], +Cell[26624, 705, 810, 17, 20, "Print"], +Cell[27437, 724, 846, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[28332, 751, 295, 8, 27, "Input"], +Cell[CellGroupData[{ +Cell[28652, 763, 678, 16, 20, "Print"], +Cell[29333, 781, 583, 11, 20, "Print"], +Cell[29919, 794, 846, 18, 22, "Print"], +Cell[30768, 814, 837, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[31654, 841, 460, 13, 27, "Input"], +Cell[CellGroupData[{ +Cell[32139, 858, 761, 18, 20, "Print"], +Cell[32903, 878, 605, 11, 20, "Print"], +Cell[33511, 891, 1161, 25, 22, "Print"], +Cell[34675, 918, 863, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[35587, 945, 645, 19, 27, "Input"], +Cell[CellGroupData[{ +Cell[36257, 968, 707, 17, 20, "Print"], +Cell[36967, 987, 577, 11, 20, "Print"], +Cell[37547, 1000, 2146, 51, 20, "Print"], +Cell[39696, 1053, 834, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[40579, 1080, 545, 17, 27, "Input"], +Cell[CellGroupData[{ +Cell[41149, 1101, 719, 17, 20, "Print"], +Cell[41871, 1120, 588, 11, 20, "Print"], +Cell[42462, 1133, 2156, 51, 20, "Print"], +Cell[44621, 1186, 844, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[45514, 1213, 735, 23, 27, "Input"], +Cell[CellGroupData[{ +Cell[46274, 1240, 850, 19, 20, "Print"], +Cell[47127, 1261, 681, 12, 20, "Print"], +Cell[47811, 1275, 2289, 52, 20, "Print"], +Cell[50103, 1329, 937, 22, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[51089, 1357, 936, 30, 27, "Input"], +Cell[CellGroupData[{ +Cell[52050, 1391, 829, 21, 20, "Print"], +Cell[52882, 1414, 580, 11, 20, "Print"], +Cell[53465, 1427, 3734, 90, 20, "Print"], +Cell[57202, 1519, 836, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[58087, 1546, 1308, 43, 43, "Input"], +Cell[CellGroupData[{ +Cell[59420, 1593, 1020, 27, 20, "Print"], +Cell[60443, 1622, 589, 11, 20, "Print"], +Cell[61035, 1635, 3869, 92, 20, "Print"], +Cell[64907, 1729, 847, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[65803, 1756, 1109, 34, 27, "Input"], +Cell[CellGroupData[{ +Cell[66937, 1794, 795, 19, 20, "Print"], +Cell[67735, 1815, 582, 11, 20, "Print"], +Cell[68320, 1828, 9946, 237, 20, "Print"], +Cell[78269, 2067, 840, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[79158, 2094, 353, 9, 27, "Input"], +Cell[CellGroupData[{ +Cell[79536, 2107, 685, 16, 20, "Print"], +Cell[80224, 2125, 583, 11, 20, "Print"], +Cell[80810, 2138, 836, 18, 20, "Print"], +Cell[81649, 2158, 839, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[82537, 2185, 665, 20, 27, "Input"], +Cell[CellGroupData[{ +Cell[83227, 2209, 740, 18, 20, "Print"], +Cell[83970, 2229, 578, 11, 20, "Print"], +Cell[84551, 2242, 2214, 52, 20, "Print"], +Cell[86768, 2296, 834, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[87651, 2323, 693, 21, 27, "Input"], +Cell[CellGroupData[{ +Cell[88369, 2348, 777, 19, 20, "Print"], +Cell[89149, 2369, 583, 11, 20, "Print"], +Cell[89735, 2382, 2286, 53, 20, "Print"], +Cell[92024, 2437, 837, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[92910, 2464, 724, 22, 27, "Input"], +Cell[CellGroupData[{ +Cell[93659, 2490, 744, 18, 20, "Print"], +Cell[94406, 2510, 583, 11, 20, "Print"], +Cell[94992, 2523, 2259, 54, 20, "Print"], +Cell[97254, 2579, 839, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[98142, 2606, 623, 19, 27, "Input"], +Cell[CellGroupData[{ +Cell[98790, 2629, 731, 18, 28, "Print"], +Cell[99524, 2649, 583, 11, 20, "Print"], +Cell[100110, 2662, 2203, 52, 31, "Print"], +Cell[102316, 2716, 839, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[103204, 2743, 719, 22, 27, "Input"], +Cell[CellGroupData[{ +Cell[103948, 2769, 795, 19, 20, "Print"], +Cell[104746, 2790, 584, 11, 20, "Print"], +Cell[105333, 2803, 2302, 53, 20, "Print"], +Cell[107638, 2858, 840, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[108527, 2885, 1109, 34, 43, "Input"], +Cell[CellGroupData[{ +Cell[109661, 2923, 885, 22, 20, "Print"], +Cell[110549, 2947, 581, 11, 20, "Print"], +Cell[111133, 2960, 3968, 93, 20, "Print"], +Cell[115104, 3055, 839, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[115992, 3082, 389, 10, 27, "Input"], +Cell[116384, 3094, 1884, 45, 38, "Output"] +}, Open ]], +Cell[CellGroupData[{ +Cell[118305, 3144, 162, 5, 27, "Input"], +Cell[118470, 3151, 816, 19, 30, "Output"] +}, Open ]], +Cell[CellGroupData[{ +Cell[119323, 3175, 208, 5, 27, "Input"], +Cell[119534, 3182, 565, 16, 39, "Output"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[120148, 3204, 97, 1, 34, "Subsection"], +Cell[120248, 3207, 197, 5, 27, "Input"], +Cell[CellGroupData[{ +Cell[120470, 3216, 366, 10, 27, "Input"], +Cell[CellGroupData[{ +Cell[120861, 3230, 629, 14, 20, "Print"], +Cell[121493, 3246, 555, 10, 20, "Print"], +Cell[122051, 3258, 1335, 30, 20, "Print"], +Cell[123389, 3290, 812, 20, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[124250, 3316, 931, 27, 27, "Input"], +Cell[CellGroupData[{ +Cell[125206, 3347, 663, 15, 20, "Print"], +Cell[125872, 3364, 561, 10, 20, "Print"], +Cell[126436, 3376, 3568, 84, 20, "Print"], +Cell[130007, 3462, 817, 20, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[130873, 3488, 1151, 36, 43, "Input"], +Cell[CellGroupData[{ +Cell[132049, 3528, 677, 16, 20, "Print"], +Cell[132729, 3546, 548, 10, 20, "Print"], +Cell[133280, 3558, 5423, 129, 20, "Print"], +Cell[138706, 3689, 802, 20, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[139557, 3715, 627, 18, 27, "Input"], +Cell[CellGroupData[{ +Cell[140209, 3737, 703, 16, 20, "Print"], +Cell[140915, 3755, 564, 10, 20, "Print"], +Cell[141482, 3767, 2213, 51, 20, "Print"], +Cell[143698, 3820, 820, 20, 20, "Print"] +}, Open ]] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[144579, 3847, 104, 1, 34, "Subsection"], +Cell[CellGroupData[{ +Cell[144708, 3852, 589, 17, 27, "Input"], +Cell[CellGroupData[{ +Cell[145322, 3873, 735, 17, 20, "Print"], +Cell[146060, 3892, 557, 10, 20, "Print"], +Cell[146620, 3904, 1051, 24, 20, "Print"], +Cell[147674, 3930, 813, 20, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[148536, 3956, 442, 12, 27, "Input"], +Cell[CellGroupData[{ +Cell[149003, 3972, 699, 16, 20, "Print"], +Cell[149705, 3990, 559, 10, 20, "Print"], +Cell[150267, 4002, 696, 15, 20, "Print"], +Cell[150966, 4019, 813, 20, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[151828, 4045, 853, 24, 43, "Input"], +Cell[CellGroupData[{ +Cell[152706, 4073, 797, 19, 20, "Print"], +Cell[153506, 4094, 556, 10, 20, "Print"], +Cell[154065, 4106, 897, 21, 20, "Print"], +Cell[154965, 4129, 810, 20, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[155824, 4155, 588, 16, 27, "Input"], +Cell[CellGroupData[{ +Cell[156437, 4175, 841, 19, 28, "Print"], +Cell[157281, 4196, 688, 12, 20, "Print"], +Cell[157972, 4210, 826, 18, 28, "Print"], +Cell[158801, 4230, 944, 22, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[159794, 4258, 588, 16, 27, "Input"], +Cell[CellGroupData[{ +Cell[160407, 4278, 790, 18, 28, "Print"], +Cell[161200, 4298, 639, 11, 20, "Print"], +Cell[161842, 4311, 775, 17, 28, "Print"], +Cell[162620, 4330, 895, 21, 20, "Print"] +}, Open ]] +}, Open ]], +Cell[CellGroupData[{ +Cell[163564, 4357, 129, 2, 27, "Input"], +Cell[163696, 4361, 781, 20, 27, "Output"] +}, Open ]] +}, Open ]] +}, Open ]] +} +] +*) + +(* End of internal cache information *) -- cgit v1.2.3