Asymptotic Structure with a positive cosmological constant by Fernandez Alvarez and Senovilla.nb

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

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

(* CreatedBy='Mathematica 13.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     28675,        654]
NotebookOptionsPosition[     24846,        584]
NotebookOutlinePosition[     25316,        601]
CellTagsIndexPosition[     25273,        598]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["\<\
Notebook for :  
Asymptotic Structure
with a positive cosmological constant
by Fernandez Alvarez and Senovilla\
\>", "Title",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.8217294718661222`*^9, 3.821729502043838*^9}, 
   3.8217295683553457`*^9, 3.821732221863006*^9, {3.821811203295624*^9, 
   3.8218112036548367`*^9}, {3.822041768762134*^9, 3.822041781290854*^9}, {
   3.822048009752109*^9, 3.8220480569607773`*^9}, {3.822504877727007*^9, 
   3.8225048874039307`*^9}, {3.822565447028533*^9, 3.822565457908236*^9}, {
   3.822822107930128*^9, 3.822822113128089*^9}, {3.823176459993638*^9, 
   3.823176470345335*^9}, {3.823359338529508*^9, 3.823359361520629*^9}, {
   3.823422938182802*^9, 3.823422938584877*^9}, {3.823431880221382*^9, 
   3.823431897644202*^9}, {3.82343570279051*^9, 3.823435714197551*^9}, {
   3.8279532410864677`*^9, 3.8279532445579853`*^9}, {3.82795429722185*^9, 
   3.827954302845343*^9}, {3.827956183129569*^9, 3.8279561871771517`*^9}, 
   3.8510088216927958`*^9, {3.851065387457584*^9, 3.8510653950417137`*^9}, 
   3.851160597374864*^9, {3.851160636795714*^9, 3.851160643318049*^9}, {
   3.851252068594337*^9, 3.851252070180398*^9}, 3.851252176997387*^9, {
   3.8512537092365723`*^9, 3.851253723424601*^9}, {3.851254741633192*^9, 
   3.851254742106227*^9}, 3.8512547758840523`*^9, {3.851256531968828*^9, 
   3.851256541406445*^9}, 3.8512569273040457`*^9, {3.8573858110177917`*^9, 
   3.857385816994001*^9}, {3.8575967978050013`*^9, 3.8575968003411503`*^9}, {
   3.857631583442149*^9, 3.857631596041613*^9}},
 TextAlignment->Center,ExpressionUUID->"ad6253d4-2667-4f56-93a1-1ee705a775c1"],

Cell["\<\
Geoff Cope
University of Utah
\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\|01040f\|01042d\|01044c\|010432\|010442\|010432\
\|010449\|010445\|01042e\|01043b\|010428 \|010432\|010442 \|01040f\|01042d\
\|01043b\|01042b
March 27, 2022\
\>", "Author",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.821729507652328*^9, 3.821729529657844*^9}, 
   3.8220480097522783`*^9, {3.822048070235491*^9, 3.822048084689715*^9}, {
   3.8225654346519403`*^9, 3.8225654361641483`*^9}, {3.8231764728567343`*^9, 
   3.823176482313031*^9}, {3.8233640113399878`*^9, 3.823364023347041*^9}, {
   3.8234229506702557`*^9, 3.823422956381791*^9}, {3.827953252419902*^9, 
   3.827953254868108*^9}, {3.851065213363542*^9, 3.8510652255731983`*^9}, {
   3.8510652620952*^9, 3.851065307413348*^9}, {3.851099255534511*^9, 
   3.851099264486588*^9}, {3.851252093025189*^9, 3.851252093273655*^9}, 
   3.851252176997463*^9, 3.8512537234246607`*^9, 3.85125469290289*^9, 
   3.851256927304118*^9, {3.857385845770049*^9, 3.857385850601655*^9}},
 TextAlignment->Center,ExpressionUUID->"b215d788-2933-4668-aa9a-56ec047393bd"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Hyperlink To Documentation", "Section",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{{3.820944675605734*^9, 
  3.8209446931410646`*^9}},ExpressionUUID->"9f34bfd0-1cc8-42cc-8068-\
53819ae469f8"],

Cell[BoxData[
 RowBox[{"Hyperlink", "[", 
  RowBox[{
  "\"\<GeneralRelativityTensors Documentation and Download\>\"", ",", 
   "\[IndentingNewLine]", 
   "\"\<https://github.com/BlackHolePerturbationToolkit\>\""}], 
  "]"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{{3.820944619768764*^9, 3.820944681268063*^9}},
 CellLabel->"In[1]:=",ExpressionUUID->"e048c818-32b5-4a70-a860-3d7c5335a1e3"],

Cell[BoxData[
 TemplateBox[{
  "\"GeneralRelativityTensors Documentation and Download\"", 
   "https://github.com/BlackHolePerturbationToolkit"},
  "HyperlinkURL"]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{{3.820944653562152*^9, 3.820944681268403*^9}, 
   3.821729905862431*^9, 3.821732641380642*^9, 3.8218069931429567`*^9, 
   3.821811425912986*^9, 3.822042652654992*^9, {3.822048793766124*^9, 
   3.8220488009116488`*^9}, 3.82250502887521*^9, 3.822505578829629*^9, 
   3.822565490613895*^9, 3.8225662097813597`*^9, 3.822606717894772*^9, 
   3.822739433713368*^9, 3.822822210464344*^9, 3.8233594284652433`*^9, 
   3.8233607803938913`*^9, 3.823360880234103*^9, 3.823361224481102*^9, 
   3.82336209870968*^9, 3.823364030542309*^9, 3.823423099366008*^9, 
   3.823432318595525*^9, 3.823435951894755*^9, 3.8234364866582403`*^9, 
   3.8279535191386757`*^9, 3.8279557154177027`*^9, 3.8510028350822067`*^9, 
   3.851006003042328*^9, 3.8510089492956676`*^9, 3.8510989202231283`*^9, 
   3.851160707631398*^9, 3.851252180452415*^9, 3.851253889209478*^9, 
   3.851254093603747*^9, 3.85125492517317*^9, 3.851327820707213*^9, 
   3.8548970470332727`*^9, 3.856000088532958*^9, 3.856036283221402*^9, 
   3.857469271384585*^9},
 CellLabel->"Out[1]=",ExpressionUUID->"f2355d78-267a-42b9-95e7-3f4be7a942ac"]
}, Closed]],

Cell[CellGroupData[{

Cell["Hyperlink  To Article ", "Section",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{
  3.820937794883616*^9, {3.820938266275806*^9, 3.82093829464357*^9}, 
   3.820943883376583*^9, {3.8210324492405148`*^9, 3.821032453951701*^9}, {
   3.8217297279218817`*^9, 3.8217297313782063`*^9}, {3.822593613363134*^9, 
   3.822593616181035*^9}, {3.822736144359599*^9, 3.8227361450547543`*^9}, {
   3.823359417697976*^9, 3.823359420672374*^9}, 3.843132373377376*^9, 
   3.851065429743207*^9},ExpressionUUID->"bf0c9834-9895-4c7b-baba-\
40d1ca40685e"],

Cell[BoxData[
 RowBox[{"Hyperlink", "[", 
  RowBox[{
  "\"\<Asymptotic Structure with a positive cosmological constant by \
Fernandez Alvarez and Senovilla\>\"", ",", "\[IndentingNewLine]", 
   "\"\<https://arxiv.org/abs/2105.09167\>\""}], "]"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.8576316431015387`*^9, 3.857631660418314*^9}},
 CellLabel->"In[1]:=",ExpressionUUID->"24baf291-f6d4-4e7c-91b2-f02692be159f"],

Cell[BoxData[
 TemplateBox[{
  "\"Asymptotic Structure with a positive cosmological constant by Fernandez \
Alvarez and Senovilla\"", "https://arxiv.org/abs/2105.09167"},
  "HyperlinkURL"]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{3.857631662016157*^9},
 CellLabel->"Out[1]=",ExpressionUUID->"ec0be92c-0903-42a8-86c5-0b26ac9ae838"],

Cell[BoxData[
 RowBox[{"Hyperlink", "[", 
  RowBox[{
  "\"\<Asymptotic Structure with vanishing cosmological constant by Fernandez \
Alvarez and Senovilla\>\"", ",", "\[IndentingNewLine]", 
   "\"\<https://arxiv.org/abs/2105.09166\>\""}], "]"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.857631704196143*^9, 3.857631735556663*^9}},
 CellLabel->"In[2]:=",ExpressionUUID->"d01e0c21-86bc-455c-acae-225ff4e150ed"],

Cell[BoxData[
 TemplateBox[{
  "\"Asymptotic Structure with vanishing cosmological constant by Fernandez \
Alvarez and Senovilla\"", "https://arxiv.org/abs/2105.09166"},
  "HyperlinkURL"]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.857631731060585*^9, 3.857631735557*^9}},
 CellLabel->"Out[2]=",ExpressionUUID->"13ba65d7-6132-4123-b203-90d9b89015b6"]
}, Closed]],

Cell[CellGroupData[{

Cell["Utilities and Package Load", "Section",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{{3.820937646765551*^9, 
  3.8209376725449123`*^9}},ExpressionUUID->"9664683e-85d7-4388-b60c-\
27df7bf3b177"],

Cell[BoxData[{
 RowBox[{"ClearAll", "[", "\"\<Global`*\>\"", "]"}], "\[IndentingNewLine]", 
 RowBox[{"<<", "Utilities`CleanSlate`"}], "\[IndentingNewLine]", 
 RowBox[{"CleanSlate", "[", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"ClearInOut", "[", "]"}], 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"pdConv", "[", "f_", "]"}], ":=", 
  RowBox[{"TraditionalForm", "[", 
   RowBox[{"f", "/.", 
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"Derivative", "[", "inds__", "]"}], "[", "g_", "]"}], "[", 
      "vars__", "]"}], "\[RuleDelayed]", 
     RowBox[{"Apply", "[", 
      RowBox[{
       RowBox[{
        RowBox[{"Defer", "[", 
         RowBox[{"D", "[", 
          RowBox[{
           RowBox[{"g", "[", "vars", "]"}], ",", "##"}], "]"}], "]"}], "&"}], 
       ",", 
       RowBox[{
        RowBox[{"Transpose", "[", 
         RowBox[{"{", 
          RowBox[{
           RowBox[{"{", "vars", "}"}], ",", 
           RowBox[{"{", "inds", "}"}]}], "}"}], "]"}], "/.", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{
           RowBox[{"{", 
            RowBox[{"var_", ",", "0"}], "}"}], "\[RuleDelayed]", 
           RowBox[{"Sequence", "[", "]"}]}], ",", 
          RowBox[{
           RowBox[{"{", 
            RowBox[{"var_", ",", "1"}], "}"}], "\[RuleDelayed]", 
           RowBox[{"{", "var", "}"}]}]}], "}"}]}]}], "]"}]}]}], 
   "]"}]}]}], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{
  3.8209376549030037`*^9, {3.821032517164062*^9, 3.821032518258361*^9}},
 CellLabel->"In[14]:=",ExpressionUUID->"6b98882d-e60f-4195-83ef-36dcc33cd95b"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"  (CleanSlate) Contexts purged: \"\>", "\[InvisibleSpace]", 
   RowBox[{"{", "\<\"Global`\"\>", "}"}]}],
  SequenceForm["  (CleanSlate) Contexts purged: ", {"Global`"}],
  Editable->False]], "Print",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{
  3.820932754769992*^9, 3.820933427630714*^9, 3.820937654903143*^9, 
   3.821729906190301*^9, 3.821732641685704*^9, 3.8218069933778133`*^9, 
   3.82181142618342*^9, 3.8220426528487463`*^9, {3.822048793940605*^9, 
   3.822048801089246*^9}, 3.822505029191699*^9, 3.822505579049889*^9, 
   3.822565490838564*^9, 3.822566210008327*^9, 3.822606718180009*^9, 
   3.8226371008270607`*^9, 3.822739433887854*^9, 3.822761800089258*^9, 
   3.8228172997642097`*^9, 3.822822210725956*^9, 3.822988687208267*^9, 
   3.823359428732101*^9, 3.823360780582996*^9, 3.823360880477087*^9, 
   3.823361224742215*^9, 3.8233620990886593`*^9, 3.8233640308219624`*^9, 
   3.823423099601778*^9, 3.8234323187773438`*^9, 3.823435952157167*^9, 
   3.823436486849058*^9, 3.827953519486154*^9, 3.8279557158304777`*^9, 
   3.851002835657901*^9, 3.8510060035665073`*^9, 3.851008949820916*^9, 
   3.851065436297735*^9, 3.8510989210822697`*^9, 3.85116070793416*^9, 
   3.8512521811159277`*^9, 3.8512538896396427`*^9, 3.8512540939696217`*^9, 
   3.851254925593656*^9, 3.851327821321186*^9, 3.854897047420203*^9, 
   3.855139871808432*^9, 3.85600008954291*^9, 3.856036283754389*^9, 
   3.857386049666855*^9, 3.857469272071499*^9},
 CellLabel->
  "During evaluation of \
In[14]:=",ExpressionUUID->"020d3363-38a5-4b85-9ed9-2cfb5b06175e"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"  (CleanSlate) Approximate kernel memory recovered: \"\>", 
   "\[InvisibleSpace]", "\<\"26 Kb\"\>"}],
  SequenceForm[
  "  (CleanSlate) Approximate kernel memory recovered: ", "26 Kb"],
  Editable->False]], "Print",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{
  3.820932754769992*^9, 3.820933427630714*^9, 3.820937654903143*^9, 
   3.821729906190301*^9, 3.821732641685704*^9, 3.8218069933778133`*^9, 
   3.82181142618342*^9, 3.8220426528487463`*^9, {3.822048793940605*^9, 
   3.822048801089246*^9}, 3.822505029191699*^9, 3.822505579049889*^9, 
   3.822565490838564*^9, 3.822566210008327*^9, 3.822606718180009*^9, 
   3.8226371008270607`*^9, 3.822739433887854*^9, 3.822761800089258*^9, 
   3.8228172997642097`*^9, 3.822822210725956*^9, 3.822988687208267*^9, 
   3.823359428732101*^9, 3.823360780582996*^9, 3.823360880477087*^9, 
   3.823361224742215*^9, 3.8233620990886593`*^9, 3.8233640308219624`*^9, 
   3.823423099601778*^9, 3.8234323187773438`*^9, 3.823435952157167*^9, 
   3.823436486849058*^9, 3.827953519486154*^9, 3.8279557158304777`*^9, 
   3.851002835657901*^9, 3.8510060035665073`*^9, 3.851008949820916*^9, 
   3.851065436297735*^9, 3.8510989210822697`*^9, 3.85116070793416*^9, 
   3.8512521811159277`*^9, 3.8512538896396427`*^9, 3.8512540939696217`*^9, 
   3.851254925593656*^9, 3.851327821321186*^9, 3.854897047420203*^9, 
   3.855139871808432*^9, 3.85600008954291*^9, 3.856036283754389*^9, 
   3.857386049666855*^9, 3.857469272073575*^9},
 CellLabel->
  "During evaluation of \
In[14]:=",ExpressionUUID->"cb40099b-eeec-42a4-95de-6a89c0071380"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"\<\"Utilities`CleanSlate`\"\>", 
   ",", "\<\"DocumentationSearch`\"\>", ",", "\<\"ResourceLocator`\"\>", 
   ",", "\<\"NaturalLanguageProcessingLoader`\"\>", ",", "\<\"System`\"\>", 
   ",", "\<\"Global`\"\>"}], "}"}]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{
  3.820932754773623*^9, 3.820933427635436*^9, 3.8209376549033947`*^9, 
   3.821729906193787*^9, 3.821732641691049*^9, 3.821806993386058*^9, 
   3.821811426187071*^9, 3.822042652852829*^9, {3.822048793944077*^9, 
   3.822048801092909*^9}, 3.822505029195156*^9, 3.8225055790570173`*^9, 
   3.8225654908422747`*^9, 3.8225662100125237`*^9, 3.8226067181902227`*^9, 
   3.822637100839163*^9, 3.8227394339100733`*^9, 3.822761800103311*^9, 
   3.822817299776285*^9, 3.822822210739685*^9, 3.822988687217742*^9, 
   3.823359428736412*^9, 3.823360780587545*^9, 3.8233608804810534`*^9, 
   3.823361224746982*^9, 3.823362099093968*^9, 3.823364030838743*^9, 
   3.823423099606819*^9, 3.8234323187826138`*^9, 3.8234359521606693`*^9, 
   3.8234364868537683`*^9, 3.8279535194907703`*^9, 3.827955715837903*^9, 
   3.85100283566621*^9, 3.8510060035751667`*^9, 3.851008949829352*^9, 
   3.8510654363040943`*^9, 3.851098921092414*^9, 3.8511607079406347`*^9, 
   3.85125218112356*^9, 3.85125388964861*^9, 3.851254093978104*^9, 
   3.851254925602219*^9, 3.851327821331582*^9, 3.854897047428731*^9, 
   3.855139871815505*^9, 3.856000089552231*^9, 3.856036283763743*^9, 
   3.8573860496735477`*^9, 3.857469272077763*^9},
 CellLabel->"Out[0]=",ExpressionUUID->"a473da95-2b51-4756-a7ae-43a0f0574e04"],

Cell[BoxData[
 RowBox[{"<<", "GeneralRelativityTensors`"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{3.8209376549035053`*^9},
 CellLabel->"In[2]:=",ExpressionUUID->"948fd3a7-bb46-4400-90f2-76530e769766"]
}, Closed]],

Cell[CellGroupData[{

Cell["Custom Notation", "Section",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.8225114042235403`*^9, 3.822511435665856*^9}, 
   3.823176577809782*^9},ExpressionUUID->"eee20f62-d2ec-4772-bdf5-\
0ab767084784"],

Cell[BoxData[{
 RowBox[{"Clear", "[", "dtReplace", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"dtReplace", " ", "=", " ", 
   RowBox[{"{", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{
      RowBox[{"Dt", "[", "r", "]"}], "\[Rule]", " ", "dr"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "t", "]"}], "\[Rule]", " ", "dt"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "u", "]"}], "\[Rule]", " ", "du"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "v", "]"}], "\[Rule]", " ", "dv"}], " ", ",", " ", 
     "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "z", "]"}], "->", " ", "dz"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Tau]", "]"}], "->", " ", "d\[Tau]"}], " ", ",", 
     " ", "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Theta]", "]"}], " ", "\[Rule]", " ", 
      "d\[Theta]"}], " ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Phi]", "]"}], " ", "\[Rule]", " ", "d\[Phi]"}], 
     "  ", ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Eta]", "]"}], " ", "\[Rule]", " ", "d\[Eta]"}], 
     "  ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Chi]", "]"}], "\[Rule]", " ", "d\[Chi]"}], " ", 
     ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Rho]", "]"}], " ", "\[Rule]", " ", "d\[Rho]"}], 
     " ", ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[CurlyPhi]", "]"}], " ", "\[Rule]", " ", 
      "d\[CurlyPhi]"}], " ", ",", " ", "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptT]", "]"}], " ", "\[Rule]", " ", 
      "d\[ScriptT]"}], " ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptZ]", "]"}], " ", "\[Rule]", " ", 
      "d\[ScriptZ]"}], ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "T", "]"}], "->", " ", "dT"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "U", "]"}], "\[Rule]", " ", "dU"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "V", "]"}], "\[Rule]", " ", "dV"}], " ", ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "X", "]"}], "->", " ", "dX"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "Y", "]"}], "->", " ", "dY"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "Z", "]"}], "->", " ", "dZ"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptR]", "]"}], "\[Rule]", " ", "d\[ScriptR]"}],
      "  ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[CapitalPhi]", "]"}], "\[Rule]", " ", 
      "d\[CapitalPhi]"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"dtReplace", " ", "//", " ", "TableForm"}]}], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.82317656063256*^9, 3.823176577809904*^9}, {
  3.8573881162522917`*^9, 3.857388121396316*^9}, {3.857597625719401*^9, 
  3.8575976849602737`*^9}},
 CellLabel->
  "In[601]:=",ExpressionUUID->"cfc5d9ec-b6ea-41bf-b403-9a45c7eb12ae"],

Cell[BoxData[
 TagBox[
  TagBox[GridBox[{
     {
      RowBox[{
       RowBox[{"Dt", "[", "r", "]"}], "\[Rule]", "dr"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "t", "]"}], "\[Rule]", "dt"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "u", "]"}], "\[Rule]", "du"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "v", "]"}], "\[Rule]", "dv"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "z", "]"}], "\[Rule]", "dz"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Tau]", "]"}], "\[Rule]", "d\[Tau]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Theta]", "]"}], "\[Rule]", "d\[Theta]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Phi]", "]"}], "\[Rule]", "d\[Phi]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Eta]", "]"}], "\[Rule]", "d\[Eta]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Chi]", "]"}], "\[Rule]", "d\[Chi]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Rho]", "]"}], "\[Rule]", "d\[Rho]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[CurlyPhi]", "]"}], "\[Rule]", "d\[CurlyPhi]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptT]", "]"}], "\[Rule]", "d\[ScriptT]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptZ]", "]"}], "\[Rule]", "d\[ScriptZ]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "T", "]"}], "\[Rule]", "dT"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "U", "]"}], "\[Rule]", "dU"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "V", "]"}], "\[Rule]", "dV"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "X", "]"}], "\[Rule]", "dX"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "Y", "]"}], "\[Rule]", "dY"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "Z", "]"}], "\[Rule]", "dZ"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptR]", "]"}], "\[Rule]", "d\[ScriptR]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[CapitalPhi]", "]"}], "\[Rule]", 
       "d\[CapitalPhi]"}]}
    },
    GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[0.5599999999999999]}, 
        Offset[0.27999999999999997`]}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}}],
   Column],
  Function[BoxForm`e$, 
   TableForm[BoxForm`e$]]]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.8231765606326637`*^9, 3.82317657781*^9}, 
   3.8233594287980833`*^9, 3.823360780614534*^9, 3.8233608805437098`*^9, 
   3.823361224810658*^9, 3.823362099159925*^9, 3.8233640309198627`*^9, 
   3.8234230996755753`*^9, 3.823432318844563*^9, 3.823435952223415*^9, 
   3.8234364868866034`*^9, 3.827953519527835*^9, 3.827955715914514*^9, 
   3.8510028357473288`*^9, 3.851006003648923*^9, 3.851008949898053*^9, 
   3.8510654364799643`*^9, 3.851098921179564*^9, 3.851160707964858*^9, 
   3.8512521812070932`*^9, 3.85125388969213*^9, 3.851254094004854*^9, 
   3.8512549256446123`*^9, 3.851327821386435*^9, 3.8548970474997396`*^9, 
   3.855139871898533*^9, 3.856000089811013*^9, 3.8560362838061047`*^9, 
   3.8573860544589148`*^9, 3.8573881218879213`*^9, 3.857469272207099*^9, {
   3.857597658258953*^9, 3.857597685413308*^9}},
 CellLabel->
  "Out[603]//TableForm=",ExpressionUUID->"882e5701-2c23-4e07-9cc7-\
2d83ad184fb5"]
}, Closed]],

Cell[CellGroupData[{

Cell["Line Element and Metric Functions", "Section",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.},
 CellChangeTimes->{{3.820937548919169*^9, 3.8209375728447866`*^9}, 
   3.8209383129401073`*^9, 3.8220481344968433`*^9, {3.8225115057038183`*^9, 
   3.822511507783984*^9}, 
   3.822763734568725*^9},ExpressionUUID->"a2c15ff8-bddd-4b14-aad6-\
3bf94c2ce117"],

Cell[BoxData[{
 RowBox[{"Clear", "[", "lineToMetric", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"lineToMetric", "[", 
    RowBox[{"lineelement_", " ", ",", " ", "differentials_"}], "]"}], ":=", 
   " ", "\[IndentingNewLine]", 
   RowBox[{"Table", "[", 
    RowBox[{
     RowBox[{"If", "[", 
      RowBox[{
       RowBox[{"i", "\[Equal]", "j"}], " ", ",", 
       RowBox[{"Coefficient", "[", 
        RowBox[{"lineelement", ",", " ", 
         RowBox[{
          RowBox[{"differentials", "[", 
           RowBox[{"[", "i", "]"}], "]"}], " ", 
          RowBox[{"differentials", "[", 
           RowBox[{"[", "j", "]"}], "]"}]}]}], "]"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"1", "/", "2"}], ")"}], "*", 
        RowBox[{"Coefficient", "[", 
         RowBox[{"lineelement", ",", " ", 
          RowBox[{
           RowBox[{"differentials", "[", 
            RowBox[{"[", "i", "]"}], "]"}], " ", 
           RowBox[{"differentials", "[", 
            RowBox[{"[", "j", "]"}], "]"}]}]}], "]"}]}]}], "]"}], ",", 
     "\[IndentingNewLine]", 
     RowBox[{"{", 
      RowBox[{"i", ",", "1", ",", 
       RowBox[{"Length", "[", "differentials", "]"}]}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"j", ",", "1", ",", 
       RowBox[{"Length", "[", "differentials", "]"}]}], "}"}]}], "]"}]}], 
  "  ", ";"}]}], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.},
 CellChangeTimes->{3.821567412203915*^9, 3.821641945174967*^9, 
  3.821641981470141*^9, 3.8220481344970007`*^9, 3.822763734569355*^9},
 CellLabel->"In[6]:=",ExpressionUUID->"805480c0-c241-4325-8f15-3cb2e7a2fb3a"],

Cell[BoxData[{
 RowBox[{"Clear", "[", "metricToLine", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"metricToLine", "[", 
   RowBox[{"metric_", ",", " ", "differentials_"}], "]"}], ":=", " ", 
  "\[IndentingNewLine]", 
  RowBox[{"Sum", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"metric", "[", 
      RowBox[{"[", 
       RowBox[{"i", ",", "j"}], "]"}], "]"}], " ", 
     RowBox[{"differentials", "[", 
      RowBox[{"[", "i", "]"}], "]"}], " ", 
     RowBox[{"differentials", "[", 
      RowBox[{"[", "j", "]"}], "]"}]}], " ", ",", " ", 
    RowBox[{"{", 
     RowBox[{"i", ",", "1", ",", 
      RowBox[{"Length", "[", "differentials", "]"}]}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"j", ",", "1", ",", 
      RowBox[{"Length", "[", "differentials", "]"}]}], "}"}]}], 
   "]"}]}]}], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.},
 CellChangeTimes->{{3.822762557092309*^9, 3.8227626322008677`*^9}, 
   3.8227637345698223`*^9, 3.822988709740047*^9},
 CellLabel->"In[8]:=",ExpressionUUID->"6d972b27-d144-4e94-b1b1-668ff9b0b58e"]
}, Closed]]
},
WindowSize->{1276, 671},
WindowMargins->{{-1280, Automatic}, {Automatic, 0}},
FrontEndVersion->"13.0 for Mac OS X x86 (64-bit) (February 4, 2022)",
StyleDefinitions->FrontEnd`FileName[{"Report"}, "StandardReport.nb", 
  CharacterEncoding -> "UTF-8"],
ExpressionUUID->"8d1bbcd5-b7dd-4636-8bda-714ddb509c21"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 1649, 26, 283, "Title",ExpressionUUID->"ad6253d4-2667-4f56-93a1-1ee705a775c1",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[2232, 50, 1108, 19, 94, "Author",ExpressionUUID->"b215d788-2933-4668-aa9a-56ec047393bd",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}]
}, Open  ]],
Cell[CellGroupData[{
Cell[3377, 74, 228, 4, 69, "Section",ExpressionUUID->"9f34bfd0-1cc8-42cc-8068-53819ae469f8",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[3608, 80, 433, 9, 63, "Input",ExpressionUUID->"e048c818-32b5-4a70-a860-3d7c5335a1e3",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[4044, 91, 1333, 21, 43, "Output",ExpressionUUID->"f2355d78-267a-42b9-95e7-3f4be7a942ac",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}]
}, Closed]],
Cell[CellGroupData[{
Cell[5414, 117, 567, 9, 55, "Section",ExpressionUUID->"bf0c9834-9895-4c7b-baba-40d1ca40685e",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[5984, 128, 457, 8, 63, "Input",ExpressionUUID->"24baf291-f6d4-4e7c-91b2-f02692be159f",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[6444, 138, 375, 7, 43, "Output",ExpressionUUID->"ec0be92c-0903-42a8-86c5-0b26ac9ae838",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[6822, 147, 454, 8, 63, "Input",ExpressionUUID->"d01e0c21-86bc-455c-acae-225ff4e150ed",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[7279, 157, 395, 7, 43, "Output",ExpressionUUID->"13ba65d7-6132-4123-b203-90d9b89015b6",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}]
}, Closed]],
Cell[CellGroupData[{
Cell[7711, 169, 228, 4, 55, "Section",ExpressionUUID->"9664683e-85d7-4388-b60c-27df7bf3b177",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[7942, 175, 1641, 44, 189, "Input",ExpressionUUID->"6b98882d-e60f-4195-83ef-36dcc33cd95b",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[9586, 221, 1620, 27, 24, "Print",ExpressionUUID->"020d3363-38a5-4b85-9ed9-2cfb5b06175e",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[11209, 250, 1637, 28, 24, "Print",ExpressionUUID->"cb40099b-eeec-42a4-95de-6a89c0071380",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[12849, 280, 1619, 25, 41, "Output",ExpressionUUID->"a473da95-2b51-4756-a7ae-43a0f0574e04",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[14471, 307, 246, 4, 41, "Input",ExpressionUUID->"948fd3a7-bb46-4400-90f2-76530e769766",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}]
}, Closed]],
Cell[CellGroupData[{
Cell[14754, 316, 240, 4, 55, "Section",ExpressionUUID->"eee20f62-d2ec-4772-bdf5-0ab767084784",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[14997, 322, 3360, 78, 546, "Input",ExpressionUUID->"cfc5d9ec-b6ea-41bf-b403-9a45c7eb12ae",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[18360, 402, 3351, 97, 429, "Output",ExpressionUUID->"882e5701-2c23-4e07-9cc7-2d83ad184fb5",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}]
}, Closed]],
Cell[CellGroupData[{
Cell[21748, 504, 362, 6, 55, "Section",ExpressionUUID->"a2c15ff8-bddd-4b14-aad6-3bf94c2ce117",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.}],
Cell[22113, 512, 1659, 41, 126, "Input",ExpressionUUID->"805480c0-c241-4325-8f15-3cb2e7a2fb3a",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.}],
Cell[23775, 555, 1055, 26, 84, "Input",ExpressionUUID->"6d972b27-d144-4e94-b1b1-668ff9b0b58e",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.}]
}, Closed]]
}
]
*)