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

(*** Wolfram Notebook File ***)

(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 13.3' *)

(*CacheID: 234*)

(* Internal cache information:

NotebookFileLineBreakTest

NotebookFileLineBreakTest

NotebookDataPosition[ 158, 7]

NotebookDataLength[ 782123, 16676]

NotebookOptionsPosition[ 695485, 15178]

NotebookOutlinePosition[ 741910, 16034]

CellTagsIndexPosition[ 741867, 16031]

WindowFrame->Normal*)

(* Beginning of Notebook Content *)

Notebook[{

Cell[CellGroupData[{

Cell["Gemini II", "Title",

CellChangeTimes->{{3.9134059554869957`*^9, 3.913405962048803*^9}},

FontWeight->"Bold",ExpressionUUID->"16778456-057a-439b-ac55-77ff6b95996b"],

Cell["\<\

This is an executable, simplified version of the G2 APL2 software, G2 SoC, \

and G2 Core. specifications. Its purpose is to machine-check the prose in \

https://gsitech.atlassian.net/wiki/spaces/AR/pages/2091352073/APL+2.0+\

Language+V1.3. Clarity and accuracy are goals. Efficiency is not a goal.\

\>", "Text",

CellChangeTimes->{{3.913454463637103*^9, 3.9134545134570007`*^9}, {

3.913459930684636*^9, 3.913459931600078*^9}, {3.913460103580197*^9,

3.913460127205694*^9}, {3.913640796126814*^9, 3.913640810735035*^9}, {

3.9137477208901043`*^9, 3.913747747387837*^9}, {3.913750380009451*^9,

3.9137503964040318`*^9}, {3.914853649938925*^9,

3.914853661741346*^9}},ExpressionUUID->"bb44a52a-3340-48bd-8613-\

f25291fbd940"],

Cell[CellGroupData[{

Cell["Preliminaries", "Section",

CellChangeTimes->{{3.913466177509832*^9, 3.9134662007216883`*^9}},

FontWeight->"Bold",ExpressionUUID->"46aa0c78-f109-4a03-9859-cba679dbb122"],

Cell[TextData[{

"Almost all the analysis below pertains per G2C, aka ",

StyleBox["core",

FontWeight->"Bold",

FontSlant->"Italic"],

"."

}], "Text",

CellChangeTimes->{{3.913747710908846*^9, 3.913747714075435*^9}, {

3.9137477530219736`*^9,

3.913747785380069*^9}},ExpressionUUID->"fcaa720b-2379-4cda-b331-\

877ab0e15be3"],

Cell[TextData[{

"We follow 0-based indexing in function calls with single square brackets, \

and 1-based indexing in ",

StyleBox["Part", "Input"],

" expressions with double square brackets. For example, ",

StyleBox["RN[0]", "Input"],

" is the same as ",

StyleBox["RN[[1]]", "Input"],

". Function-call notation is preferred to reduce the risk of off-by-one \

errors."

}], "Text",

CellChangeTimes->{{3.913750244005362*^9,

3.913750359297455*^9}},ExpressionUUID->"9f6944e9-2232-4b51-a117-\

4fcd0de51546"],

Cell[BoxData[

RowBox[{"<<", "Utilities`CleanSlate`"}]], "Input",

InitializationCell->True,

CellChangeTimes->{{3.549536915366044*^9, 3.5495369233915033`*^9}},

CellLabel->

"In[213]:=",ExpressionUUID->"596e0ac3-24aa-4a16-9243-f7df7cc9153d"]

}, Open ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Jacquard.m (closed up)",

FontWeight->"Bold"]], "Section",

CellChangeTimes->{{3.911251932352053*^9, 3.911251934588236*^9}, {

3.9137520912113857`*^9,

3.913752094333016*^9}},ExpressionUUID->"275fc064-9f7b-4419-94fc-\

12b45d800c9d"],

Cell[TextData[{

"If you like, move the following package onto your ",

StyleBox["Mathematica",

FontSlant->"Italic"],

" ",

StyleBox["$Path",

FontSlant->"Italic"],

". The following unevaluatable cell shows where I put it on my system. I \

include a copy of this package here so anyone can just evaluate this notebook \

without installing packages. We don\[CloseCurlyQuote]t explain this code, \

here, we just use it. Close up this chapter so you don\[CloseCurlyQuote]t \

have to look at all this stuff."

}], "Text",

CellChangeTimes->{{3.841245538638632*^9, 3.841245647324567*^9}, {

3.84139870846646*^9, 3.8413987116890798`*^9}, {3.841749441285334*^9,

3.841749475793593*^9}, {3.911251785926512*^9, 3.911251809937158*^9}, {

3.911254213855645*^9, 3.9112543003752112`*^9}, {3.911254456176429*^9,

3.9112544866868763`*^9}, {3.912369537601478*^9,

3.912369557306286*^9}},ExpressionUUID->"33053ebb-4258-47ab-8886-\

21fee119d1a9"],

Cell[BoxData[

RowBox[{"<<", "\"\<~/Dropbox/MMA/Packages/Jacquard.m\>\""}]], "Input",

Evaluatable->False,

CellChangeTimes->{{3.629505394618649*^9, 3.6295054078237057`*^9}, {

3.645653564684004*^9, 3.645653570450636*^9}, {3.841153579311688*^9,

3.841153624246653*^9},

3.911297436702623*^9},ExpressionUUID->"35a3dfce-032c-48b6-9c2f-\

24649b1f54d2"],

Cell[CellGroupData[{

Cell["Jacquard and JaqSON", "Subsection",

FontWeight->"Bold",ExpressionUUID->"00da3566-785a-4257-a2ce-f6167477458f"],

Cell["Serialized expressions for remote evaluation.", "Text",ExpressionUUID->"603ef7d2-68da-433f-be48-b1eb2dbb602e"],

Cell["\<\

Brian Beckman

Februrary 2012

with ideas from Avi Bar-Zeev, Erik Meijer, and Savas Parastiditis\

\>", "Text",ExpressionUUID->"b906b5b9-ca12-4bc6-b841-7ab7a37a5a5f"],

Cell["\<\

Copyright (c) 2012, Microsoft Corporation

Licensed under the Apache License, Version 2.0 (the \"License\");

you may not use this file except in compliance with the License.

You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software

distributed under the License is distributed on an \"AS IS\" BASIS,

WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.

See the License for the specific language governing permissions and

limitations under the License.\

\>", "Text",

FontColor->RGBColor[

0, 0, 1],ExpressionUUID->"a8734c96-c275-46db-a49c-f02d5fb57c5a"]

}, Open ]],

Cell[CellGroupData[{

Cell["Public Interface", "Subsection",

FontWeight->"Bold",ExpressionUUID->"0c2def3a-16a3-47d2-aacc-e474def23be1"],

Cell[CellGroupData[{

Cell[BoxData[

RowBox[{

RowBox[{"(*", " ",

RowBox[{"Mathematica", " ", "Package"}], " ", "*)"}], "\n", "\n",

RowBox[{"(*", " ",

RowBox[{

RowBox[{

"Created", " ", "by", " ", "the", " ", "Wolfram", " ", "Workbench", " ",

"Mar", " ", "8"}], ",", " ", "2012"}], " ", "*)"}], "\n", "\n",

RowBox[{"(*",

RowBox[{"BeginPackage", "[",

RowBox[{"\"\<Jacquard`\>\"", ",", " ",

RowBox[{"{",

RowBox[{"\"\<JLink`\>\"", ",", " ", "\"\<MiniData`\>\""}], "}"}]}],

"]"}], "*)"}], "\n",

RowBox[{

RowBox[{"BeginPackage", "[",

RowBox[{"\"\<Jacquard`\>\"", ",", " ",

RowBox[{"{", "\"\<JLink`\>\"", "}"}]}], "]"}], "\n",

RowBox[{"(*", " ",

RowBox[{

"Exported", " ", "symbols", " ", "added", " ", "here", " ", "with", " ",

RowBox[{"SymbolName", "::", "usage"}]}], " ", "*)"}], " ", "\n", "\n",

RowBox[{

RowBox[{

RowBox[{"gridExpression", "::", "usage"}], " ", "=", " ",

"\"\<Displays expressions in a hierarchical grid.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"gridCaptive", "::", "usage"}], " ", "=", " ",

"\"\<Displays captive expressions in a hierarchical grid.\>\""}], ";"}],

"\n",

RowBox[{

RowBox[{

RowBox[{"gridCaptive2", "::", "usage"}], " ", "=", " ",

"\"\<Displays captive expressions in a hierarchical grid.\>\""}], ";"}],

"\n",

RowBox[{

RowBox[{

RowBox[{"gridRules", "::", "usage"}], " ", "=", " ",

"\"\<Displays Lists of Rules and Lists of Lists of Rules in a \

hierarchical grid.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"traceView2", "::", "usage"}], " ", "=", " ",

"\"\<Presents Cascading OpenerViews of an expression trace.\>\""}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"traceView4", "::", "usage"}], " ", "=", " ",

"\"\<Presents interactive, button-driven view of an \

expression-evaluation trace.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"traceView5", "::", "usage"}], " ", "=", " ",

"\"\<Presents an abbreviated button-driven view of an \

expression-evaluation trace.\>\""}], ";"}], "\n", "\n",

RowBox[{

RowBox[{

RowBox[{"SymbolQ", "::", "usage"}], " ", "=", " ",

"\"\<Tests whether its argument is a Symbol\>\""}], ";"}], "\n", "\n",

RowBox[{

RowBox[{

RowBox[{"KvpQ", "::", "usage"}], " ", "=", " ",

"\"\<Tests whether its argument is a KVPair or KVP, that is, a list of \

two values, the first of which is a string or symbol Key.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"KvpsQ", "::", "usage"}], " ", "=", " ",

"\"\<Tests whether its argument is an association list: that is, a list \

of key-value pairs where no key appears more than once.\>\""}], ";"}], "\n",

"\n",

RowBox[{

RowBox[{

RowBox[{"RulesQ", "::", "usage"}], " ", "=", " ",

"\"\<Tests whether its argument is a list of Rules, which is the \

Import/Export preferred representation for key-value pairs (the analog to \

'lookup' for rules is just 'Replace.')\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"RulessQ", "::", "usage"}], " ", "=", " ",

"\"\<Tests whether its argument is a list of list of Rules, which is the \

preferred representation for argument lists.\>\""}], ";"}], "\n", "\n",

RowBox[{

RowBox[{

RowBox[{"Args", "::", "usage"}], " ", "=", " ",

"\"\<Produces all the arguments of a composite expression; counterpoint \

to built-in Head.\>\""}], ";"}], "\n", "\n",

RowBox[{

RowBox[{

RowBox[{"rulesFromExpression", "::", "usage"}], " ", "=", " ",

"\"\<Documentation TODO\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"rulesFromHeldExpression", "::", "usage"}], " ", "=", " ",

"\"\<Documentation TODO\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"rulesFromEvaluatableHeldExpression", "::", "usage"}], " ", "=",

" ", "\"\<Documentation TODO\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"expressionFromRules", "::", "usage"}], " ", "=", " ",

"\"\<Documentation TODO\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"stringifiedExpressionFromRules", "::", "usage"}], " ", "=",

" ", "\"\<Documentation TODO\>\""}], ";"}], "\n", "\n",

RowBox[{

RowBox[{

RowBox[{"jsonStringFromExpression", "::", "usage"}], " ", "=", " ",

"\"\<jsonStringFromExpression[expr]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"jsonStringFromHeldExpression", "::", "usage"}], " ", "=", " ",

"\"\<jsonStringFromHeldExpression[expr]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"expressionFromJsonString", "::", "usage"}], " ", "=", " ",

"\"\<expressionFromJsonString[str]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"stringifiedExpressionFromJsonString", "::", "usage"}], " ", "=",

" ", "\"\<stringifiedExpressionFromJsonString[str]\>\""}], ";"}], "\n",

"\n",

RowBox[{

RowBox[{

RowBox[{"jacquardPostRules", "::", "usage"}], " ", "=", " ",

"\"\<jacquardPostRules[rules, importer, url]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"jacquardPostExpression", "::", "usage"}], " ", "=", " ",

"\"\<jacquardPostRules[rules, importer, url]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"jacquardEvalExpression", "::", "usage"}], " ", "=", " ",

"\"\<jacquardPostExpression[expr, importer, url]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"jacquardEvalHeldExpression", "::", "usage"}], " ", "=", " ",

"\"\<jacquardEvalHeldExpression[expr, importer, url]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"jacquardEvalEvaluatableHeldExpression", "::", "usage"}], " ",

"=", " ", "\"\<jacquardEvalHeldExpression[expr, importer, url]\>\""}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"jacquardStringifiedEvalHeldExpression", "::", "usage"}], " ",

"=", " ",

"\"\<jacquardStringifiedEvalHeldExpression[expr, importer, url]\>\""}],

";"}], "\n", "\n",

RowBox[{"(*", " ",

RowBox[{

RowBox[{"During", " ", "Development"}], ",", " ",

RowBox[{"keep", " ", "these", " ", "symbols", " ",

RowBox[{"public", ".", " ", "Pick"}], " ", "which", " ", "ones", "\n",

" ", "to", " ", "make", " ", "permanently", " ", "public", " ",

RowBox[{"later", "."}]}]}], " ", "*)"}], "\n",

RowBox[{

RowBox[{

RowBox[{"insertCommaSeparators", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"number2", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"string2", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"symbol2", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"dpyCaptive2", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"prefixes", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"postfixes", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"splits", "::", "usage"}], " ", "=", " ", "\"\<Temporary.\>\""}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"flat1", "::", "usage"}], " ", "=", " ", "\"\<Temporary.\>\""}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"Pluck", "::", "usage"}], " ", "=", " ",

"\"\<Pluck[n] is a Function that produces the n-th Part of its \

input.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"SelectMany", "::", "usage"}], " ", "=", " ",

"\"\<SelectMany[list, listFromElement]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"Zip", "::", "usage"}], " ", "=", " ",

"\"\<Zip[list1, list2, itemFromPair]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"ZipMany", "::", "usage"}], " ", "=", " ",

"\"\<ZipMany[list1, list2, listFromPair]\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"captive", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"captive2", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"RealQ", "::", "usage"}], " ", "=", " ", "\"\<Temporary.\>\""}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"ComplexQ", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"RationalQ", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"numericSubtype", "::", "usage"}], " ", "=", " ",

"\"\<Temporary.\>\""}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"pairsQ", "::", "usage"}], " ", "=", " ", "\"\<Temporary.\>\""}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"keys", "::", "usage"}], " ", "=", " ", "\"\<Temporary.\>\""}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"values", "::", "usage"}], " ", "=", " ", "\"\<Temporary.\>\""}],

";"}]}]}]], "Code",

CellLabel->

"In[214]:=",ExpressionUUID->"f209d8cf-1294-47ce-be5e-0c5c5ab9bf40"],

Cell[BoxData["\<\"Jacquard`\"\>"], "Output",

CellChangeTimes->{{3.911252420463434*^9, 3.9112524215062838`*^9}, {

3.91125438105021*^9, 3.911254381392432*^9}, {3.911254645608398*^9,

3.911254645916486*^9}, {3.911297451317709*^9, 3.911297451557879*^9}, {

3.912368778474472*^9, 3.9123687786643753`*^9}, {3.9123699328282743`*^9,

3.912369955036199*^9}, 3.912543581317498*^9, 3.912545374350491*^9, {

3.913148213086172*^9, 3.913148213292471*^9}, 3.9137514316001577`*^9, {

3.9137521125958753`*^9, 3.913752112798903*^9}, {3.913753546482997*^9,

3.913753546672599*^9}, 3.914855951783341*^9, {3.914858313128894*^9,

3.914858313323832*^9}, {3.915030581931933*^9, 3.915030582135644*^9}},

CellLabel->

"Out[214]=",ExpressionUUID->"92f518c7-c241-4bd3-8d2a-6efc3c78eb02"]

}, Open ]],

Cell[CellGroupData[{

Cell[BoxData[{

RowBox[{"Begin", "[", "\"\<`Private`\>\"", "]"}], "\n",

RowBox[{

RowBox[{"(*", " ",

RowBox[{"Implementation", " ", "of", " ", "the", " ", "package"}], " ",

"*)"}]}]}], "Code",

CellLabel->

"In[265]:=",ExpressionUUID->"1a9d9167-e341-436b-b203-3b691ecfd203"],

Cell[BoxData["\<\"Jacquard`Private`\"\>"], "Output",

CellChangeTimes->{{3.911252420472388*^9, 3.911252421509484*^9}, {

3.911254381065897*^9, 3.9112543813949327`*^9}, {3.911254645615882*^9,

3.911254645923902*^9}, {3.911297451328241*^9, 3.911297451568139*^9}, {

3.912368778476959*^9, 3.912368778669245*^9}, {3.912369932830568*^9,

3.912369955042194*^9}, 3.91254358131993*^9, 3.912545374352553*^9, {

3.91314821309627*^9, 3.913148213298619*^9}, 3.913751431606331*^9, {

3.913752112607782*^9, 3.913752112805262*^9}, {3.9137535464925838`*^9,

3.913753546679677*^9}, 3.9148559517913523`*^9, {3.914858313138418*^9,

3.914858313331258*^9}, {3.915030581939823*^9, 3.9150305821424294`*^9}},

CellLabel->

"Out[265]=",ExpressionUUID->"97160242-a650-4442-80d6-22f7ec82f6fb"]

}, Open ]]

}, Open ]],

Cell[CellGroupData[{

Cell["Visualization and Debugging Definitions", "Subsection",

FontWeight->"Bold",ExpressionUUID->"8dc42121-ae75-4d2a-ba62-a4f41b979400"],

Cell[CellGroupData[{

Cell["gridRules[ rules ]", "Subsubsection",

FontWeight->"Bold",ExpressionUUID->"565a04b9-d653-467e-82c5-2f795435f8d6"],

Cell["\<\

Display rules generated from expressions and round-tripped through JSON. \

Update to handle Rule-Delayed.\

\>", "Text",ExpressionUUID->"6fe83b28-0392-48ff-a40d-e5b36626d66d"],

Cell[BoxData[{

RowBox[{

RowBox[{"ClearAll", "[",

RowBox[{"gridRules", ",", "fopts"}], "]"}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"ClearAll", "[",

RowBox[{

"allAreRulesQ", ",", "noneAreAtomsQ", ",", "noneAreAtomsOrListsQ"}],

"]"}], ";"}], "\n", "\n",

RowBox[{"(*", " ",

RowBox[{

RowBox[{

"A", " ", "\"\<HoldAll\>\"", " ", "version", " ", "of", " ", "the", " ",

"following"}], ",", " ",

RowBox[{"with", " ", "\"\<Unevaluated\>\"", " ", "everywhere"}], ",", " ",

RowBox[{"may", " ", "be", " ",

RowBox[{"required", "."}]}]}], " ", "*)"}]}], "\n",

RowBox[{

RowBox[{

RowBox[{"noneAreAtomsQ", "[", "candidates_List", "]"}], ":=",

RowBox[{"And", "@@",

RowBox[{"(",

RowBox[{

RowBox[{

RowBox[{"Not", "[",

RowBox[{"AtomQ", "@", "#"}], "]"}], "&"}], "/@", "candidates"}],

")"}]}]}], ";"}], "\n",

RowBox[{

RowBox[{"noneAreAtomsOrListsQ", "[", "candidates_List", "]"}], ":=",

RowBox[{"And", "@@",

RowBox[{"(",

RowBox[{

RowBox[{

RowBox[{"(",

RowBox[{"Not", "[",

RowBox[{

RowBox[{"AtomQ", "@", "#"}], "||",

RowBox[{"ListQ", "@", "#"}]}], "]"}], ")"}], "&"}], "/@",

"candidates"}], ")"}]}]}], "\n",

RowBox[{

RowBox[{

RowBox[{"allAreRulesQ", "[", "candidates_List", "]"}], ":=",

RowBox[{"And", "@@",

RowBox[{"(",

RowBox[{

RowBox[{

RowBox[{"With", "[",

RowBox[{

RowBox[{"{",

RowBox[{"h", "=",

RowBox[{"Head", "@", "#"}]}], "}"}], ",",

RowBox[{

RowBox[{"h", "===", "Rule"}], "||",

RowBox[{"h", "===", "RuleDelayed"}]}]}], "]"}], "&"}], "/@",

"candidates"}], ")"}]}]}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"fopts", "[",

RowBox[{"fcolor_", ",", "bcolor_"}], "]"}], ":=",

RowBox[{"Sequence", "[",

RowBox[{

RowBox[{"Frame", " ", "->", " ", "All"}], ",",

RowBox[{"Alignment", " ", "->", " ", "Left"}], ",",

RowBox[{"FrameStyle", " ", "->", " ", "fcolor"}], ",", "\n",

RowBox[{"Background", " ", "->", " ",

RowBox[{"{",

RowBox[{"{",

RowBox[{"LightOrange", ",", " ",

RowBox[{"{", "bcolor", "}"}]}], "}"}], "}"}]}]}], "]"}]}],

"\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[",

RowBox[{"Rule", "[",

RowBox[{"key_", ",", " ", "val_"}], "]"}], "]"}], ":=", "\n",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"{",

RowBox[{

RowBox[{"Style", "[",

RowBox[{

RowBox[{"gridRules", "@", "key"}], ",", "Bold", ",", "Black"}],

"]"}], ",",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"gridRules", " ", "@", " ", "val"}], ",", "Bold", ",", " ",

"Blue"}], "]"}]}], "}"}], "}"}], ",", "\n",

RowBox[{"fopts", "[",

RowBox[{"Blue", ",", "LightYellow"}], "]"}]}], "]"}]}], ";"}],

"\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[",

RowBox[{"RuleDelayed", "[",

RowBox[{"key_", ",", " ", "val_"}], "]"}], "]"}], ":=", "\n",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"{",

RowBox[{

RowBox[{"Style", "[",

RowBox[{

RowBox[{"gridRules", "@", "key"}], ",", "Bold", ",", "Black"}],

"]"}], ",",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"gridRules", " ", "@", " ", "val"}], ",", "Bold", ",", " ",

"Red"}], "]"}]}], "}"}], "}"}], ",", "\n",

RowBox[{"fopts", "[",

RowBox[{"Red", ",", "LightYellow"}], "]"}]}], "]"}]}], ";"}], "\n",

"\n",

RowBox[{"(*", " ",

RowBox[{

RowBox[{

RowBox[{"Put", " ", "lists", " ", "of", " ", "non"}], "-",

RowBox[{

"atoms", " ", "vertically", " ", "and", " ", "joinGrids", " ", "them",

" ", "up"}]}], ",", " ",

RowBox[{"removing", " ", "one", " ", "level", " ", "of", " ",

RowBox[{"nesting", "."}]}]}], " ", "*)"}]}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[",

RowBox[{"exprs_List", "?", "noneAreAtomsOrListsQ"}], "]"}], ":=", "\n",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"(",

RowBox[{"joinGrids", "@",

RowBox[{"Transpose", "@",

RowBox[{"{",

RowBox[{"gridRules", " ", "/@", " ", "exprs"}], "}"}]}]}], ")"}],

",", "\n",

RowBox[{"Frame", "->", "All"}], ",",

RowBox[{"FrameStyle", "->",

RowBox[{"Darker", "[", "Green", "]"}]}], ",",

RowBox[{"Alignment", "->", "Left"}], ",",

RowBox[{"Background", "->", "LightGreen"}]}], "]"}]}], ";"}], "\n",

RowBox[{"(*", " ",

RowBox[{

"Put", " ", "other", " ", "lists", " ", "vertically", " ", "but", " ",

RowBox[{"DON", "'"}], "T", " ", "joinGrids", " ", "them", " ",

RowBox[{"up", "."}]}], " ", "*)"}], "\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[", "exprs_List", "]"}], ":=", "\n",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"(",

RowBox[{"Transpose", "@",

RowBox[{"{",

RowBox[{"gridRules", " ", "/@", " ", "exprs"}], "}"}]}], ")"}], ",",

"\n",

RowBox[{"Frame", "->", "All"}], ",",

RowBox[{"FrameStyle", "->",

RowBox[{"Darker", "[", "Green", "]"}]}], ",",

RowBox[{"Alignment", "->", "Left"}], ",",

RowBox[{"Background", "->", "LightGreen"}]}], "]"}]}], ";"}],

"\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[",

RowBox[{"h_", "[", "parts___", "]"}], "]"}], ":=", "\n",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"gridRules", "@", "h"}], ",", "Bold", ",", " ",

RowBox[{"Darker", "[", "Purple", "]"}]}], "]"}], "}"}], "~",

"Join", "~",

RowBox[{"(",

RowBox[{"gridRules", " ", "/@", " ",

RowBox[{"{", "parts", "}"}]}], ")"}]}], "}"}], ",", "\n",

RowBox[{"fopts", "[",

RowBox[{"Black", ",", "LightGreen"}], "]"}]}], "]"}]}], ";"}],

"\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[",

RowBox[{"any_", "?", "StringQ"}], "]"}], ":=",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"{", "any", "}"}], "}"}], ",",

RowBox[{"Alignment", "->", "Left"}]}], "]"}], ",", "Bold", ",",

RowBox[{"Darker", "[", "Red", "]"}]}], "]"}]}], ";"}], "\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[",

RowBox[{"any_", "?", "AtomQ"}], "]"}], ":=",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"{", "any", "}"}], "}"}], ",",

RowBox[{"Alignment", "->", "Left"}]}], "]"}], ",", "Bold"}], "]"}]}],

";"}], "\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"gridRules", "[", "any_", "]"}], ":=",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"{", "any", "}"}], "}"}], ",",

RowBox[{"Alignment", "->", "Left"}]}], "]"}]}], ";"}], "\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{"ClearAll", "[", "joinGrids", "]"}], ";"}], "\n",

RowBox[{"(*", " ",

RowBox[{

RowBox[{

"Arbitrarily", " ", "choose", " ", "the", " ", "first", " ", "of", " ",

"multiple", " ", "option", " ", "tails", " ", "z1"}], ",", " ", "z2",

",", " ",

RowBox[{"...", " ", "."}]}], " ", "*)"}]}], "\n",

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], "}"}]}], "}"}],

"]"}], ":=",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], "}"}], "}"}]}],

";"}], "\n",

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], "}"}], ",", " ",

"k__"}], "}"}], "]"}], ":=",

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], "}"}], ",",

"k"}], "}"}], "]"}]}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Grid", "[", "xs___", "]"}], "}"}], "}"}], "]"}], ":=",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Grid", "[", "xs", "]"}], "}"}], "}"}]}], ";"}], "\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], ",",

"sty1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], ",",

"sty2___"}], "]"}], "}"}]}], "}"}], "]"}], ":=",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], ",", "sty1"}],

"]"}], "}"}], "}"}]}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], ",",

"sty1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], ",",

"sty2___"}], "]"}], "}"}], ",", " ", "k__"}], "}"}], "]"}], ":=",

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], ",",

"sty1"}], "]"}], "}"}], ",", "k"}], "}"}], "]"}]}], ";"}],

"\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], ",",

"sty1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], "}"}]}], "}"}],

"]"}], ":=",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], ",", "sty1"}],

"]"}], "}"}], "}"}]}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], ",",

"sty1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], "}"}], ",", " ",

"k__"}], "}"}], "]"}], ":=",

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], ",",

"sty1"}], "]"}], "}"}], ",", "k"}], "}"}], "]"}]}], ";"}],

"\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], ",",

"sty2___"}], "]"}], "}"}]}], "}"}], "]"}], ":=",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], ",", "sty2"}],

"]"}], "}"}], "}"}]}], ";"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "xs__", "}"}], ",", "z1___"}], "]"}], "}"}], ",",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{", "ys__", "}"}], ",", "z2___"}], "]"}], ",",

"sty2___"}], "]"}], "}"}], ",", " ", "k__"}], "}"}], "]"}], ":=",

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"xs", ",", "ys"}], "}"}], ",", "z1"}], "]"}], ",",

"sty2"}], "]"}], "}"}], ",", "k"}], "}"}], "]"}]}], ";"}],

"\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[", "xs___", "]"}], ",", "sty___"}], "]"}], "}"}],

"}"}], "]"}], ":=",

RowBox[{"{",

RowBox[{"{",

RowBox[{"Style", "[",

RowBox[{

RowBox[{"Grid", "[", "xs", "]"}], ",", "sty"}], "]"}], "}"}], "}"}]}],

";"}], "\n"}], "\n",

RowBox[{

RowBox[{

RowBox[{"joinGrids", "[",

RowBox[{"{", "}"}], "]"}], ":=",

RowBox[{"{", "}"}]}], ";"}]}], "Code",

CellLabel->

"In[266]:=",ExpressionUUID->"92ea27d1-23fd-4cfc-a4f6-88a9c13a37c7"]

}, Open ]]

}, Open ]],

Cell[CellGroupData[{

Cell["Private Display (dpy) Definitions", "Subsection",

FontWeight->"Bold",ExpressionUUID->"6c904ca5-ebdf-4c97-b74d-88daeb2d5bf2"],

Cell[BoxData[

RowBox[{

RowBox[{

RowBox[{"dpyNullary", "[", "ex_", "]"}], " ", ":=", "\n", " ",

RowBox[{"Grid", "[",

RowBox[{

RowBox[{"{",

RowBox[{"{",

RowBox[{"ex", ",", " ", "\"\<\>\""}], "}"}], "}"}], ",", "\n", " ",

RowBox[{"Frame", " ", "->", " ",

RowBox[{"{",

RowBox[{"All", ",", "False"}], "}"}]}], ",", "\n", " ",

RowBox[{"Alignment", " ", "->", " ", "Left"}], ",", "\n", " ",

RowBox[{"Background", " ", "->", " ",

RowBox[{"{",

RowBox[{"{",

RowBox[{"LightOrange", ",",

RowBox[{"{", "LightYellow", "}"}]}], "}"}], "}"}]}]}], "]"}]}],

";"}]], "Code",

CellLabel->

"In[292]:=",ExpressionUUID->"1d62defa-6659-41c5-8e12-508f744a34d8"],

Cell[BoxData[

RowBox[{

RowBox[{

RowBox[{"dpyMultiary", "[",

RowBox[{"key_", ",", " ", "vals_"}], "]"}], " ", ":=", "\n", " ",

RowBox[{"With", "[",

RowBox[{

RowBox[{"{",

RowBox[{"c", " ", "=", " ",

RowBox[{"Length", " ", "@", " ", "vals"}]}], "}"}], ",", "\n", " ",

RowBox[{"Module", "[",

RowBox[{

RowBox[{"{", "\n", " ",

RowBox[{

RowBox[{"spans", " ", "=", " ",

RowBox[{"Table", "[",

RowBox[{"\"\<\>\"", ",", " ",

RowBox[{"{", "c", "}"}]}], "]"}]}], ",", "\n", " ",

RowBox[{"slot", " ", "=", " ",

RowBox[{"Floor", "[",

RowBox[{

RowBox[{"(",

RowBox[{"1", "+", "c"}], ")"}], "/", "2"}], "]"}]}]}], "}"}],

",", "\n", " ",

RowBox[{

RowBox[{

RowBox[{"spans", "[",