Z4co: update Z4c_vars.wl

EinsteinToolkit · Jul 1, 2024 · d286d5a · d286d5a
1 parent 629fe4a
commit d286d5a
Showing 1 changed file with 32 additions and 30 deletions.
diff --git a/Z4co/wolfram/Z4c_vars.wl b/Z4co/wolfram/Z4c_vars.wl
@@ -10,76 +10,78 @@
 
 (***********************)
 
-DefTensors[{chi[], PrintAs -> "\[Chi]"}, {gamt[-i, -j], Symmetric[{-i, 
-  -j}], PrintAs -> "\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"}, {exKh[],
-   PrintAs -> "\!\(\*OverscriptBox[\(K\), \(^\)]\)"}, {exAt[-i, -j], Symmetric[
-  {-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(A\), \(~\)]\)"}, {trGt[i],
-   PrintAs -> "\!\(\*OverscriptBox[\(\[CapitalGamma]\), \(~\)]\)"}, {Theta[
-  ], PrintAs -> "\[CapitalTheta]"}, {alpha[], PrintAs -> "\[Alpha]"}, {beta[
-  i], PrintAs -> "\[Beta]"}];
+EvolVarlist = GridTensors[{chi[], PrintAs -> "\[Chi]"}, {gamt[-i, -j], 
+  Symmetric[{-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"
+  }, {exKh[], PrintAs -> "\!\(\*OverscriptBox[\(K\), \(^\)]\)"}, {exAt[-i,
+   -j], Symmetric[{-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(A\), \(~\)]\)"
+  }, {trGt[i], PrintAs -> "\!\(\*OverscriptBox[\(\[CapitalGamma]\), \(~\)]\)"
+  }, {Theta[], PrintAs -> "\[CapitalTheta]"}, {alpha[], PrintAs -> "\[Alpha]"
+  }, {beta[i], PrintAs -> "\[Beta]"}];
 
 (*************************)
 
 (* Other Input Variables *)
 
 (*************************)
 
-DefTensors[{dchi[-k], PrintAs -> "\[PartialD]\[Chi]"}, {dgamt[-k, -i, -
-  j], Symmetric[{-i, -j}], PrintAs -> "\[PartialD]\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"
+dEvolVarlist = GridTensors[{dchi[-k], PrintAs -> "\[PartialD]\[Chi]"}, 
+  {dgamt[-k, -i, -j], Symmetric[{-i, -j}], PrintAs -> "\[PartialD]\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"
   }, {dexKh[-k], PrintAs -> "\[PartialD]\!\(\*OverscriptBox[\(K\), \(^\)]\)"
   }, {dexAt[-k, -i, -j], Symmetric[{-i, -j}], PrintAs -> "\[PartialD]\!\(\*OverscriptBox[\(A\), \(~\)]\)"
   }, {dtrGt[-k, i], PrintAs -> "\[PartialD]\!\(\*OverscriptBox[\(\[CapitalGamma]\), \(~\)]\)"
   }, {dTheta[-k], PrintAs -> "\[PartialD]\[CapitalTheta]"}, {dalpha[-k], 
   PrintAs -> "\[PartialD]\[Alpha]"}, {dbeta[-k, i], PrintAs -> "\[PartialD]\[Beta]"
   }];
 
-DefTensors[{ddchi[-i, -j], Symmetric[{-i, -j}], PrintAs -> "\[PartialD]\[PartialD]\[Chi]"
-  }, {ddgamt[-l, -m, -i, -j], GenSet[Cycles[{1, 2}], Cycles[{3, 4}]], PrintAs
-   -> "\[PartialD]\[PartialD]\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"},
-   {ddalpha[-i, -j], Symmetric[{-i, -j}], PrintAs -> "\[PartialD]\[PartialD]\[Alpha]"
+ddEvolVarlist = GridTensors[{ddchi[-i, -j], Symmetric[{-i, -j}], PrintAs
+   -> "\[PartialD]\[PartialD]\[Chi]"}, {ddgamt[-l, -m, -i, -j], GenSet[Cycles[
+  {1, 2}], Cycles[{3, 4}]], PrintAs -> "\[PartialD]\[PartialD]\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"
+  }, {ddalpha[-i, -j], Symmetric[{-i, -j}], PrintAs -> "\[PartialD]\[PartialD]\[Alpha]"
   }, {ddbeta[-i, -j, k], Symmetric[{-i, -j}], PrintAs -> "\[PartialD]\[PartialD]\[Beta]"
   }];
 
-DefTensors[{eTtt[], PrintAs -> "\!\(\*SubscriptBox[\(T\), \(tt\)]\)"}, 
-  {eTt[-i], PrintAs -> "\!\(\*SubscriptBox[\(T\), \(t\)]\)"}, {eT[-i, -j],
-   PrintAs -> "T"}];
+TmunuVarlist = GridTensors[{eTtt[], PrintAs -> "\!\(\*SubscriptBox[\(T\), \(tt\)]\)"
+  }, {eTt[-i], PrintAs -> "\!\(\*SubscriptBox[\(T\), \(t\)]\)"}, {eT[-i, 
+  -j], PrintAs -> "T"}];
 
 (**************************)
 
 (* Intermediate Variables *)
 
 (**************************)
 
-DefTensors[{invgamt[i, j], Symmetric[{i, j}], PrintAs -> "\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"
-  }, {invgam[i, j], Symmetric[{i, j}], PrintAs -> "\[Gamma]"}, {gam[-i, -
-  j], Symmetric[{-i, -j}], PrintAs -> "\[Gamma]"}, {GtDDD[-k, -i, -j], Symmetric[
-  {-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(\[CapitalGamma]\), \(~\)]\)"
+IntermediateVarlist = TempTensors[{invgamt[i, j], Symmetric[{i, j}], PrintAs
+   -> "\!\(\*OverscriptBox[\(\[Gamma]\), \(~\)]\)"}, {invgam[i, j], Symmetric[
+  {i, j}], PrintAs -> "\[Gamma]"}, {gam[-i, -j], Symmetric[{-i, -j}], PrintAs
+   -> "\[Gamma]"}, {GtDDD[-k, -i, -j], Symmetric[{-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(\[CapitalGamma]\), \(~\)]\)"
   }, {GtDDU[-k, -i, j], PrintAs -> "\!\(\*OverscriptBox[\(\[CapitalGamma]\), \(~\)]\)"
   }, {Gt[k, -i, -j], Symmetric[{-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(\[CapitalGamma]\), \(~\)]\)"
   }, {trGtd[i], PrintAs -> "(\!\(\*SubscriptBox[OverscriptBox[\(\[CapitalGamma]\), \(~\)], \(d\)]\))"
   }, {exAtUU[i, j], Symmetric[{i, j}], PrintAs -> "\!\(\*OverscriptBox[\(A\), \(~\)]\)"
   }];
 
-DefTensors[{tDtDchi[-i, -j], Symmetric[{-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(D\), \(~\)]\)\!\(\*OverscriptBox[\(D\), \(~\)]\)\[Chi]"
+DDVarlist = TempTensors[{tDtDchi[-i, -j], Symmetric[{-i, -j}], PrintAs 
+  -> "\!\(\*OverscriptBox[\(D\), \(~\)]\)\!\(\*OverscriptBox[\(D\), \(~\)]\)\[Chi]"
   }, {DDalpha[-i, -j], Symmetric[{-i, -j}], PrintAs -> "DD\[Alpha]"}];
 
-DefTensors[{Rtchi[-i, -j], Symmetric[{-i, -j}], PrintAs -> "\!\(\*SuperscriptBox[OverscriptBox[\(R\), \(~\)], \(\[Chi]\)]\)"
-  }, {Rt[-i, -j], Symmetric[{-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(R\), \(~\)]\)"
+RVarlist = TempTensors[{Rtchi[-i, -j], Symmetric[{-i, -j}], PrintAs -> 
+  "\!\(\*SuperscriptBox[OverscriptBox[\(R\), \(~\)], \(\[Chi]\)]\)"}, {Rt[
+  -i, -j], Symmetric[{-i, -j}], PrintAs -> "\!\(\*OverscriptBox[\(R\), \(~\)]\)"
   }, {R[-i, -j], Symmetric[{-i, -j}]}, {trR[], PrintAs -> "R"}];
 
 (* Matter *)
 
-DefTensors[{rho[], PrintAs -> "\[Rho]"}, {Sm[-i], PrintAs -> "S"}, {Ss[
-  -i, -j], Symmetric[{-i, -j}], PrintAs -> "S"}, {trSs[], PrintAs -> "S"}
-  ];
+MatterVarlist = TempTensors[{rho[], PrintAs -> "\[Rho]"}, {Sm[-i], PrintAs
+   -> "S"}, {Ss[-i, -j], Symmetric[{-i, -j}], PrintAs -> "S"}, {trSs[], PrintAs
+   -> "S"}];
 
 (* Constraints *)
 
-DefTensors[{dexAtUU[-k, i, j], Symmetric[{i, j}], PrintAs -> "\[PartialD]\!\(\*OverscriptBox[\(A\), \(~\)]\)"
-  }];
+dAtUUVarlist = TempTensors[{dexAtUU[-k, i, j], Symmetric[{i, j}], PrintAs
+   -> "\[PartialD]\!\(\*OverscriptBox[\(A\), \(~\)]\)"}];
 
-DefTensors[{ZtC[i], PrintAs -> "\!\(\*OverscriptBox[\(Z\), \(~\)]\)"}, 
-  {HC[], PrintAs -> "H"}, {MtC[i], PrintAs -> "\!\(\*OverscriptBox[\(M\), \(~\)]\)"
+ConstraintVarlist = GridTensors[{ZtC[i], PrintAs -> "\!\(\*OverscriptBox[\(Z\), \(~\)]\)"
+  }, {HC[], PrintAs -> "H"}, {MtC[i], PrintAs -> "\!\(\*OverscriptBox[\(M\), \(~\)]\)"
   }];
 
 (************)