(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 12.3' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 117175, 3163] NotebookOptionsPosition[ 111197, 3018] NotebookOutlinePosition[ 112960, 3070] CellTagsIndexPosition[ 112917, 3067] WindowTitle->CanonicalWolframModelRule | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell[TextData[{ "Basic Examples", "\[NonBreakingSpace]", Cell["(3)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->462042388], Cell["Rename nodes and re-sort rules to find a canonical form:", "Text", TaggingRules->{}, CellID->214822482], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"2", ",", "3", ",", "3"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1", ",", "1"}], "}"}]}], "}"}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.793042484383925*^9, 3.79304248541597*^9}}, CellLabel->"In[63]:=", CellID->406305380], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "2"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "3", ",", "3"}], "}"}]}], "}"}]}]], "Output", TaggingRules->{}, CellChangeTimes->{3.793042486210805*^9}, CellLabel->"Out[63]=", CellID->701326649] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"2", ",", "3", ",", "3"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1", ",", "1"}], "}"}]}], "}"}]}], ",", "\"\\""}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.793042491060258*^9, 3.79304249581912*^9}}, CellLabel->"", CellID->316270170], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"x", ",", "y", ",", "y"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"y", ",", "x", ",", "x"}], "}"}], ",", RowBox[{"{", RowBox[{"x", ",", "z", ",", "z"}], "}"}]}], "}"}]}]], "Output", TaggingRules->{}, CellID->34736007] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"2", ",", "3", ",", "3"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1", ",", "1"}], "}"}]}], "}"}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "e", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"d", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "a"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}]}], "}"}], "]"}]], "Input", TaggingRules->{}, CellID->317083958], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "2"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "3", ",", "3"}], "}"}]}], "}"}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}]}], "}"}]], "Output", TaggingRules->{}, CellID->380896082] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"2", ",", "3", ",", "3"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1", ",", "1"}], "}"}]}], "}"}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "e", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"d", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "a"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}]}], "}"}], ",", "\"\\""}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.7930426624631357`*^9, 3.793042667413959*^9}}, CellID->286045109], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"{", RowBox[{"x", ",", "y", ",", "y"}], "}"}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"y", ",", "x", ",", "x"}], "}"}], ",", RowBox[{"{", RowBox[{"x", ",", "z", ",", "z"}], "}"}]}], "}"}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"x", ",", "y", ",", "z"}], "}"}], ",", RowBox[{"{", RowBox[{"z", ",", "u"}], "}"}], ",", RowBox[{"{", RowBox[{"u", ",", "v"}], "}"}], ",", RowBox[{"{", RowBox[{"v", ",", "x"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}]}], "}"}]], "Output", TaggingRules->{}, CellID->41926264] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", TaggingRules->{}, CellID->224031726], Cell["A slightly more complicated case:", "Text", TaggingRules->{}, CellID->415780590], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "3"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}]}], "}"}]}], "]"}]], "Input", TaggingRules->{}, CellID->129313719], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "4"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}]}], "}"}]}]], "Output", TaggingRules->{}, CellID->655887980] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "3"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}]}], "}"}]}], ",", "\"\\""}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.793042669919714*^9, 3.793042673498406*^9}}, CellID->617494378], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"x", ",", "y"}], "}"}], ",", RowBox[{"{", RowBox[{"x", ",", "z"}], "}"}], ",", RowBox[{"{", RowBox[{"x", ",", "u"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"v", ",", "w"}], "}"}], ",", RowBox[{"{", RowBox[{"w", ",", "v"}], "}"}], ",", RowBox[{"{", RowBox[{"v", ",", "s"}], "}"}], ",", RowBox[{"{", RowBox[{"w", ",", "s"}], "}"}], ",", RowBox[{"{", RowBox[{"s", ",", "v"}], "}"}], ",", RowBox[{"{", RowBox[{"s", ",", "w"}], "}"}], ",", RowBox[{"{", RowBox[{"v", ",", "y"}], "}"}], ",", RowBox[{"{", RowBox[{"y", ",", "w"}], "}"}], ",", RowBox[{"{", RowBox[{"w", ",", "z"}], "}"}], ",", RowBox[{"{", RowBox[{"z", ",", "v"}], "}"}], ",", RowBox[{"{", RowBox[{"s", ",", "u"}], "}"}]}], "}"}]}]], "Output", TaggingRules->{}, CellID->618577411] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", TaggingRules->{}, CellID->224031727], Cell[TextData[{ Cell[BoxData[ StyleBox["CanonicalWolframModelRule", "InlineResourceFunction"]], "InlineFormula", FontFamily->"Source Sans Pro"], " can handle any names for elements:" }], "Text", TaggingRules->{}, CellID->729131115], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "e", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"d", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "a"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}], "]"}]], "Input", TaggingRules->{}, CellID->730871439], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}]], "Output", TaggingRules->{}, CellID->452223724] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "e", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"d", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "a"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}], ",", "\"\\""}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.793042514839385*^9, 3.793042517178184*^9}}, CellID->278503862], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"x", ",", "y", ",", "z"}], "}"}], ",", RowBox[{"{", RowBox[{"z", ",", "u"}], "}"}], ",", RowBox[{"{", RowBox[{"u", ",", "v"}], "}"}], ",", RowBox[{"{", RowBox[{"v", ",", "x"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}]], "Output", TaggingRules->{}, CellID->128089558] }, Open ]], Cell["Some difficult cases:", "Text", TaggingRules->{}, CellID->376344280], Cell[BoxData[ RowBox[{ RowBox[{"hardrule", " ", "=", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"v1", ",", "p1r", ",", "p1y", ",", "p1g"}], "}"}], ",", RowBox[{"{", RowBox[{"v2", ",", "p2r", ",", "p2y", ",", "p2g"}], "}"}], ",", RowBox[{"{", RowBox[{"p1r", ",", "p2r"}], "}"}], ",", RowBox[{"{", RowBox[{"p2r", ",", "p1r"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"v3", ",", "p1g", ",", "p3y", ",", "p3g"}], "}"}], ",", RowBox[{"{", RowBox[{"v4", ",", "p1y", ",", "p4y", ",", "p4g"}], "}"}], ",", RowBox[{"{", RowBox[{"v5", ",", "p2g", ",", "p5y", ",", "p5g"}], "}"}], ",", RowBox[{"{", RowBox[{"v6", ",", "p2y", ",", "p6y", ",", "p6g"}], "}"}], ",", RowBox[{"{", RowBox[{"p3y", ",", "p5y"}], "}"}], ",", RowBox[{"{", RowBox[{"p3g", ",", "p4y"}], "}"}], ",", RowBox[{"{", RowBox[{"p4y", ",", "p3g"}], "}"}], ",", RowBox[{"{", RowBox[{"p4g", ",", "p6g"}], "}"}], ",", RowBox[{"{", RowBox[{"p5y", ",", "p3y"}], "}"}], ",", RowBox[{"{", RowBox[{"p5g", ",", "p6y"}], "}"}], ",", RowBox[{"{", RowBox[{"p6y", ",", "p5g"}], "}"}], ",", RowBox[{"{", RowBox[{"p6g", ",", "p4g"}], "}"}]}], "}"}]}]}], ";"}]], "Input", TaggingRules->{}, CellID->901974730], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", "hardrule", "]"}]], "Input", TaggingRules->{}, CellID->642975627], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6", ",", "7", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "2"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "3", ",", "10", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "4", ",", "13", ",", "14"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "7", ",", "16", ",", "17"}], "}"}], ",", RowBox[{"{", RowBox[{"18", ",", "8", ",", "19", ",", "20"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "14"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "17"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "19"}], "}"}], ",", RowBox[{"{", RowBox[{"19", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"16", ",", "20"}], "}"}], ",", RowBox[{"{", RowBox[{"20", ",", "16"}], "}"}]}], "}"}]}]], "Output", TaggingRules->{}, CellID->129233726] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{"hardrule", ",", "\"\\""}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.793042522317616*^9, 3.793042524947241*^9}}, CellID->794528886], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"e", ",", "f", ",", "g", ",", "h"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "f"}], "}"}], ",", RowBox[{"{", RowBox[{"f", ",", "b"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"i", ",", "c", ",", "j", ",", "k"}], "}"}], ",", RowBox[{"{", RowBox[{"l", ",", "d", ",", "m", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"o", ",", "g", ",", "p", ",", "q"}], "}"}], ",", RowBox[{"{", RowBox[{"r", ",", "h", ",", "s", ",", "t"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"n", ",", "j"}], "}"}], ",", RowBox[{"{", RowBox[{"k", ",", "q"}], "}"}], ",", RowBox[{"{", RowBox[{"q", ",", "k"}], "}"}], ",", RowBox[{"{", RowBox[{"m", ",", "s"}], "}"}], ",", RowBox[{"{", RowBox[{"s", ",", "m"}], "}"}], ",", RowBox[{"{", RowBox[{"p", ",", "t"}], "}"}], ",", RowBox[{"{", RowBox[{"t", ",", "p"}], "}"}]}], "}"}]}]], "Output", TaggingRules->{}, CellID->595255629] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"difficult", "=", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"8", ",", "5", ",", "9", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "11", ",", "6", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "6", ",", "0", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "11", ",", "1", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "5", ",", "7", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "9", ",", "6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "2", ",", "5", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "5", ",", "4", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "2", ",", "13", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "10", ",", "6", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "6", ",", "1", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "9", ",", "4", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "6", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "8", ",", "8", ",", "2"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "9", ",", "9", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "6", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "5", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6", ",", "12", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "9", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "10", ",", "1", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "9", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "2", ",", "0", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "11", ",", "0", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "10", ",", "5", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "2", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "10", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "10", ",", "5", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "11", ",", "2", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "10", ",", "6", ",", "7"}], "}"}]}], "}"}]}]}], ";"}]], "Input", TaggingRules->{}, CellID->788947274], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", "difficult", "]"}]], "Input", TaggingRules->{}, CellID->684530772], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "4", ",", "3", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "5", ",", "4", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "6", ",", "7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "4", ",", "7", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "7", ",", "4", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "9", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "9", ",", "11", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "11", ",", "4", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "4", ",", "12", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "3", ",", "10", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "9", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "11", ",", "13", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "9", ",", "13", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "6", ",", "4", ",", "14"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "9", ",", "12", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "11", ",", "11", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "7", ",", "11", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "6", ",", "12", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "3", ",", "7", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "11", ",", "7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "5", ",", "9", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "6", ",", "3", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7", ",", "5", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "7", ",", "4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5", ",", "4", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "3", ",", "12", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "5", ",", "9", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "5", ",", "7", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "4", ",", "14", ",", "5"}], "}"}]}], "}"}]}]], "Output",\ TaggingRules->{}, CellID->23396354] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CanonicalWolframModelRule", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"2.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CanonicalWolframModelRule"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CanonicalWolframModelRule"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CanonicalWolframModelRule"], BoxID -> "CanonicalWolframModelRule", Selectable->False], "[", RowBox[{"difficult", ",", "\"\\""}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.793042529881527*^9, 3.7930425322492647`*^9}}, CellID->415678683], Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "b", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"a", ",", "d", ",", "c", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"d", ",", "e", ",", "d", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"a", ",", "f", ",", "g", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"f", ",", "d", ",", "g", ",", "e"}], "}"}], ",", RowBox[{"{", RowBox[{"h", ",", "g", ",", "d", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "c", ",", "i", ",", "j"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "i", ",", "k", ",", "i"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "k", ",", "d", ",", "i"}], "}"}], ",", RowBox[{"{", RowBox[{"e", ",", "d", ",", "l", ",", "j"}], "}"}], ",", RowBox[{"{", RowBox[{"k", ",", "c", ",", "j", ",", "l"}], "}"}], ",", RowBox[{"{", RowBox[{"l", ",", "i", ",", "a", ",", "a"}], "}"}], ",", RowBox[{"{", RowBox[{"h", ",", "k", ",", "m", ",", "m"}], "}"}], ",", RowBox[{"{", RowBox[{"k", ",", "i", ",", "m", ",", "m"}], "}"}], ",", RowBox[{"{", RowBox[{"m", ",", "f", ",", "d", ",", "n"}], "}"}]}], "}"}], "\[Rule]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"i", ",", "i", ",", "l", ",", "l"}], "}"}], ",", RowBox[{"{", RowBox[{"i", ",", "k", ",", "k", ",", "f"}], "}"}], ",", RowBox[{"{", RowBox[{"l", ",", "g", ",", "k", ",", "l"}], "}"}], ",", RowBox[{"{", RowBox[{"g", ",", "f", ",", "l", ",", "i"}], "}"}], ",", RowBox[{"{", RowBox[{"k", ",", "c", ",", "g", ",", "l"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "k", ",", "g", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "e", ",", "i", ",", "f"}], "}"}], ",", RowBox[{"{", RowBox[{"m", ",", "f", ",", "c", ",", "k"}], "}"}], ",", RowBox[{"{", RowBox[{"m", ",", "g", ",", "e", ",", "g"}], "}"}], ",", RowBox[{"{", RowBox[{"l", ",", "g", ",", "d", ",", "e"}], "}"}], ",", RowBox[{"{", RowBox[{"f", ",", "e", ",", "d", ",", "a"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "c", ",", "l", ",", "a"}], "}"}], ",", RowBox[{"{", RowBox[{"n", ",", "e", ",", "i", ",", "e"}], "}"}], ",", RowBox[{"{", RowBox[{"n", ",", "e", ",", "g", ",", "j"}], "}"}], ",", RowBox[{"{", RowBox[{"h", ",", "d", ",", "n", ",", "e"}], "}"}]}], "}"}]}]], "Output",\ TaggingRules->{}, CellID->233197711] }, Open ]] }, Open ]] }, Open ]] }, ClosingSaveDialog->False, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"CanonicalWolframModelRule | Example Notebook", Visible->False, FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", StyleDefinitions->Notebook[{ Cell[ StyleData[ StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb", CharacterEncoding -> "UTF-8"]]], Cell[ StyleData[All, "Working"], Editable -> True, DockedCells -> {}], Cell[ StyleData["Notebook"], Editable -> True, DockedCells -> {}, ScrollingOptions -> {"VerticalScrollRange" -> Automatic}], Cell[ StyleData[ "Section", StyleDefinitions -> StyleData["PrimaryExamplesSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Subsection", StyleDefinitions -> StyleData["ExampleSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsection", StyleDefinitions -> StyleData["ExampleSubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsubsection", StyleDefinitions -> StyleData["ExampleSubsubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Text", StyleDefinitions -> StyleData["ExampleText"]], Editable -> True]}, Visible -> False, FrontEndVersion -> "12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", StyleDefinitions -> "PrivateStylesheetFormatting.nb"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[638, 23, 168, 7, 70, "Subsection",ExpressionUUID->"7fe42fe8-ea3d-4de6-8514-cf8a502b3a54", CellID->462042388], Cell[809, 32, 111, 2, 70, "Text",ExpressionUUID->"443885fe-d9dd-40c1-a3cf-12a95728f58c", CellID->214822482], Cell[CellGroupData[{ Cell[945, 38, 7569, 193, 70, "Input",ExpressionUUID->"4f12d0db-ee79-41e9-b593-d9b160a15878", CellID->406305380], Cell[8517, 233, 412, 14, 70, "Output",ExpressionUUID->"0708ac5f-b4c3-49ff-ab4d-b1fca460b770", CellID->701326649] }, Open ]], Cell[CellGroupData[{ Cell[8966, 252, 7611, 195, 70, "Input",ExpressionUUID->"fc7180ce-bc46-4066-9988-03823abdd987", CellID->316270170], Cell[16580, 449, 345, 12, 70, "Output",ExpressionUUID->"8fb9a52b-e340-4bdb-89e4-e30d160ecfc5", CellID->34736007] }, Open ]], Cell[CellGroupData[{ Cell[16962, 466, 7937, 206, 70, "Input",ExpressionUUID->"a94bba99-e981-47b4-bc52-870567b2e4bd", CellID->317083958], Cell[24902, 674, 788, 27, 70, "Output",ExpressionUUID->"8df56bef-7058-4360-9536-1a8de0662c6d", CellID->380896082] }, Open ]], Cell[CellGroupData[{ Cell[25727, 706, 8069, 209, 70, "Input",ExpressionUUID->"85fa2229-3633-4054-94fe-a3183ade51b4", CellID->286045109], Cell[33799, 917, 787, 27, 70, "Output",ExpressionUUID->"e11cd9cd-37a3-417d-ae63-05bb6741022a", CellID->41926264] }, Open ]], Cell[CellGroupData[{ Cell[34623, 949, 144, 4, 70, "ExampleDelimiter",ExpressionUUID->"5bc4335e-fda9-4442-9bc3-9af92fecb68a", CellID->224031726], Cell[34770, 955, 88, 2, 70, "Text",ExpressionUUID->"b498bb06-cf84-4403-85b7-5039d75a86e8", CellID->415780590], Cell[CellGroupData[{ Cell[34883, 961, 8160, 214, 70, "Input",ExpressionUUID->"62e8f169-a371-47eb-8ea3-edf5fc5e8869", CellID->129313719], Cell[43046, 1177, 1003, 35, 70, "Output",ExpressionUUID->"2b86d8b0-bb46-4b32-9e5c-85dfcd8fa734", CellID->655887980] }, Open ]], Cell[CellGroupData[{ Cell[44086, 1217, 8298, 217, 70, "Input",ExpressionUUID->"b7a34043-05ed-46e7-84e5-3a5d6489e969", CellID->617494378], Cell[52387, 1436, 1003, 35, 70, "Output",ExpressionUUID->"bde5e2a8-fb1b-4e1c-a69a-56c1f62f2935", CellID->618577411] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[53439, 1477, 144, 4, 70, "ExampleDelimiter",ExpressionUUID->"d1daaf53-f32d-4a9f-bac3-89d0f19fa299", CellID->224031727], Cell[53586, 1483, 242, 8, 70, "Text",ExpressionUUID->"7d4d328c-103c-4616-a202-98cdceee95db", CellID->729131115], Cell[CellGroupData[{ Cell[53853, 1495, 7555, 194, 70, "Input",ExpressionUUID->"f35d5bf8-a3ee-4509-bc87-46bf8c953587", CellID->730871439], Cell[61411, 1691, 418, 15, 70, "Output",ExpressionUUID->"b8c09b7b-582b-4e48-aed9-ad291089028a", CellID->452223724] }, Open ]], Cell[CellGroupData[{ Cell[61866, 1711, 7670, 196, 70, "Input",ExpressionUUID->"6df88185-cabc-4ba7-b5db-acd9e9a70158", CellID->278503862], Cell[69539, 1909, 418, 15, 70, "Output",ExpressionUUID->"b54fd447-f21b-4d78-8074-153256e70b43", CellID->128089558] }, Open ]], Cell[69972, 1927, 76, 2, 70, "Text",ExpressionUUID->"046ecfea-f184-45e0-a6be-ec242edbe4ef", CellID->376344280], Cell[70051, 1931, 1452, 41, 70, "Input",ExpressionUUID->"9f083c95-049d-4986-9a7b-0b8f7d58c475", CellID->901974730], Cell[CellGroupData[{ Cell[71528, 1976, 7198, 181, 70, "Input",ExpressionUUID->"f9c40834-94ec-4339-ade5-e36685cc33e4", CellID->642975627], Cell[78729, 2159, 1272, 39, 70, "Output",ExpressionUUID->"46b4b33c-abf5-454b-9c31-36efc00d0104", CellID->129233726] }, Open ]], Cell[CellGroupData[{ Cell[80038, 2203, 7300, 183, 70, "Input",ExpressionUUID->"00a6c28b-5379-493e-954d-d11387d5bbd8", CellID->794528886], Cell[87341, 2388, 1245, 39, 70, "Output",ExpressionUUID->"3b6c5d51-43df-4ab6-a21a-6d456f8472bc", CellID->595255629] }, Open ]], Cell[88601, 2430, 2787, 70, 70, "Input",ExpressionUUID->"d35a04f8-3945-42f7-af83-3b6c381149dd", CellID->788947274], Cell[CellGroupData[{ Cell[91413, 2504, 7199, 181, 70, "Input",ExpressionUUID->"d633075b-0efb-4bc7-b51b-6f82bd383261", CellID->684530772], Cell[98615, 2687, 2618, 68, 70, "Output",ExpressionUUID->"df287f81-d08e-402c-895f-ae21fa5412b4", CellID->23396354] }, Open ]], Cell[CellGroupData[{ Cell[101270, 2760, 7303, 183, 70, "Input",ExpressionUUID->"7374c419-12bd-4e0c-a4e0-a324a8544dd3", CellID->415678683], Cell[108576, 2945, 2581, 68, 70, "Output",ExpressionUUID->"af037fc2-869a-4b20-80c2-ee5cad60c9e2", CellID->233197711] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)