FunKit.nb

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

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

(* CreatedBy='Wolfram 14.3' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       154,          7]
NotebookDataLength[     68443,       1538]
NotebookOptionsPosition[     63920,       1447]
NotebookOutlinePosition[     64372,       1465]
CellTagsIndexPosition[     64329,       1462]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{"SetOptions", "[", 
  RowBox[{
   RowBox[{"EvaluationNotebook", "[", "]"}], ",", 
   RowBox[{"AutoGeneratedPackage", "->", "\"\<FunKit.m\>\""}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.933907062001917*^9, 3.933907088477437*^9}, 
   3.9356618434708548`*^9, 3.935744927606638*^9, {3.935833716539812*^9, 
   3.93583371672362*^9}, {3.9507222866535883`*^9, 3.95072228934137*^9}, {
   3.950850838405504*^9, 3.950850842475651*^9}, {3.951049968212927*^9, 
   3.9510499693365726`*^9}},
 CellLabel->"In[1]:=",ExpressionUUID->"33cd48af-4550-42b3-9c95-127f2f1ee635"],

Cell[CellGroupData[{

Cell["FunKit", "Title",
 CellChangeTimes->{{3.9516328040721397`*^9, 
  3.951632805652154*^9}},ExpressionUUID->"3edd37f6-e6ee-46fd-bdbb-\
e9eec3794061"],

Cell[CellGroupData[{

Cell["Automatic updates", "Chapter",
 CellChangeTimes->{{3.9715434296633377`*^9, 
  3.971543436355049*^9}},ExpressionUUID->"2f936df3-40b7-4534-a1c0-\
f7f827071b5f"],

Cell[BoxData[
 RowBox[{
  RowBox[{"If", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"$AllowInternet", "&&", "$NetworkConnected"}], ")"}], "&&", 
     RowBox[{"$FrontEnd", "=!=", "Null"}], "&&", "\[IndentingNewLine]", 
     RowBox[{"(*", " ", 
      RowBox[{
       RowBox[{"at", " ", "most", " ", "once", " ", "a", " ", "day"}], ",", 
       " ", 
       RowBox[{
        RowBox[{"tracked", " ", "by", " ", "a", " ", "per"}], "-", 
        RowBox[{"user", " ", "stamp", " ", "file"}]}]}], " ", "*)"}], 
     "\[IndentingNewLine]", 
     RowBox[{"Module", "[", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
         RowBox[{"stampFile", "=", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{"$TemporaryDirectory", ",", 
             RowBox[{"\"\<FunKit-update-check-\>\"", "<>", "$UserName"}]}], 
            "}"}], "]"}]}], ",", "due"}], "}"}], ",", 
       RowBox[{
        RowBox[{"due", "=", 
         RowBox[{
          RowBox[{"!", 
           RowBox[{"FileExistsQ", "[", "stampFile", "]"}]}], "||", 
          RowBox[{
           RowBox[{
            RowBox[{"AbsoluteTime", "[", "]"}], "-", 
            RowBox[{"AbsoluteTime", "[", 
             RowBox[{"FileDate", "[", 
              RowBox[{"stampFile", ",", "\"\<Modification\>\""}], "]"}], 
             "]"}]}], ">", 
           RowBox[{"24", " ", "3600"}]}]}]}], ";", 
        RowBox[{"If", "[", 
         RowBox[{"due", ",", 
          RowBox[{"Quiet", "[", 
           RowBox[{"Close", "[", 
            RowBox[{"OpenWrite", "[", "stampFile", "]"}], "]"}], "]"}]}], 
         "]"}], ";", "due"}]}], "]"}]}], ",", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{"Module", "[", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
        "FCurPacletAddr", ",", "FCurPaclet", ",", "FCurVersion", ",", 
         "FCurVersionList", ",", "\[IndentingNewLine]", "FInstalledPaclet", ",",
          "FInstalledVersion", ",", "FInstalledVersionList"}], "}"}], ",", 
       "\[IndentingNewLine]", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{
        "FCurPacletAddr", 
         "=", "\"\<https://github.com/satfra/FunKit/raw/refs/heads/main/\
PacletInfo.m\>\""}], ";", "\[IndentingNewLine]", 
        RowBox[{"FCurPaclet", "=", 
         RowBox[{"CheckAbort", "[", 
          RowBox[{
           RowBox[{"TimeConstrained", "[", 
            RowBox[{
             RowBox[{"Import", "[", "FCurPacletAddr", "]"}], ",", "2", ",", 
             "$Failed"}], "]"}], ",", "$Failed"}], "]"}]}], ";", 
        "\[IndentingNewLine]", "\[IndentingNewLine]", 
        RowBox[{"If", "[", 
         RowBox[{
          RowBox[{"FCurPaclet", "=!=", "$Failed"}], ",", 
          "\[IndentingNewLine]", 
          RowBox[{
           RowBox[{"FCurPaclet", "=", 
            RowBox[{
             RowBox[{"(", 
              RowBox[{"List", "@@", "FCurPaclet"}], ")"}], "[", 
             RowBox[{"[", "1", "]"}], "]"}]}], ";", "\[IndentingNewLine]", 
           RowBox[{"FCurVersion", "=", 
            RowBox[{"FCurPaclet", "[", "\"\<Version\>\"", "]"}]}], ";", 
           "\[IndentingNewLine]", 
           RowBox[{"FCurVersionList", "=", 
            RowBox[{"ToExpression", "/@", 
             RowBox[{"StringSplit", "[", 
              RowBox[{"FCurVersion", ",", "\"\<.\>\""}], "]"}]}]}], ";", 
           "\[IndentingNewLine]", "\[IndentingNewLine]", 
           RowBox[{"FInstalledPaclet", "=", 
            RowBox[{
             RowBox[{"(", 
              RowBox[{"List", "@@", 
               RowBox[{"Import", "[", 
                RowBox[{"FileNameJoin", "[", 
                 RowBox[{"{", 
                  RowBox[{
                  "$UserBaseDirectory", ",", "\"\<Applications\>\"", 
                   ",", "\"\<FunKit\>\"", ",", "\"\<PacletInfo.m\>\""}], 
                  "}"}], "]"}], "]"}]}], ")"}], "[", 
             RowBox[{"[", "1", "]"}], "]"}]}], ";", "\[IndentingNewLine]", 
           RowBox[{"FInstalledVersion", "=", 
            RowBox[{"FInstalledPaclet", "[", "\"\<Version\>\"", "]"}]}], ";", 
           "\[IndentingNewLine]", 
           RowBox[{"FInstalledVersionList", "=", 
            RowBox[{"ToExpression", "/@", 
             RowBox[{"StringSplit", "[", 
              RowBox[{"FInstalledVersion", ",", "\"\<.\>\""}], "]"}]}]}], ";",
            "\[IndentingNewLine]", "\[IndentingNewLine]", 
           RowBox[{"If", "[", 
            RowBox[{
             RowBox[{"!", 
              RowBox[{"OrderedQ", "[", 
               RowBox[{"{", 
                RowBox[{"FCurVersionList", ",", "FInstalledVersionList"}], 
                "}"}], "]"}]}], ",", "\[IndentingNewLine]", 
             RowBox[{
              RowBox[{"If", "[", 
               RowBox[{
                RowBox[{"ChoiceDialog", "[", "\[IndentingNewLine]", 
                 RowBox[{
                  RowBox[{"TemplateApply", "[", 
                   
                   RowBox[{"\"\<There is a newer FunKit version on the \
internet. \nThe installed version is `a`, whereas `b` is available. Do you \
want to install it?\>\"", ",", 
                    RowBox[{"<|", 
                    RowBox[{
                    RowBox[{"\"\<a\>\"", "->", "FInstalledVersion"}], ",", 
                    RowBox[{"\"\<b\>\"", "->", "FCurVersion"}]}], "|>"}]}], 
                   "]"}], "\[IndentingNewLine]", ",", 
                  RowBox[{"WindowTitle", "->", "\"\<Update FunKit\>\""}], ",", 
                  RowBox[{"WindowSize", "->", 
                   RowBox[{"{", 
                    RowBox[{"Medium", ",", "All"}], "}"}]}]}], "]"}], ",", 
                "\[IndentingNewLine]", 
                RowBox[{
                 RowBox[{
                 "Import", 
                  "[", "\"\<https://raw.githubusercontent.com/satfra/FunKit/\
main/FunKitInstaller.m\>\"", "]"}], ";", "\[IndentingNewLine]", 
                 RowBox[{
                 "Echo", "[", "\"\<Please restart your Kernel.\>\"", "]"}], ";", 
                 RowBox[{"Exit", "[", "]"}]}], ",", "\[IndentingNewLine]", 
                RowBox[{
                 RowBox[{
                 "Print", 
                  "[", "\"\<Consider updating the FunKit package for bugfixes \
and new features!\>\"", "]"}], ";"}]}], "\[IndentingNewLine]", "]"}], ";"}]}],
             "\[IndentingNewLine]", "]"}], ";"}]}], "\[IndentingNewLine]", 
         "]"}], ";"}]}], "\[IndentingNewLine]", "]"}], ";"}]}], "\n", "]"}], 
  ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.969423224905064*^9, 3.969423506793309*^9}, {
   3.96942369325712*^9, 3.9694238536809998`*^9}, {3.969423928897141*^9, 
   3.969424002217407*^9}, {3.96942405085797*^9, 3.969424119054247*^9}, {
   3.969424154209969*^9, 3.969424204489299*^9}, {3.969424340461267*^9, 
   3.969424388417314*^9}, {3.971543449084146*^9, 3.9715434884036417`*^9}, {
   3.9715438958868637`*^9, 3.971543900584436*^9}, 3.9715440161159782`*^9, {
   3.971782014316592*^9, 3.971782079748579*^9}, {3.971782232765156*^9, 
   3.9717822336055183`*^9}, 3.973692521710208*^9, {3.981614550326079*^9, 
   3.9816145906737022`*^9}, {3.9828163827229023`*^9, 3.982816391842286*^9}, {
   3.983259060650054*^9, 3.983259073578887*^9}, {3.983259104630189*^9, 
   3.983259111706098*^9}, {3.9832591571122503`*^9, 3.983259158683097*^9}, {
   3.983259249135556*^9, 3.9832593226035147`*^9}, {3.983259404590269*^9, 
   3.983259419578163*^9}, 3.984107722254324*^9, {3.984538220096855*^9, 
   3.984538228032502*^9}, {3.984538263140874*^9, 3.984538291456411*^9}, {
   3.9845388330004063`*^9, 3.984538837196621*^9}, {3.98453978940454*^9, 
   3.984539789500387*^9}, 
   3.984742327181171*^9},ExpressionUUID->"fc6ea956-4f03-4713-ac8c-\
8ce6e6542b87"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Installation of dependencies", "Chapter",
 CellChangeTimes->{{3.93548548465976*^9, 3.935485499970652*^9}, {
  3.9510501856003942`*^9, 3.951050189920801*^9}, {3.951280175908622*^9, 
  3.9512801816180983`*^9}},ExpressionUUID->"291f640c-487b-4f30-9942-\
6958673dcd5e"],

Cell[BoxData[{
 RowBox[{"Unprotect", "[", "$FUNKITDIR", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"$FUNKITDIR", "=", 
   RowBox[{
    RowBox[{"SelectFirst", "[", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Join", "[", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"{", "\[IndentingNewLine]", 
         RowBox[{
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$UserBaseDirectory", ",", "\"\<Applications\>\"", 
             ",", "\"\<FunKit\>\""}], "}"}], "]"}], ",", 
          "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$BaseDirectory", ",", "\"\<Applications\>\"", 
             ",", "\"\<FunKit\>\""}], "}"}], "]"}], ",", 
          "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
             ",", "\"\<Applications\>\"", ",", "\"\<FunKit\>\""}], "}"}], 
           "]"}], ",", "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
             ",", "\"\<Packages\>\"", ",", "\"\<FunKit\>\""}], "}"}], "]"}], ",",
           "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
             ",", "\"\<ExtraPackages\>\"", ",", "\"\<FunKit\>\""}], "}"}], 
           "]"}]}], "\[IndentingNewLine]", "}"}], ",", "\[IndentingNewLine]", 
        
        RowBox[{"Select", "[", 
         RowBox[{"$Path", ",", 
          RowBox[{
           RowBox[{"StringContainsQ", "[", 
            RowBox[{"#", ",", "\"\<FunKit\>\""}], "]"}], "&"}]}], "]"}]}], 
       "\[IndentingNewLine]", "]"}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"DirectoryQ", "[", "#", "]"}], "&"}]}], "\[IndentingNewLine]", 
     "]"}], "<>", "\"\</\>\""}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Protect", "[", "$FUNKITDIR", "]"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.983260139526126*^9, 3.9832601661355762`*^9}, {
  3.983260306997664*^9, 3.983260309874073*^9}, {3.983260359465773*^9, 
  3.983260375773365*^9}},ExpressionUUID->"117cd3b6-a15f-4718-9e05-\
00d79dca8ab1"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "Hide", " ", "styling", " ", "if", " ", "we", " ", "are", " ", "in", " ", 
    "a", " ", "CLI", " ", 
    RowBox[{"context", "."}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"If", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"$FrontEnd", "===", "Null"}], "||", 
      RowBox[{"$Notebooks", "===", "False"}]}], ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Unprotect", "[", "Style", "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"Unprotect", "[", "StyleBox", "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"Unprotect", "[", "Print", "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Style", "[", 
        RowBox[{"expr_", ",", "opts___"}], "]"}], ":=", "expr"}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"StyleBox", "[", 
        RowBox[{"expr_", ",", "opts___"}], "]"}], ":=", "expr"}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Print", "[", "expr__", "]"}], ":=", 
       RowBox[{"Write", "[", 
        RowBox[{"$Output", ",", 
         RowBox[{"StringJoin", "[", 
          RowBox[{
           RowBox[{
            RowBox[{"ToString", "[", 
             RowBox[{"#", ",", "OutputForm"}], "]"}], "&"}], "/@", 
           RowBox[{"{", "expr", "}"}]}], "]"}]}], "]"}]}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"Protect", "[", "Print", "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"Protect", "[", "StyleBox", "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"Protect", "[", "Style", "]"}], ";"}]}], "\[IndentingNewLine]", 
    "]"}], ";"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.967532347864421*^9, 3.967532347864746*^9}, {
  3.982816242308427*^9, 3.9828162467577343`*^9}, {3.982816369199932*^9, 
  3.982816373481782*^9}, {3.982816437395755*^9, 
  3.982816456746243*^9}},ExpressionUUID->"259e2f7b-ed26-4ac9-90b6-\
12ae40f229f2"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"Loading\",FontSize->10,FontWeight->\"Plain\",\
FontSlant->\"Italic\"]\)\!\(\*StyleBox[\" \",FontSize->10,FontWeight->\"Plain\
\",FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"external\",FontSize->10,\
FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\!\(\*StyleBox[\" \
\",FontSize->10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\!\(\*StyleBox[\
\"dependencies\",FontSize->10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\!\
\(\*StyleBox[\"...\",FontSize->10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\
\)\>\"", "]"}], ";"}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"TensorBasesInstalled", "[", "]"}], ":=", 
    RowBox[{"Module", "[", 
     RowBox[{
      RowBox[{"{", "TensorBasesDirectory", "}"}], ",", "\[IndentingNewLine]", 
      
      RowBox[{
       RowBox[{"TensorBasesDirectory", "=", 
        RowBox[{
         RowBox[{
          RowBox[{"SelectFirst", "[", "\[IndentingNewLine]", 
           RowBox[{
            RowBox[{"Join", "[", "\[IndentingNewLine]", 
             RowBox[{
              RowBox[{"{", "\[IndentingNewLine]", 
               RowBox[{
                RowBox[{"FileNameJoin", "[", 
                 RowBox[{"{", 
                  RowBox[{
                  "$UserBaseDirectory", ",", "\"\<Applications\>\"", 
                   ",", "\"\<TensorBases\>\""}], "}"}], "]"}], ",", 
                "\[IndentingNewLine]", 
                RowBox[{"FileNameJoin", "[", 
                 RowBox[{"{", 
                  RowBox[{
                  "$BaseDirectory", ",", "\"\<Applications\>\"", 
                   ",", "\"\<TensorBases\>\""}], "}"}], "]"}], ",", 
                "\[IndentingNewLine]", 
                RowBox[{"FileNameJoin", "[", 
                 RowBox[{"{", 
                  RowBox[{
                  "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
                   ",", "\"\<Applications\>\"", ",", "\"\<TensorBases\>\""}], 
                  "}"}], "]"}], ",", "\[IndentingNewLine]", 
                RowBox[{"FileNameJoin", "[", 
                 RowBox[{"{", 
                  RowBox[{
                  "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
                   ",", "\"\<Packages\>\"", ",", "\"\<TensorBases\>\""}], 
                  "}"}], "]"}], ",", "\[IndentingNewLine]", 
                RowBox[{"FileNameJoin", "[", 
                 RowBox[{"{", 
                  RowBox[{
                  "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
                   ",", "\"\<ExtraPackages\>\"", ",", "\"\<TensorBases\>\""}],
                   "}"}], "]"}]}], "\[IndentingNewLine]", "}"}], ",", 
              "\[IndentingNewLine]", 
              RowBox[{"Select", "[", 
               RowBox[{"$Path", ",", 
                RowBox[{
                 RowBox[{"StringContainsQ", "[", 
                  RowBox[{"#", ",", "\"\<TensorBases\>\""}], "]"}], "&"}]}], 
               "]"}]}], "\[IndentingNewLine]", "]"}], ",", 
            "\[IndentingNewLine]", 
            RowBox[{
             RowBox[{"DirectoryQ", "[", "#", "]"}], "&"}]}], 
           "\[IndentingNewLine]", "]"}], "<>", "\"\</\>\""}], "//", 
         "Quiet"}]}], ";", "\[IndentingNewLine]", 
       RowBox[{"If", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"Head", "[", "TensorBasesDirectory", "]"}], "=!=", 
          "String"}], ",", 
         RowBox[{"Return", "[", "False", "]"}]}], "]"}], ";", 
       "\[IndentingNewLine]", 
       RowBox[{"Return", "[", "True", "]"}], ";"}]}], "\[IndentingNewLine]", 
     "]"}]}], ";"}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"If", "[", 
    RowBox[{
     RowBox[{"Not", "@", 
      RowBox[{"TensorBasesInstalled", "[", "]"}]}], ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"If", "[", 
       RowBox[{
        RowBox[{"ChoiceDialog", "[", 
         RowBox[{"\"\<TensorBases does not seem to be installed. Do you want \
to install it?\>\"", ",", 
          RowBox[{"WindowTitle", "->", "\"\<Install TensorBases\>\""}], ",", 
          RowBox[{"WindowSize", "->", 
           RowBox[{"{", 
            RowBox[{"Medium", ",", "All"}], "}"}]}]}], "]"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
        "Import", 
         "[", "\"\<https://raw.githubusercontent.com/satfra/TensorBases/main/\
TensorBasesInstaller.m\>\"", "]"}], ",", "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{
         "Print", 
          "[", "\"\<\!\(\*StyleBox[\"FunKit\",FontWeight->\"Bold\"]\) \
requires \!\(\*StyleBox[\"TensorBases\",FontWeight->\"Bold\"]\) to run.\>\"", 
          "]"}], ";", 
         RowBox[{"Abort", "[", "]"}], ";"}]}], "\[IndentingNewLine]", "]"}], 
      ";"}]}], "\[IndentingNewLine]", "]"}], ";"}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   StyleBox[
    RowBox[{"FunKitLoad", "::", "tensorBasesVersion"}], "MessageName"], 
   "=", "\"\<FunKit requires TensorBases `1` or newer, but version `2` is \
installed in `3`. From `1` on, TBMakePropagator expands the inverse \
propagator with all momenta incoming; with an older TensorBases every \
momentum-odd propagator dressing -- for instance the pslash dressing of the \
quark propagator -- is returned with the wrong sign relative to the \
momentum-even ones, and silently so. Re-run dependencies/install.sh or update \
TensorBases.\>\""}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"Module", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"tbDir", ",", "tbPaclet", ",", "tbVersion", ",", "tbVerList", ",", 
       RowBox[{"requiredVersion", "=", "\"\<1.3.0\>\""}], ",", 
       "requiredList"}], "}"}], ",", 
     RowBox[{
      RowBox[{"requiredList", "=", 
       RowBox[{"PadRight", "[", 
        RowBox[{
         RowBox[{"ToExpression", "/@", 
          RowBox[{"StringSplit", "[", 
           RowBox[{"requiredVersion", ",", "\"\<.\>\""}], "]"}]}], ",", "3", ",",
          "0"}], "]"}]}], ";", 
      RowBox[{"tbDir", "=", 
       RowBox[{"SelectFirst", "[", 
        RowBox[{
         RowBox[{"Join", "[", 
          RowBox[{
           RowBox[{"{", 
            RowBox[{
             RowBox[{"FileNameJoin", "[", 
              RowBox[{"{", 
               RowBox[{
               "$UserBaseDirectory", ",", "\"\<Applications\>\"", 
                ",", "\"\<TensorBases\>\""}], "}"}], "]"}], ",", 
             RowBox[{"FileNameJoin", "[", 
              RowBox[{"{", 
               RowBox[{
               "$BaseDirectory", ",", "\"\<Applications\>\"", 
                ",", "\"\<TensorBases\>\""}], "}"}], "]"}], ",", 
             RowBox[{"FileNameJoin", "[", 
              RowBox[{"{", 
               RowBox[{
               "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
                ",", "\"\<Applications\>\"", ",", "\"\<TensorBases\>\""}], 
               "}"}], "]"}], ",", 
             RowBox[{"FileNameJoin", "[", 
              RowBox[{"{", 
               RowBox[{
               "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
                ",", "\"\<Packages\>\"", ",", "\"\<TensorBases\>\""}], "}"}], 
              "]"}], ",", 
             RowBox[{"FileNameJoin", "[", 
              RowBox[{"{", 
               RowBox[{
               "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
                ",", "\"\<ExtraPackages\>\"", ",", "\"\<TensorBases\>\""}], 
               "}"}], "]"}]}], "}"}], ",", 
           RowBox[{"Select", "[", 
            RowBox[{"$Path", ",", 
             RowBox[{
              RowBox[{"StringContainsQ", "[", 
               RowBox[{"#1", ",", "\"\<TensorBases\>\""}], "]"}], "&"}]}], 
            "]"}]}], "]"}], ",", 
         RowBox[{
          RowBox[{"DirectoryQ", "[", "#1", "]"}], "&"}]}], "]"}]}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"tbPaclet", "=", 
       RowBox[{"Quiet", "[", 
        RowBox[{"Check", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"List", "@@", 
             RowBox[{"Import", "[", 
              RowBox[{"FileNameJoin", "[", 
               RowBox[{"{", 
                RowBox[{"tbDir", ",", "\"\<PacletInfo.m\>\""}], "}"}], "]"}], 
              "]"}]}], ")"}], "[", 
           RowBox[{"[", "1", "]"}], "]"}], ",", "$Failed"}], "]"}], "]"}]}], ";",
       "\[IndentingNewLine]", 
      RowBox[{"tbVersion", "=", 
       RowBox[{"If", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"AssociationQ", "[", "tbPaclet", "]"}], "&&", 
          RowBox[{"KeyExistsQ", "[", 
           RowBox[{"tbPaclet", ",", "\"\<Version\>\""}], "]"}]}], ",", 
         RowBox[{"tbPaclet", "[", "\"\<Version\>\"", "]"}], 
         ",", "\"\<0.0.0\>\""}], "]"}]}], ";", "\[IndentingNewLine]", 
      RowBox[{"tbVerList", "=", 
       RowBox[{"PadRight", "[", 
        RowBox[{
         RowBox[{"ToExpression", "/@", 
          RowBox[{"StringSplit", "[", 
           RowBox[{"tbVersion", ",", "\"\<.\>\""}], "]"}]}], ",", "3", ",", 
         "0"}], "]"}]}], ";", "\[IndentingNewLine]", 
      RowBox[{"If", "[", 
       RowBox[{
        RowBox[{"!", 
         RowBox[{"OrderedQ", "[", 
          RowBox[{"{", 
           RowBox[{"requiredList", ",", "tbVerList"}], "}"}], "]"}]}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"If", "[", 
          RowBox[{
           RowBox[{
            RowBox[{"$FrontEnd", "===", "Null"}], "||", 
            RowBox[{"$Notebooks", "===", "False"}]}], ",", 
           RowBox[{
            RowBox[{"Message", "[", 
             RowBox[{
              StyleBox[
               RowBox[{"FunKitLoad", "::", "tensorBasesVersion"}], 
               "MessageName"], ",", "requiredVersion", ",", "tbVersion", ",", 
              "tbDir"}], "]"}], ";", 
            RowBox[{"Abort", "[", "]"}], ";"}]}], "]"}], ";", 
         "\[IndentingNewLine]", 
         RowBox[{"If", "[", 
          RowBox[{
           RowBox[{"ChoiceDialog", "[", 
            RowBox[{
             RowBox[{"TemplateApply", "[", 
              
              RowBox[{"\"\<FunKit requires TensorBases version `r` or newer. \
The installed TensorBases is version `i`. Do you want to update now?\>\"", ",", 
               RowBox[{"Association", "[", 
                RowBox[{
                 RowBox[{"\"\<r\>\"", "->", "requiredVersion"}], ",", 
                 RowBox[{"\"\<i\>\"", "->", "tbVersion"}]}], "]"}]}], "]"}], ",", 
             RowBox[{"WindowTitle", "->", "\"\<Update TensorBases\>\""}], ",", 
             RowBox[{"WindowSize", "->", 
              RowBox[{"{", 
               RowBox[{"Medium", ",", "All"}], "}"}]}]}], "]"}], ",", 
           "\[IndentingNewLine]", 
           RowBox[{
           "Import", 
            "[", "\"\<https://raw.githubusercontent.com/satfra/TensorBases/\
main/TensorBasesInstaller.m\>\"", "]"}], ",", "\[IndentingNewLine]", 
           RowBox[{
            RowBox[{"Print", "[", 
             
             RowBox[{"\"\<\\!\\(\\*StyleBox[\\\"FunKit\\\",FontWeight->\\\"\
Bold\\\"]\\) requires \
\\!\\(\\*StyleBox[\\\"TensorBases\\\",FontWeight->\\\"Bold\\\"]\\) version \>\
\"", "<>", "requiredVersion", "<>", "\"\< or newer.\>\""}], "]"}], ";", 
            RowBox[{"Abort", "[", "]"}], ";"}]}], "]"}], ";"}]}], 
       "\[IndentingNewLine]", "]"}], ";"}]}], "\[IndentingNewLine]", "]"}], 
   ";"}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{"Print", "[", "\"\<\>\"", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Block", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"(*", "Print", "*)"}], "}"}], ",", 
    RowBox[{"Get", "[", "\"\<TensorBases`\>\"", "]"}]}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Print", "[", "\"\<\>\"", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"TensorBases\",FontSize->10,FontWeight->\"Bold\"\
,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\" \
\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"loaded\",FontSize->\
10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], 
  ";"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.93548528018814*^9, 3.9354853778676157`*^9}, {
   3.9354855248021913`*^9, 3.935485575963646*^9}, {3.9510530279815073`*^9, 
   3.9510530404300413`*^9}, {3.953389855459963*^9, 3.953389859983921*^9}, {
   3.95339529119348*^9, 3.9533952959050503`*^9}, {3.956373809187861*^9, 
   3.956373823648718*^9}, {3.9675316061240997`*^9, 3.967531610595023*^9}, {
   3.968961041651877*^9, 3.96896108616358*^9}, {3.9689614635730343`*^9, 
   3.968961469516107*^9}, {3.968962218860468*^9, 3.9689622195476427`*^9}, {
   3.983258947653492*^9, 3.983258956229409*^9}, {3.983977243262225*^9, 
   3.983977251958823*^9}, {3.987245600576571*^9, 3.987245669436831*^9}, 
   4.0013977968068867`*^9},ExpressionUUID->"4600f702-b623-4c77-bc43-\
2b8669b8e0af"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"If", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"Length", "@", 
      RowBox[{"PacletFind", "[", "\"\<MaTeX\>\"", "]"}]}], "===", "0"}], ",", 
    "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{"If", "[", 
      RowBox[{
       RowBox[{"$AllowInternet", "&&", "$NetworkConnected", "&&", 
        RowBox[{"$VersionNumber", ">=", "12.0"}]}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"ResourceFunction", "[", "\"\<MaTeXInstall\>\"", "]"}], "[", 
        "]"}], ",", "\[IndentingNewLine]", 
       RowBox[{"PacletInstall", "[", 
        RowBox[{
        "$FUNKITDIR", "<>", "\"\</dependencies/MaTeX-1.7.10.paclet\>\""}], 
        "]"}]}], "\[IndentingNewLine]", "]"}], ";"}]}], "\[IndentingNewLine]",
    "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Get", "[", "\"\<MaTeX`\>\"", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"MaTeX\",FontSize->10,FontWeight->\"Bold\",\
FontSlant->\"Italic\"]\)\!\(\*StyleBox[\" \",FontSize->10,FontSlant->\"Italic\
\"]\)\!\(\*StyleBox[\"loaded\",FontSize->10,FontWeight->\"Plain\",FontSlant->\
\"Italic\"]\)\>\"", "]"}]}], ";"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.951220603320554*^9, 3.9512206398339787`*^9}, {
   3.951222619623927*^9, 3.951222619860894*^9}, {3.951226869940086*^9, 
   3.9512268782989798`*^9}, {3.951226922919786*^9, 3.951226955627511*^9}, {
   3.951227017444984*^9, 3.951227033537813*^9}, {3.9512270906128063`*^9, 
   3.951227103820059*^9}, {3.95339345020863*^9, 3.953393450412092*^9}, {
   3.9533936635001993`*^9, 3.953393670656269*^9}, 3.953393902556615*^9, 
   3.967531614059186*^9, {3.973692539481101*^9, 3.973692541137512*^9}, {
   3.983259786346238*^9, 3.983259787905141*^9}, {3.983259856299024*^9, 
   3.983259924709951*^9}, 3.9832601232153397`*^9, 3.983260384478405*^9, {
   3.984114260930428*^9, 3.984114265494692*^9}, 
   4.001397794982463*^9},ExpressionUUID->"b6352d19-2461-4c4a-a46c-\
48016be58972"],

Cell[BoxData[
 RowBox[{"Get", "[", 
  RowBox[{"$FUNKITDIR", "<>", "\"\</utils/MathematicaTeXUtilities.m\>\""}], 
  "]"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.925554963689718*^9, 3.925555018648334*^9}, {
   3.925555067350979*^9, 3.925555091557687*^9}, {3.933823818986477*^9, 
   3.933823866097943*^9}, {3.933823926618765*^9, 3.9338239610825243`*^9}, 
   3.933824033346868*^9, {3.93382410279498*^9, 3.933824126602005*^9}, 
   3.933843822671564*^9, {3.951052965253414*^9, 3.9510530055257807`*^9}, {
   3.953393736440352*^9, 3.9533937441481457`*^9}, {3.9533937780361967`*^9, 
   3.953393781728763*^9}, {3.953393904828868*^9, 3.953393911964867*^9}, {
   3.953394387373045*^9, 3.953394389260852*^9}, {3.953394506405184*^9, 
   3.953394514312958*^9}, {3.953394556781233*^9, 3.9533945779228163`*^9}, {
   3.983259845689824*^9, 3.9832598631457787`*^9}, {3.9832603860737677`*^9, 
   3.983260387865859*^9}},ExpressionUUID->"b9cad7be-9f89-40bd-a9a3-\
3fe1a41c3deb"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Start package", "Chapter",
 CellChangeTimes->{{3.953389724871703*^9, 
  3.953389726227541*^9}},ExpressionUUID->"bcd04fe3-ac6a-4f3c-882e-\
a55a76a5a942"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"BeginPackage", "[", "\"\<FunKit`\>\"", "]"}], ";"}], "\n", 
 RowBox[{
  RowBox[{"Unprotect", "[", "\"\<FunKit`*\>\"", "]"}], ";"}], "\n", 
 RowBox[{
  RowBox[{"Unprotect", "[", "\"\<FunKit`Private`*\>\"", "]"}], ";"}], "\n", 
 RowBox[{
  RowBox[{"ClearAll", "[", "\"\<FunKit`*\>\"", "]"}], ";"}], "\n", 
 RowBox[{
  RowBox[{"ClearAll", "[", "\"\<FunKit`Private`*\>\"", "]"}], ";"}]}], "Input",\

 InitializationCell->True,
 CellChangeTimes->{{3.953389575236374*^9, 3.9533895804196043`*^9}, {
  3.953389624029901*^9, 3.953389685835988*^9}, {3.953389900443974*^9, 
  3.953389935955709*^9}, {3.953390795656473*^9, 
  3.953390796384056*^9}},ExpressionUUID->"046565fa-0b6e-470f-b2dd-\
8f76fa7999b9"],

Cell[BoxData[
 RowBox[{
  RowBox[{"$FunKitDirectory", "=", 
   RowBox[{
    RowBox[{"SelectFirst", "[", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Join", "[", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"{", "\[IndentingNewLine]", 
         RowBox[{
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$UserBaseDirectory", ",", "\"\<Applications\>\"", 
             ",", "\"\<FunKit\>\""}], "}"}], "]"}], ",", 
          "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$BaseDirectory", ",", "\"\<Applications\>\"", 
             ",", "\"\<FunKit\>\""}], "}"}], "]"}], ",", 
          "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
             ",", "\"\<Applications\>\"", ",", "\"\<FunKit\>\""}], "}"}], 
           "]"}], ",", "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
             ",", "\"\<Packages\>\"", ",", "\"\<FunKit\>\""}], "}"}], "]"}], ",",
           "\[IndentingNewLine]", 
          RowBox[{"FileNameJoin", "[", 
           RowBox[{"{", 
            RowBox[{
            "$InstallationDirectory", ",", "\"\<AddOns\>\"", 
             ",", "\"\<ExtraPackages\>\"", ",", "\"\<FunKit\>\""}], "}"}], 
           "]"}]}], "\[IndentingNewLine]", "}"}], ",", "\[IndentingNewLine]", 
        
        RowBox[{"Select", "[", 
         RowBox[{"$Path", ",", 
          RowBox[{
           RowBox[{"StringContainsQ", "[", 
            RowBox[{"#", ",", "\"\<FunKit\>\""}], "]"}], "&"}]}], "]"}]}], 
       "\[IndentingNewLine]", "]"}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"DirectoryQ", "[", "#", "]"}], "&"}]}], "\[IndentingNewLine]", 
     "]"}], "<>", "\"\</\>\""}]}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.983260139526126*^9, 
  3.9832601661355762`*^9}},ExpressionUUID->"47eb9e2a-4aab-4cae-818b-\
2b159f33dd9f"],

Cell[BoxData[{
 RowBox[{"Begin", "[", "\"\<`Private`\>\"", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/common/util.m\>\""}], "]"}],
   ";"}], "\[IndentingNewLine]", 
 RowBox[{"End", "[", "]"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.971975419540039*^9, 
  3.971975451450585*^9}},ExpressionUUID->"00423a7c-d6a3-484b-9304-\
a68bd1e4d0dd"],

Cell[BoxData[
 RowBox[{
  RowBox[{"$FunKitVersion", "=", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"List", "@@", 
       RowBox[{"Import", "[", 
        RowBox[{"FileNameJoin", "[", 
         RowBox[{"{", 
          RowBox[{
          "$UserBaseDirectory", ",", "\"\<Applications\>\"", 
           ",", "\"\<FunKit\>\"", ",", "\"\<PacletInfo.m\>\""}], "}"}], "]"}],
         "]"}]}], ")"}], "[", 
     RowBox[{"[", "1", "]"}], "]"}], "[", "\"\<Version\>\"", "]"}]}], 
  ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.971543854819447*^9, 3.971543890432378*^9}, {
  3.971544068611871*^9, 
  3.971544096635326*^9}},ExpressionUUID->"1ea8b5d2-96e6-4af7-a52c-\
280e569f15a7"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"ModuleLoaded", "[", "FunKit", "]"}], "=", "True"}], 
  ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.951279357886877*^9, 3.951279421240814*^9}, {
  3.9512794606622543`*^9, 3.951279475842711*^9}, {3.951279581390761*^9, 
  3.951279718714636*^9}, {3.951279760502161*^9, 
  3.951279762930052*^9}},ExpressionUUID->"782d2e05-61cb-4a1e-995b-\
58129b80f7bd"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Necessary operations", "Chapter",
 CellChangeTimes->{{3.951280157526368*^9, 3.951280164146823*^9}, {
  3.9533897545250883`*^9, 
  3.9533897576917057`*^9}},ExpressionUUID->"06ff7fc1-962e-43b4-a94f-\
9559f0b4dca3"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"If", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"Head", "[", "$DistributedContexts", "]"}], "=!=", "List"}], ",", 
    RowBox[{"$DistributedContexts", "=", 
     RowBox[{"{", "}"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"$DistributedContexts", "=", 
  RowBox[{"$DistributedContexts", "\[Union]", 
   RowBox[{"{", 
    RowBox[{
    "$Context", ",", "\"\<FunKit`Private`\>\"", ",", "\"\<FormTracer`\>\"", 
     ",", "\"\<FormTracer`Private`\>\""}], "}"}]}]}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{
  3.953389742539731*^9, {3.953545072753508*^9, 3.95354507982922*^9}, {
   3.953545685478011*^9, 3.953545693150399*^9}, {3.984107548393881*^9, 
   3.9841075525373163`*^9}},ExpressionUUID->"79ec99ed-c6a5-40d1-ba31-\
4de7b82081b9"],

Cell[BoxData[{
 RowBox[{"Begin", "[", "\"\<`Private`\>\"", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"If", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"Head", "[", "$DistributedContexts", "]"}], "=!=", "List"}], ",", 
    RowBox[{"$DistributedContexts", "=", 
     RowBox[{"{", "}"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"$DistributedContexts", "=", 
  RowBox[{"$DistributedContexts", "\[Union]", 
   RowBox[{"{", 
    RowBox[{
    "$Context", ",", "\"\<FunKit`Private`\>\"", ",", "\"\<FormTracer`\>\"", 
     ",", "\"\<FormTracer`Private`\>\""}], "}"}]}]}], "\[IndentingNewLine]", 
 RowBox[{"End", "[", "]"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.953435833015234*^9, 3.953435845269949*^9}, {
  3.9535448980640173`*^9, 3.953544905217916*^9}, {3.953545067177813*^9, 
  3.953545069224051*^9}, {3.953545689982424*^9, 3.953545695537869*^9}, {
  3.9841075612139673`*^9, 
  3.9841075645453033`*^9}},ExpressionUUID->"9f2ac5dd-2eaa-4d6f-b8cb-\
362c8c467d62"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"$FunKitDebugLevel", "=", "0"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"FSetDebugLevel", "[", "newLevel_Integer", "]"}], ":=", 
   RowBox[{"Module", "[", 
    RowBox[{
     RowBox[{"{", "}"}], ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Unprotect", "@", "$FunKitDebugLevel"}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"Set", "[", 
       RowBox[{"$FunKitDebugLevel", ",", "newLevel"}], "]"}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"Protect", "@", "$FunKitDebugLevel"}], ";", 
      "\[IndentingNewLine]", "\[IndentingNewLine]", 
      RowBox[{"Unprotect", "@", "FunKitDebug"}], ";", "\[IndentingNewLine]", 
      RowBox[{"If", "[", 
       RowBox[{
        RowBox[{"$FunKitDebugLevel", "<=", "0"}], ",", 
        RowBox[{
         RowBox[{"ClearAll", "[", "FunKitDebug", "]"}], ";", 
         RowBox[{"SetAttributes", "[", 
          RowBox[{"FunKitDebug", ",", "HoldAll"}], "]"}], ";"}]}], "]"}], ";",
       "\[IndentingNewLine]", 
      RowBox[{"If", "[", 
       RowBox[{
        RowBox[{"$FunKitDebugLevel", ">", "0"}], ",", 
        RowBox[{
         RowBox[{"ClearAll", "[", "FunKitDebug", "]"}], ";", 
         "\[IndentingNewLine]", 
         RowBox[{
          RowBox[{"FunKitDebug", "[", 
           RowBox[{"level_Integer", ",", "$a___"}], "]"}], ":=", 
          RowBox[{"If", "[", 
           RowBox[{
            RowBox[{"level", "<=", "$FunKitDebugLevel"}], ",", 
            RowBox[{"Echo", "[", 
             RowBox[{
              RowBox[{"Row", "[", 
               RowBox[{"{", "$a", "}"}], "]"}], ",", 
              RowBox[{"\"\<FunKit \>\"", "<>", 
               RowBox[{"ToString", "[", "level", "]"}], "<>", 
               RowBox[{"StringRepeat", "[", 
                RowBox[{"\"\<    \>\"", ",", " ", "level"}], "]"}]}]}], 
             "]"}]}], "]"}]}], ";"}]}], "\[IndentingNewLine]", "]"}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"Protect", "@", "FunKitDebug"}], ";"}]}], "\[IndentingNewLine]",
     "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"(*", "\[IndentingNewLine]", 
   RowBox[{"0", ":", " ", 
    RowBox[{"no", " ", "info", "\[IndentingNewLine]", "1"}], ":", " ", 
    RowBox[{
    "basic", " ", "information", " ", "what", " ", "is", " ", "happening", "\[IndentingNewLine]",
      "2"}], ":", " ", 
    RowBox[{"in", "-", 
     RowBox[{
     "depth", " ", "what", " ", "steps", " ", "are", " ", "being", " ", 
      "processed", "\[IndentingNewLine]", "3"}]}], ":", " ", 
    RowBox[{
    "the", " ", "guts", " ", "of", " ", "the", " ", "program", "\[IndentingNewLine]",
      "4"}], ":", " ", 
    RowBox[{"nested", " ", "guts", " ", "of", " ", "the", " ", "program"}]}], 
   "\[IndentingNewLine]", "*)"}]}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.953435833015234*^9, 3.953435845269949*^9}, {
  3.953527102460891*^9, 3.9535273540448847`*^9}, {3.953527394349368*^9, 
  3.953527467797558*^9}, {3.9535275371972437`*^9, 3.953527537957382*^9}, {
  3.9535275953775387`*^9, 3.953527658576997*^9}, {3.9535318021809893`*^9, 
  3.953531804079299*^9}, {3.95353243784004*^9, 3.953532440219247*^9}, {
  3.9697008617664843`*^9, 3.969700862090253*^9}, {3.9719752230429163`*^9, 
  3.971975262703302*^9}, {3.9719757377515993`*^9, 3.971975775435307*^9}, {
  3.971975831259326*^9, 3.971975853491869*^9}, {3.973692608451227*^9, 
  3.973692611845172*^9}},ExpressionUUID->"93970ecf-4458-45a6-af7f-\
b722479ab7d0"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"FunKit", "::", "invalidArguments"}], 
  "=", "\"\<Invalid arguments given for function `1`, for correct usage, see \
`1`::usage.\>\""}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"FunKit", "::", "warning"}], "=", "\"\<Warning: `1`\>\""}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"FunKit", "::", "noGlobalSetup"}], 
  "=", "\"\<No global setup has been set. Either pass a setup as first \
argument, or set one via FSetGlobalSetup[setup].\>\""}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.973655376916944*^9, 3.9736554156551332`*^9}, {
  3.973784778871653*^9, 3.9737847909956217`*^9}, {3.982221902365342*^9, 
  3.982221902668478*^9}, {3.98325720100142*^9, 
  3.983257202685669*^9}},ExpressionUUID->"1a245aa3-9301-4d39-8cb0-\
5948275641b1"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Load sub-modules in", "Chapter",
 CellChangeTimes->{{3.951280157526368*^9, 
  3.951280164146823*^9}},ExpressionUUID->"e0bcd719-68cb-44c9-baed-\
80f31c0888a8"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"Loading\",FontSize->10,FontWeight->\"Plain\",\
FontSlant->\"Italic\"]\)\!\(\*StyleBox[\" \",FontSize->10,FontWeight->\"Plain\
\",FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"modules\",FontSize->10,FontWeight-\
>\"Plain\",FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"...\",FontSize->10,\
FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/FEDeriK.m\>\""}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"...\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\
\*StyleBox[\"FEDeriK\",FontSize->10,FontWeight->\"Bold\",FontSlant->\"Italic\"\
]\)\!\(\*StyleBox[\" \
\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"loaded\",FontSize->\
10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/AnSEL.m\>\""}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"...\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\
\*StyleBox[\"AnSEL\",FontSize->10,FontWeight->\"Bold\",FontSlant->\"Italic\"]\
\)\!\(\*StyleBox[\" \
\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"loaded\",FontSize->\
10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/DiANE.m\>\""}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"...\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\
\*StyleBox[\"DiANE\",FontSize->10,FontWeight->\"Bold\",FontSlant->\"Italic\"]\
\)\!\(\*StyleBox[\" \
\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"loaded\",FontSize->\
10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/DiRK.m\>\""}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"...\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\
\*StyleBox[\"DiRK\",FontSize->10,FontWeight->\"Bold\",FontSlant->\"Italic\"]\)\
\!\(\*StyleBox[\" \
\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"loaded\",FontSize->\
10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/TRACY.m\>\""}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"...\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\
\*StyleBox[\"TRACY\",FontSize->10,FontWeight->\"Bold\",FontSlant->\"Italic\"]\
\)\!\(\*StyleBox[\" \
\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"loaded\",FontSize->\
10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/COEN.m\>\""}], "]"}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"$FrontEnd", "===", "Null"}], "||", 
   RowBox[{
   "PrintTemporary", 
    "[", "\"\<\!\(\*StyleBox[\"...\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\
\*StyleBox[\"COEN\",FontSize->10,FontWeight->\"Bold\",FontSlant->\"Italic\"]\)\
\!\(\*StyleBox[\" \
\",FontSize->10,FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"loaded\",FontSize->\
10,FontWeight->\"Plain\",FontSlant->\"Italic\"]\)\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"If", "[", 
   RowBox[{
    RowBox[{"$FrontEnd", "=!=", "Null"}], ",", "\[IndentingNewLine]", 
    RowBox[{"Print", "[", 
     RowBox[{"\"\<Welcome to  \
\!\(\*StyleBox[\"\:2588\:2580\",FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\" \
\",FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\"\:2590\:2584\:2588\",FontColor->\
GrayLevel[0]]\)\!\(\*StyleBox[\" \",FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\
\"\:2588\:259a\:258c\",FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\" \
\",FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\"\:2590\[FilledLeftTriangle]\",\
FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\" \",FontColor->GrayLevel[0]]\)\!\(\
\*StyleBox[\"\:2588\",FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\" \
\",FontColor->GrayLevel[0]]\)\!\(\*StyleBox[\"\:2580\:2588\:2580\",FontColor->\
GrayLevel[0]]\)\n\!\(\*StyleBox[\"Author\",FontWeight->\"Bold\"]\): Franz \
Richard Sattler\n\!\(\*StyleBox[\"Version\",FontWeight->\"Bold\"]\): \>\"", ",",
       "$FunKitVersion", 
      ",", "\"\<\n\!\(\*StyleBox[\"Year\",FontWeight->\"Bold\"]\): 2025\nFor \
more information and a brief introduction to the package, call \
\!\(\*StyleBox[\"FInfo\",FontColor->RGBColor[1, 0.5, 0]]\)[].\nTo run the \
testing suite, you can call  \!\(\*StyleBox[\"FTest\",FontColor->RGBColor[1, \
0.5, 0]]\)[].\n\>\""}], "]"}], ",", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{
     "Print", "[", "\"\<Welcome to \
\!\(\*StyleBox[\"FunKit\",FontWeight->\"Bold\"]\)\>\"", "]"}], ";", 
     "\[IndentingNewLine]", 
     RowBox[{
     "Print", "[", "\"\<\!\(\*StyleBox[\"Author\",FontWeight->\"Bold\"]\): \
Franz Richard Sattler\>\"", "]"}], ";", "\[IndentingNewLine]", 
     RowBox[{"Print", "[", 
      RowBox[{"\"\<\!\(\*StyleBox[\"Version\",FontWeight->\"Bold\"]\): \>\"", 
       ",", "$FunKitVersion"}], "]"}], ";", "\[IndentingNewLine]", 
     RowBox[{
     "Print", "[", "\"\<\!\(\*StyleBox[\"Year\",FontWeight->\"Bold\"]\): 2026\
\>\"", "]"}], ";"}]}], "\[IndentingNewLine]", "]"}], ";"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{
  3.935485596659787*^9, {3.941266610456051*^9, 3.941266613472143*^9}, {
   3.9461106876753387`*^9, 3.946110705945713*^9}, {3.946110755338848*^9, 
   3.946110762582974*^9}, {3.951050051701705*^9, 3.951050145994526*^9}, {
   3.95105301321815*^9, 3.951053016376946*^9}, {3.9512372878451366`*^9, 
   3.9512373702985783`*^9}, {3.9512375049488907`*^9, 
   3.9512375295245132`*^9}, {3.951237570993801*^9, 3.951237580946706*^9}, {
   3.9512376217284107`*^9, 3.951237650876657*^9}, {3.9512377689951277`*^9, 
   3.951237849400688*^9}, {3.951237897192656*^9, 3.951237897372696*^9}, {
   3.951237974933687*^9, 3.9512379760207233`*^9}, {3.951279166310658*^9, 
   3.951279184659225*^9}, 3.951279721725441*^9, {3.9512797721552677`*^9, 
   3.951279773746684*^9}, 3.95128004114781*^9, {3.9516326803972607`*^9, 
   3.951632688228386*^9}, {3.9526714088029213`*^9, 3.952671409618701*^9}, {
   3.95276573298285*^9, 3.952765737749515*^9}, {3.952765781070895*^9, 
   3.952765790585628*^9}, {3.952766080429998*^9, 3.952766083029847*^9}, {
   3.952766344068763*^9, 3.952766358819405*^9}, 3.953389852800673*^9, 
   3.9533937864695053`*^9, 3.9533952838974123`*^9, {3.953532066250812*^9, 
   3.953532070970787*^9}, {3.9535322622397547`*^9, 3.953532265787032*^9}, {
   3.9566544949521637`*^9, 3.956654508976317*^9}, {3.96750017556068*^9, 
   3.96750018334155*^9}, 3.96753149356758*^9, {3.9675315811436787`*^9, 
   3.967531590243059*^9}, 3.967531659526785*^9, {3.967533233782586*^9, 
   3.9675332383912077`*^9}, {3.967533293843052*^9, 3.967533339359024*^9}, {
   3.967533912027178*^9, 3.967533951074869*^9}, {3.967534018007288*^9, 
   3.96753401815915*^9}, {3.967534221613297*^9, 3.967534308683691*^9}, {
   3.971543955224152*^9, 3.971543958588846*^9}, {3.971544187296842*^9, 
   3.971544192160158*^9}, {3.973692641605874*^9, 3.97369264186549*^9}, {
   3.9832572246854677`*^9, 3.9832572339538307`*^9}, 3.983260301017805*^9, {
   4.0013976617764606`*^9, 
   4.001397727289447*^9}},ExpressionUUID->"e55cdd8a-6045-4e30-8a2b-\
0448ee7472c1"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Get", "[", 
   RowBox[{"$FunKitDirectory", "<>", "\"\<modules/CoBra.m\>\""}], "]"}], 
  ";"}]], "Input",
 InitializationCell->
  True,ExpressionUUID->"a9c7f212-bbca-4060-9463-845c93d27daa"]
}, Open  ]],

Cell[CellGroupData[{

Cell["FInfo", "Chapter",
 CellChangeTimes->{{3.951280157526368*^9, 3.951280164146823*^9}, {
  3.9533897607874928`*^9, 
  3.953389768931527*^9}},ExpressionUUID->"e3e05c8f-39f0-4050-ac9f-\
88b0d5ad1c65"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"FInfo", "[", "]"}], ":=", 
   RowBox[{"Module", "[", 
    RowBox[{
     RowBox[{"{", "}"}], ",", "\[IndentingNewLine]", 
     RowBox[{
     "Print", "[", "\"\<To see an overview and some examples for the syntax \
of \!\(\*StyleBox[\"FEDeriK\",FontWeight->\"Bold\"]\), which forms the basis \
for all of \!\(\*StyleBox[\"FunKit\",FontWeight->\"Bold\"]\), call \
\!\(\*StyleBox[\"FInfo\",FontColor->RGBColor[1, 0.5, \
0]]\)[\\\"FEDeriK\\\"].\>\"", "]"}]}], "\[IndentingNewLine]", "]"}]}], 
  ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.952671412899819*^9, 3.952671597183782*^9}, {
  3.9526786712952127`*^9, 3.952678699102769*^9}, {3.952678740674859*^9, 
  3.952678792714961*^9}, {3.9526788403910103`*^9, 3.952679022567069*^9}, {
  3.952679057219322*^9, 3.95267959372716*^9}, {3.9526800422437696`*^9, 
  3.952680102475408*^9}, {3.95268049303316*^9, 3.952680612875676*^9}, {
  3.952680643732318*^9, 3.952680700227783*^9}, {3.952680817523862*^9, 
  3.952680994140131*^9}, {3.952705016797764*^9, 3.952705076833888*^9}, {
  3.952705114996028*^9, 3.9527051590154057`*^9}, {3.952705200016268*^9, 
  3.952705326257753*^9}, {3.9527053562827463`*^9, 3.952705356801649*^9}, {
  3.9527055172326117`*^9, 3.9527055641045113`*^9}, {3.952765740755336*^9, 
  3.95276576214596*^9}, {3.967500126740493*^9, 3.96750016644882*^9}, {
  3.9675314341387873`*^9, 
  3.967531492583774*^9}},ExpressionUUID->"9bb42373-e385-489c-a935-\
e93c92a48e3a"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"$framedPrint", "[", "fpr_", "]"}], ":=", 
   RowBox[{"Internal`InheritedBlock", "[", 
    RowBox[{
     RowBox[{"{", "Print", "}"}], ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Unprotect", "@", "Print"}], ";", "\[IndentingNewLine]", 
      RowBox[{"Print", "=", 
       RowBox[{
        RowBox[{"Echo", "[", 
         RowBox[{"Framed", "[", "#", "]"}], "]"}], "&"}]}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"Protect", "@", "Print"}], ";", "\[IndentingNewLine]", 
      RowBox[{"ReleaseHold", "[", "fpr", "]"}]}]}], "\[IndentingNewLine]", 
    "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"SetAttributes", "[", 
   RowBox[{"$framedPrint", ",", "HoldAll"}], "]"}], ";"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9715447898689833`*^9, 3.971544820795237*^9}, {
  3.971544862766745*^9, 3.971544870251504*^9}, {3.971544912024046*^9, 
  3.971544980175782*^9}, {3.971545017340283*^9, 3.9715450980654173`*^9}, {
  3.971545158570196*^9, 3.971545161536195*^9}, {3.983259657117429*^9, 
  3.9832596588214417`*^9}},ExpressionUUID->"db419abf-7774-45ce-b342-\
c6f00edd9243"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"FInfo", "[", "str_String", "]"}], "/;", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"str", "=!=", "\"\<federik\>\""}], "&&", 
      RowBox[{
       RowBox[{"ToLowerCase", "[", "str", "]"}], "===", "\"\<federik\>\""}]}],
      ")"}]}], ":=", 
   RowBox[{"FInfo", "[", "\"\<federik\>\"", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"FInfo", "[", "\"\<federik\>\"", "]"}], ":=", 
   RowBox[{"Module", "[", 
    RowBox[{
     RowBox[{"{", "}"}], ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Print", "[", 
       RowBox[{"\"\<\!\(\*StyleBox[\"General\",FontSize->18,FontWeight->\"\
Bold\"]\)\!\(\*StyleBox[\" \
\",FontSize->18,FontWeight->\"Bold\"]\)\!\(\*StyleBox[\"syntax\",FontSize->18,\
FontWeight->\"Bold\"]\)\n\nThe overall syntax used throughout \!\(\*StyleBox[\
\"FunKit\",FontWeight->\"Bold\"]\)\!\(\*StyleBox[\" \
\",FontWeight->\"Bold\"]\)is given by its core module\!\(\*StyleBox[\" \
\",FontWeight->\"Bold\"]\)\!\(\*StyleBox[\"FEDeriK\",FontWeight->\"Bold\"]\).\
\nAny equation is comprised of terms that contain (possibly non-commuting) \
factors.\nThese terms are written out using the \
\!\(\*StyleBox[\"FTerm\",FontColor->RGBColor[1, 0.5, 0]]\)\!\(\*StyleBox[\" \
\",FontColor->RGBColor[1, 0.5, 0]]\)tag, e.g. the Wetterich equation \>\"", ",", 
        RowBox[{
        "MaTeX`MaTeX", 
         "[", "\"\<\\\\partial_t \\\\Gamma = \
\\\\frac{1}{2}\\\\,G_{ab}\\\\partial_t R^{ab}\>\"", "]"}], 
        ",", "\"\< is given by\n    \
\!\(\*StyleBox[\"FTerm\",FontColor->RGBColor[1, 0.5, 0]]\)[\!\(\*FractionBox[\
\(1\), \(2\)]\), \
\!\(\*StyleBox[\"Propagator\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"\
AnyField\",FontWeight->\"Bold\"]\),\!\(\*StyleBox[\"AnyField\",FontWeight->\"\
Bold\"]\)},{a,b}], \
\!\(\*StyleBox[\"Rdot\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"AnyField\",\
FontWeight->\"Bold\"]\),\!\(\*StyleBox[\"AnyField\",FontWeight->\"Bold\"]\)},{\
-a,-b}]]\nSimilar to the \
\!\(\*StyleBox[\"xAct\",FontWeight->\"Bold\"]\)\!\(\*StyleBox[\" \
\",FontWeight->\"Bold\"]\)Mathematica package, we use negative indices (-a, \
-b) to indicate lower indices and positive indices (a, b) to indicate upper \
ones.\nFurthermore, we have utilised syntax for \
\!\(\*StyleBox[\"indexed\",FontSlant->\"Italic\"]\)\!\(\*StyleBox[\" \
\",FontSlant->\"Italic\"]\)\!\(\*StyleBox[\"objects\",FontSlant->\"Italic\"]\)\
\!\(\*StyleBox[\" \",FontSlant->\"Italic\"]\)in the above. Both \
\!\(\*StyleBox[\"Propagator\",FontWeight->\"Bold\"]\)\!\(\*StyleBox[\" \
\",FontWeight->\"Bold\"]\)and \!\(\*StyleBox[\"Rdot\",FontWeight->\"Bold\"]\)\
\!\(\*StyleBox[\" \",FontWeight->\"Bold\"]\)are such indexed objects. \nAny \
indexed object must be comprised of two lists: the first one gives the field \
content, and the second list the corresponding super-indices or explicit \
indices.\nTo see a list of all indexed objects known to \
\!\(\*StyleBox[\"FEDeriK\",FontWeight->\"Bold\"]\), one can call \
\!\(\*StyleBox[\"ShowIndexedObjects\",FontColor->RGBColor[1, 0.5, 0]]\)[], \
which outputs \>\""}], "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"$framedPrint", "@", 
       RowBox[{"ShowIndexedObjects", "[", "]"}]}], ";", "\[IndentingNewLine]", 
      RowBox[{
      "Print", "[", "\"\<in the current case. One can register custom indexed \
objects with \!\(\*StyleBox[\"FEDeriK\",FontWeight->\"Bold\"]\) by using \!\(\
\*StyleBox[\"AddIndexedObject\",FontColor->RGBColor[1, 0.5, 0]]\)[_Symbol]. \n\
A subset of the indexed objects are correlation functions, and \
\!\(\*StyleBox[\"ShowCorrelationFunctions\",FontColor->RGBColor[1, 0.5, \
0]]\)[] outputs \>\"", "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"$framedPrint", "@", 
       RowBox[{"ShowCorrelationFunctions", "[", "]"}]}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"Print", "[", 
       RowBox[{"\"\<These are special indexed objects, which are always hit \
by functional derivatives. \nAs an example, take the generalised flow \
equation \>\"", ",", 
        RowBox[{
        "MaTeX`MaTeX", 
         "[", "\"\<\\\\partial_t \\\\Gamma = -\\\\dot\\\\Phi^a\\\\Gamma_a + \
\\\\frac{1}{2}G^{ac}\\\\Bigg(\\\\gamma_c^{\\\\phantom{c}b}\\\\partial_t  + 2 \
\\\\frac{\\\\delta\\\\dot{\\\\Phi}^b}{\\\\delta\\\\Phi^c}\\\\Bigg){R}_{ab}\>\"\
", "]"}], ",", 
        "\[IndentingNewLine]", "\"\<First, we add a new correlation function \
using \!\(\*StyleBox[\"FAddCorrelationFunction\",FontColor->RGBColor[1, 0.5, \
0]]\)[Phidot] and mark its last index to be never re-ordered using \
\!\(\*StyleBox[\"FSetUnorderedIndices\",FontColor->RGBColor[1, 0.5, \
0]]\)[Phidot,1]\>\""}], "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"FAddCorrelationFunction", "[", "Phidot", "]"}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"FSetUnorderedIndices", "[", 
       RowBox[{"Phidot", ",", "1"}], "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{
      "Print", "[", "\"\<Then, the flow equation can be written out as \n\n   \
 \!\(\*StyleBox[\"FEx\",FontColor->RGBColor[1, 0.5, \
0]]\)[\!\(\*StyleBox[\"FTerm\",FontColor->RGBColor[1, 0.5, 0]]\)[-1, \
\!\(\*StyleBox[\"Phidot\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"AnyField\"\
,FontWeight->\"Bold\"]\)},{a}], \
\!\(\*StyleBox[\"GammaN\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"AnyField\"\
,FontWeight->\"Bold\"]\)},{-a}]],\[IndentingNewLine]    \
\!\(\*StyleBox[\"FTerm\",FontColor->RGBColor[1, 0.5, 0]]\)[\!\(\*FractionBox[\
\(1\), \(2\)]\), \
\!\(\*StyleBox[\"Propagator\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"\
AnyField\",FontWeight->\"Bold\"]\),\!\(\*StyleBox[\"AnyField\",FontWeight->\"\
Bold\"]\)},{a,b}], \
\!\(\*StyleBox[\"Rdot\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"AnyField\",\
FontWeight->\"Bold\"]\),\!\(\*StyleBox[\"AnyField\",FontWeight->\"Bold\"]\)},{\
-a,-b}]],\[IndentingNewLine]    \
\!\(\*StyleBox[\"FTerm\",FontColor->RGBColor[1, 0.5, 0]]\)[ \
\!\(\*StyleBox[\"Propagator\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"\
AnyField\",FontWeight->\"Bold\"]\),\!\(\*StyleBox[\"AnyField\",FontWeight->\"\
Bold\"]\)},{a,c}], \
\!\(\*StyleBox[\"Phidot\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"AnyField\"\
,FontWeight->\"Bold\"]\),\!\(\*StyleBox[\"AnyField\",FontWeight->\"Bold\"]\)},\
{-c,b}], \!\(\*StyleBox[\"R\",FontWeight->\"Bold\"]\)[{\!\(\*StyleBox[\"\
AnyField\",FontWeight->\"Bold\"]\),\!\(\*StyleBox[\"AnyField\",FontWeight->\"\
Bold\"]\)},{-a,-b}]]]\n\nIn fact, Phidot has been already defined like this \
in \!\(\*StyleBox[\"FEDeriK\",FontWeight->\"Bold\"]\). Some of the \
pre-defined equations, which you can examine in \
\!\(\*StyleBox[\"FEDeriK\",FontWeight->\"Bold\"]\), are the two examples \
given above, which you can use under the names\n\n\t\
\!\(\*StyleBox[\"WetterichEquation\",FontColor->RGBColor[1, 0.5, 0]]\)\n\t\
\!\(\*StyleBox[\"GeneralizedFlowEquation\",FontColor->RGBColor[1, 0.5, 0]]\)\n\
\>\"", "]"}], ";"}]}], "\[IndentingNewLine]", "]"}]}], ";"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{
  3.952765765326414*^9, {3.953394287097144*^9, 3.953394288892743*^9}, {
   3.953394324597752*^9, 3.953394324793425*^9}, 3.957339805700337*^9, {
   3.967500388686008*^9, 3.967500495382833*^9}, {3.967500594700206*^9, 
   3.9675006233330173`*^9}, {3.967500677675805*^9, 3.96750075333775*^9}, 
   3.9675008215926533`*^9, {3.9675008535665817`*^9, 3.9675008600729713`*^9}, {
   3.9675009527842216`*^9, 3.9675010138074093`*^9}, {3.9715451052921553`*^9, 
   3.971545111812307*^9}, {3.97369268035853*^9, 3.973692734226315*^9}, {
   3.983259663263735*^9, 
   3.983259664775263*^9}},ExpressionUUID->"4b4f4ad4-7210-4478-a569-\
41f20a07bb6c"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Run Tests", "Chapter",
 CellChangeTimes->{{3.953389709801054*^9, 3.953389710303761*^9}, {
  3.967529884807581*^9, 
  3.9675298864859753`*^9}},ExpressionUUID->"cacaeb49-784c-4d44-b62b-\
bdfa179ee658"],

Cell[BoxData[
 RowBox[{
  RowBox[{"FTest", "[", "]"}], ":=", 
  RowBox[{"Module", "[", 
   RowBox[{
    RowBox[{"{", "}"}], ",", "\[IndentingNewLine]", 
    RowBox[{"Get", "[", 
     RowBox[{"$FunKitDirectory", "<>", "\"\<tests/Test.m\>\""}], "]"}]}], 
   "\[IndentingNewLine]", "]"}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.967529889287571*^9, 3.9675299340622063`*^9}, {
  3.967529981214876*^9, 
  3.967529982462373*^9}},ExpressionUUID->"ca725fc5-148b-4105-9299-\
39fa7ea7dd6a"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Finish", "Chapter",
 CellChangeTimes->{{3.953389709801054*^9, 
  3.953389710303761*^9}},ExpressionUUID->"49d12299-ea1b-44fc-bd22-\
2da512cfecd4"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"Protect", "[", "\"\<FunKit`*\>\"", "]"}], ";"}], "\n", 
 RowBox[{
  RowBox[{"EndPackage", "[", "]"}], ";"}]}], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9533897848315077`*^9, 
  3.953389789863916*^9}},ExpressionUUID->"d25beb62-45c5-4226-ae79-\
0968129dba54"],

Cell[BoxData[
 RowBox[{"(*", " ", 
  RowBox[{
   RowBox[{
   "Note", " ", "that", " ", "we", " ", "do", " ", "NOT", " ", "just", " ", 
    "call", "\[IndentingNewLine]", 
    RowBox[{"DistributeDefinitions", "[", "\"\<FunKit`\>\"", "]"}], "\[IndentingNewLine]", 
    RowBox[{"DistributeDefinitions", "[", "\"\<FunKit`Private`\>\"", "]"}], "\[IndentingNewLine]",
     "As", " ", "this", " ", "takes", " ", "a", " ", "LOT", " ", "of", " ", 
    "time"}], " ", "-", " ", 
   RowBox[{
   "in", " ", "the", " ", "following", " ", "we", " ", "only", " ", 
    "distribute", " ", "precisely", " ", "the", " ", "things", " ", "that", " ",
     "are", " ", "actually", " ", "used", " ", 
    RowBox[{"(", 
     RowBox[{
     "bringing", " ", "down", " ", "the", " ", "distribution", " ", "time", " ",
       "by", " ", "a", " ", "factor", " ", "of", " ", "10"}], ")"}]}]}], 
  "\[IndentingNewLine]", "*)"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.9832595367863083`*^9, 
  3.983259626785309*^9}},ExpressionUUID->"73bec28f-fd6a-4219-ac01-\
24118d1dd697"],

Cell[BoxData[
 RowBox[{
  RowBox[{"DistributeDefinitions", "[", "\[IndentingNewLine]", 
   RowBox[{"\"\<FunKit`FTerm\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`FFormSimplify\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`FunKitDebug\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`Private`SafeReplaceTrace\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`Private`GetAllCustomSymbols\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`Private`ImportAndSimplifyFORM\>\"", ",",
     "\[IndentingNewLine]", "\"\<FunKit`Private`scallDef\>\"", ",", 
    "\[IndentingNewLine]", \
"\"\<FunKit`Private`$AlwaysExpandLorentzTensors\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`Private`makeTemporaryFileName\>\"", ",",
     "\[IndentingNewLine]", "\"\<FunKit`Private`$DefaultTimeConstraint\>\"", ",",
     "\[IndentingNewLine]", "\"\<FunKit`Private`$StandardQuickSimplify\>\"", ",",
     "\[IndentingNewLine]", "\"\<FunKit`Private`makeHashFile\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`Private`NormalizeIndices\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`Private`$TraceCacheDir\>\"", ",", 
    "\[IndentingNewLine]", "\"\<FunKit`Private`$standardFORMmomentumRules\>\"",
     ",", "\[IndentingNewLine]", "\"\<FunKit`Private`GetAllMomenta\>\""}], 
   "\[IndentingNewLine]", "]"}], ";"}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.976853214537547*^9, 3.9768532271262083`*^9}, {
  3.976854880879019*^9, 3.976854881389835*^9}, {3.983257401581348*^9, 
  3.98325740241442*^9}, {3.983258755636204*^9, 3.983258761801627*^9}, {
  3.983259486918202*^9, 
  3.983259533497501*^9}},ExpressionUUID->"42d56651-f604-4980-b186-\
5fd230523be3"]
}, Open  ]]
}, Open  ]]
},
AutoGeneratedPackage->"FunKit.m",
WindowSize->{1200, 750},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
Magnification:>0.7 Inherited,
FrontEndVersion->"14.3 for Linux x86 (64-bit) (July 8, 2025)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"dfc92765-bf29-47cf-bd50-cf1f31dcd525"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[554, 20, 581, 11, 21, "Input",ExpressionUUID->"33cd48af-4550-42b3-9c95-127f2f1ee635"],
Cell[CellGroupData[{
Cell[1160, 35, 151, 3, 67, "Title",ExpressionUUID->"3edd37f6-e6ee-46fd-bdbb-e9eec3794061"],
Cell[CellGroupData[{
Cell[1336, 42, 164, 3, 47, "Chapter",ExpressionUUID->"2f936df3-40b7-4534-a1c0-f7f827071b5f"],
Cell[1503, 47, 7672, 166, 527, "Input",ExpressionUUID->"fc6ea956-4f03-4713-ac8c-8ce6e6542b87",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[9212, 218, 271, 4, 47, "Chapter",ExpressionUUID->"291f640c-487b-4f30-9942-6958673dcd5e"],
Cell[9486, 224, 2401, 56, 251, "Input",ExpressionUUID->"117cd3b6-a15f-4718-9e05-00d79dca8ab1",
 InitializationCell->True],
Cell[11890, 282, 1924, 45, 204, "Input",ExpressionUUID->"259e2f7b-ed26-4ac9-90b6-12ae40f229f2",
 InitializationCell->True],
Cell[13817, 329, 12943, 295, 820, "Input",ExpressionUUID->"4600f702-b623-4c77-bc43-2b8669b8e0af",
 InitializationCell->True],
Cell[26763, 626, 2074, 44, 143, "Input",ExpressionUUID->"b6352d19-2461-4c4a-a46c-48016be58972",
 InitializationCell->True],
Cell[28840, 672, 976, 16, 32, "Input",ExpressionUUID->"b9cad7be-9f89-40bd-a9a3-3fe1a41c3deb",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[29853, 693, 158, 3, 47, "Chapter",ExpressionUUID->"bcd04fe3-ac6a-4f3c-882e-a55a76a5a942"],
Cell[30014, 698, 730, 17, 95, "Input",ExpressionUUID->"046565fa-0b6e-470f-b2dd-8f76fa7999b9",
 InitializationCell->True],
Cell[30747, 717, 2168, 53, 220, "Input",ExpressionUUID->"47eb9e2a-4aab-4cae-818b-2b159f33dd9f",
 InitializationCell->True],
Cell[32918, 772, 427, 10, 62, "Input",ExpressionUUID->"00423a7c-d6a3-484b-9304-a68bd1e4d0dd",
 InitializationCell->True],
Cell[33348, 784, 705, 20, 32, "Input",ExpressionUUID->"1ea8b5d2-96e6-4af7-a52c-280e569f15a7",
 InitializationCell->True],
Cell[34056, 806, 417, 10, 32, "Input",ExpressionUUID->"782d2e05-61cb-4a1e-995b-58129b80f7bd",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[34510, 821, 218, 4, 47, "Chapter",ExpressionUUID->"06ff7fc1-962e-43b4-a94f-9559f0b4dca3"],
Cell[34731, 827, 794, 19, 48, "Input",ExpressionUUID->"79ec99ed-c6a5-40d1-ba31-4de7b82081b9",
 InitializationCell->True],
Cell[35528, 848, 997, 22, 78, "Input",ExpressionUUID->"9f2ac5dd-2eaa-4d6f-b8cb-362c8c467d62",
 InitializationCell->True],
Cell[36528, 872, 3477, 76, 311, "Input",ExpressionUUID->"93970ecf-4458-45a6-af7f-b722479ab7d0",
 InitializationCell->True],
Cell[40008, 950, 797, 16, 59, "Input",ExpressionUUID->"1a245aa3-9301-4d39-8cb0-5948275641b1",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[40842, 971, 164, 3, 47, "Chapter",ExpressionUUID->"e0bcd719-68cb-44c9-baed-80f31c0888a8"],
Cell[41009, 976, 8146, 161, 431, "Input",ExpressionUUID->"e55cdd8a-6045-4e30-8a2b-0448ee7472c1",
 InitializationCell->True],
Cell[49158, 1139, 224, 6, 32, "Input",ExpressionUUID->"a9c7f212-bbca-4060-9463-845c93d27daa",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[49419, 1150, 201, 4, 47, "Chapter",ExpressionUUID->"e3e05c8f-39f0-4050-ac9f-88b0d5ad1c65"],
Cell[49623, 1156, 1487, 28, 64, "Input",ExpressionUUID->"9bb42373-e385-489c-a935-e93c92a48e3a",
 InitializationCell->True],
Cell[51113, 1186, 1167, 26, 124, "Input",ExpressionUUID->"db419abf-7774-45ce-b342-c6f00edd9243",
 InitializationCell->True],
Cell[52283, 1214, 7624, 134, 601, "Input",ExpressionUUID->"4b4f4ad4-7210-4478-a569-41f20a07bb6c",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[59944, 1353, 205, 4, 49, "Chapter",ExpressionUUID->"cacaeb49-784c-4d44-b62b-bdfa179ee658"],
Cell[60152, 1359, 501, 13, 49, "Input",ExpressionUUID->"ca725fc5-148b-4105-9299-39fa7ea7dd6a",
 InitializationCell->True]
}, Open  ]],
Cell[CellGroupData[{
Cell[60690, 1377, 151, 3, 49, "Chapter",ExpressionUUID->"49d12299-ea1b-44fc-bd22-2da512cfecd4"],
Cell[60844, 1382, 310, 8, 49, "Input",ExpressionUUID->"d25beb62-45c5-4226-ae79-0968129dba54",
 InitializationCell->True],
Cell[61157, 1392, 1063, 22, 49, "Input",ExpressionUUID->"73bec28f-fd6a-4219-ac01-24118d1dd697",
 InitializationCell->True],
Cell[62223, 1416, 1669, 27, 49, "Input",ExpressionUUID->"42d56651-f604-4980-b186-5fd230523be3",
 InitializationCell->True]
}, Open  ]]
}, Open  ]]
}
]
*)