Analysis Manifolds and Physics Part I Basics by Choquet Bruhat Dewitt Morett and Dillard Bleick.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[     47097,       1107]
NotebookOptionsPosition[     41319,        996]
NotebookOutlinePosition[     41808,       1014]
CellTagsIndexPosition[     41765,       1011]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["\<\
Notebook for :  
Analysis Manifolds and Physics Part I Basics by Choquet Bruhat Dewitt Morett \
and Dillard Bleick\
\>", "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.8235974638251762`*^9, 3.823597473367338*^9}, {3.823618458364909*^9, 
   3.8236184669077578`*^9}, {3.8236833044709806`*^9, 3.823683312509585*^9}, {
   3.8236885755476217`*^9, 3.823688587026948*^9}, {3.823689672516461*^9, 
   3.823689672910822*^9}, {3.8237044493810883`*^9, 3.8237044672759027`*^9}, {
   3.8239668765180197`*^9, 3.8239668768923607`*^9}, {3.823969962518847*^9, 
   3.823969963027501*^9}, {3.824031452536063*^9, 3.8240314588397417`*^9}, {
   3.824050286183601*^9, 3.8240502981028023`*^9}, {3.824054052123823*^9, 
   3.8240540590982018`*^9}, 3.8548865884529123`*^9, 3.854887284417296*^9, {
   3.880790553582839*^9, 3.880790565159143*^9}, {3.881263498847238*^9, 
   3.881263535202779*^9}, {3.881325960294376*^9, 3.8813259743195*^9}, {
   3.887471560715744*^9, 3.887471585139583*^9}, {3.887473968219228*^9, 
   3.8874739846917562`*^9}, {3.887474199923258*^9, 3.8874742104192953`*^9}, {
   3.8874744315633793`*^9, 3.887474439691688*^9}, {3.88747469325126*^9, 
   3.8874746985396967`*^9}, {3.887475204707365*^9, 3.887475211187789*^9}, {
   3.8874755248588133`*^9, 3.8874755434434357`*^9}, {3.887475764851549*^9, 
   3.8874757769797*^9}, 3.887475815598514*^9, {3.887475944203329*^9, 
   3.887475962619523*^9}, {3.887476211675593*^9, 3.887476227483447*^9}, {
   3.887476513963628*^9, 3.887476527011352*^9}, {3.88747678791476*^9, 
   3.8874768218595324`*^9}, {3.887477599235879*^9, 3.887477620283585*^9}, {
   3.887478066819854*^9, 3.887478094970846*^9}},
 TextAlignment->Center,ExpressionUUID->"bd16e14c-b6ad-4299-aa0e-527cc7779c3d"],

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 10, 2023\
\>", "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.85109882342251*^9, 
   3.851098834342609*^9}, {3.854710867172308*^9, 3.854710872740449*^9}, {
   3.854886620927248*^9, 3.8548866260529346`*^9}, 3.854887284417446*^9, {
   3.8807912491398077`*^9, 3.8807912539663258`*^9}, {3.881263494482901*^9, 
   3.881263495262501*^9}, 3.88126353520324*^9, {3.881361382823101*^9, 
   3.881361391298121*^9}, {3.887471611651452*^9, 3.887471617371408*^9}},
 TextAlignment->Center,ExpressionUUID->"9ca6eb84-0073-49e9-8898-4c5245152eba"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Hyperlink To Documentation", "Section",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{{3.820944675605734*^9, 
  3.8209446931410646`*^9}},ExpressionUUID->"8b6dae36-d14b-4608-8537-\
3b634257b520"],

Cell[CellGroupData[{

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[2]:=",ExpressionUUID->"10defe64-d70c-452b-af7e-8865e5ebae56"],

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.823597528606563*^9, 
   3.823618495251218*^9, 3.82368341365138*^9, 3.82368384184562*^9, 
   3.823684775269041*^9, 3.823688794270237*^9, 3.82369077711421*^9, 
   3.823704572306265*^9, 3.8239670360944*^9, 3.8239675178827963`*^9, 
   3.823970038559888*^9, 3.824025681964837*^9, 3.824032150329472*^9, 
   3.824050435315671*^9, 3.824050999906499*^9, 3.824051492117627*^9, 
   3.824054172450189*^9, 3.824054375215625*^9, 3.829036933263262*^9, 
   3.854886633549336*^9, 3.856038002393866*^9, 3.878762841776114*^9, 
   3.8807913113416967`*^9, 3.881243155242258*^9, 3.881263615285355*^9, 
   3.881309110092877*^9, 3.8813498668088903`*^9, 3.881359908833963*^9, 
   3.881362095973157*^9, 3.881366126069497*^9, 3.881406329762405*^9, 
   3.881414702950371*^9, 3.887471724301762*^9},
 CellLabel->"Out[2]=",ExpressionUUID->"51a6589b-952a-405f-8836-393110557829"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Hyperlink  To Book ", "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.851424179321525*^9, {
   3.8807905907640533`*^9, 3.880790594139125*^9}, 3.880791303613227*^9, {
   3.881414705273272*^9, 3.881414706135107*^9}, {3.887474584915666*^9, 
   3.887474588283614*^9}, 
   3.887475279467502*^9},ExpressionUUID->"34d85b6b-b7ae-4606-a63b-\
b9ad9ee07528"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Hyperlink", "[", 
  RowBox[{
  "\"\<Analysis Manifolds and Physics Part I Basics by Choquet Bruhat Dewitt \
Morett and Dillard Bleick\>\"", ",", "\[IndentingNewLine]", 
   "\"\<https://archive.org/details/analysismanifold0000choq\>\""}], 
  "]"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{{3.887478253421575*^9, 3.887478265307885*^9}},
 CellLabel->"In[1]:=",ExpressionUUID->"eb9f0dcc-3349-4b82-a0a7-9cd423dbbaa5"],

Cell[BoxData[
 TemplateBox[{
  "\"Analysis Manifolds and Physics Part I Basics by Choquet Bruhat Dewitt \
Morett and Dillard Bleick\"", 
   "https://archive.org/details/analysismanifold0000choq"},
  "HyperlinkURL"]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.},
 CellChangeTimes->{3.887478267281361*^9},
 CellLabel->"Out[1]=",ExpressionUUID->"4b2510c2-b4c4-4d33-872c-fad9dc5fac6b"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Utilities and Package Load", "Section",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.},
 CellChangeTimes->{{3.820937646765551*^9, 3.8209376725449123`*^9}, 
   3.824857419830186*^9},ExpressionUUID->"70eb944a-2e58-4c91-b529-\
cddb28bab05c"],

Cell[CellGroupData[{

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", 10002.},
 CellChangeTimes->{
  3.8209376549030037`*^9, {3.821032517164062*^9, 3.821032518258361*^9}, 
   3.824857419830427*^9},
 CellLabel->"In[6]:=",ExpressionUUID->"31adccd3-ba40-4b25-b387-9b0c6e9e6854"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"  (CleanSlate) Contexts purged: \"\>", "\[InvisibleSpace]", 
   RowBox[{"{", "\<\"Global`\"\>", "}"}]}],
  SequenceForm["  (CleanSlate) Contexts purged: ", {"Global`"}],
  Editable->False]], "Print",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.},
 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.8235320061137466`*^9, 3.823597528753026*^9, 3.823618495521882*^9, 
   3.823683414021819*^9, 3.823683842015107*^9, 3.823684775412067*^9, 
   3.823688794547976*^9, 3.823690777270031*^9, 3.8237045725706463`*^9, 
   3.823967036254635*^9, 3.823967518049459*^9, 3.823970038788274*^9, 
   3.824025682258999*^9, 3.8240321504830923`*^9, 3.8240504354973917`*^9, 
   3.824051000133101*^9, 3.824051492357512*^9, 3.824054172748905*^9, 
   3.824054375453238*^9, 3.824857419830586*^9, 3.8290369335263977`*^9, 
   3.8548866337787933`*^9, {3.856038002790395*^9, 3.849985858715399*^9}, 
   3.878762842137723*^9, 3.880791311601791*^9, 3.881243155778077*^9, 
   3.881263615525654*^9, 3.881309110297492*^9, 3.8813498676047163`*^9, 
   3.881359909704611*^9, 3.8813620968172617`*^9, 3.881366126583074*^9, 
   3.881406330352089*^9, 3.881414703722096*^9, 3.887471724494007*^9},
 CellLabel->
  "During evaluation of \
In[6]:=",ExpressionUUID->"ff324f3e-fab4-4f36-9b01-f77bd8c27b0c"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"  (CleanSlate) Approximate kernel memory recovered: \"\>", 
   "\[InvisibleSpace]", "\<\"11 Kb\"\>"}],
  SequenceForm[
  "  (CleanSlate) Approximate kernel memory recovered: ", "11 Kb"],
  Editable->False]], "Print",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.},
 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.8235320061137466`*^9, 3.823597528753026*^9, 3.823618495521882*^9, 
   3.823683414021819*^9, 3.823683842015107*^9, 3.823684775412067*^9, 
   3.823688794547976*^9, 3.823690777270031*^9, 3.8237045725706463`*^9, 
   3.823967036254635*^9, 3.823967518049459*^9, 3.823970038788274*^9, 
   3.824025682258999*^9, 3.8240321504830923`*^9, 3.8240504354973917`*^9, 
   3.824051000133101*^9, 3.824051492357512*^9, 3.824054172748905*^9, 
   3.824054375453238*^9, 3.824857419830586*^9, 3.8290369335263977`*^9, 
   3.8548866337787933`*^9, {3.856038002790395*^9, 3.849985858715399*^9}, 
   3.878762842137723*^9, 3.880791311601791*^9, 3.881243155778077*^9, 
   3.881263615525654*^9, 3.881309110297492*^9, 3.8813498676047163`*^9, 
   3.881359909704611*^9, 3.8813620968172617`*^9, 3.881366126583074*^9, 
   3.881406330352089*^9, 3.881414703722096*^9, 3.887471724495419*^9},
 CellLabel->
  "During evaluation of \
In[6]:=",ExpressionUUID->"9b9419c0-d20e-4fbd-a90e-99d5cb549398"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"\<\"Utilities`CleanSlate`\"\>", 
   ",", "\<\"DocumentationSearch`\"\>", ",", "\<\"ResourceLocator`\"\>", 
   ",", "\<\"NaturalLanguageProcessingLoader`\"\>", ",", "\<\"System`\"\>", 
   ",", "\<\"Global`\"\>"}], "}"}]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.},
 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.8235320061191893`*^9, 3.823597528756508*^9, 3.8236184955254183`*^9, 
   3.823683414029439*^9, 3.823683842020509*^9, 3.823684775416593*^9, 
   3.823688794552709*^9, 3.823690777273932*^9, 3.8237045725743713`*^9, 
   3.823967036258197*^9, 3.823967518053287*^9, 3.8239700387921047`*^9, 
   3.824025682265245*^9, 3.824032150486408*^9, 3.8240504355005302`*^9, 
   3.824051000137991*^9, 3.824051492360982*^9, 3.82405417275224*^9, 
   3.82405437545785*^9, 3.824857419830937*^9, 3.829036933531473*^9, 
   3.85488663378721*^9, {3.856038002800645*^9, 3.8499858587268457`*^9}, 
   3.878762842141047*^9, 3.8807913116051197`*^9, 3.8812431557821207`*^9, 
   3.88126361552842*^9, 3.8813091103012457`*^9, 3.881349867609796*^9, 
   3.881359909711216*^9, 3.881362096822846*^9, 3.881366126588071*^9, 
   3.881406330355283*^9, 3.881414703730585*^9, 3.8874717244971037`*^9},
 CellLabel->"Out[0]=",ExpressionUUID->"7f934a2e-8f53-4bbe-ac2c-aaf3cab9bbd9"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"<<", "GeneralRelativityTensors`"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.},
 CellChangeTimes->{3.8209376549035053`*^9, 3.824857419831059*^9},
 CellLabel->"In[2]:=",ExpressionUUID->"c5dbe3cf-1433-4b5e-8f05-2f3086a58bfa"],

Cell[BoxData[
 RowBox[{"<<", "MaTeX`"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.},
 CellChangeTimes->{{3.887471901692184*^9, 3.887471905099452*^9}},
 CellLabel->"In[27]:=",ExpressionUUID->"d6428203-3a48-48ee-b4fa-6caf747479b7"],

Cell[BoxData[
 RowBox[{"Needs", "[", "\"\<VariationalMethods`\>\"", "]"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.},
 CellChangeTimes->{{3.82282432548825*^9, 3.822824327819418*^9}, 
   3.824857419831203*^9},
 CellLabel->"In[3]:=",ExpressionUUID->"d7a803bd-fb40-4bfe-95ff-ee728fc240d7"]
}, Closed]],

Cell[CellGroupData[{

Cell["\<\
FeynCalc Link (Don\[CloseCurlyQuote]t Load This Just Yet.... Typesetting is \
Different... )\
\>", "Section",
 CellChangeTimes->{{3.8874720611621532`*^9, 
  3.8874720922514477`*^9}},ExpressionUUID->"e3b1b1bc-11ce-49d4-8802-\
a528f078c9ea"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Hyperlink", "[", 
  RowBox[{"\"\<FeynCalc\>\"", ",", "\"\<https://feyncalc.github.io/\>\""}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.887472046317009*^9, 3.887472059251992*^9}},
 CellLabel->"In[40]:=",ExpressionUUID->"d3f670da-3672-4240-ad1b-6fc1f3ae3128"],

Cell[BoxData[
 TemplateBox[{"\"FeynCalc\"", "https://feyncalc.github.io/"},
  "HyperlinkURL"]], "Output",
 CellChangeTimes->{3.88747205959899*^9},
 CellLabel->"Out[40]=",ExpressionUUID->"571c6790-d939-4171-897a-a1ccb6ed97d8"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Custom Notation", "Section",
 CellChangeTimes->{{3.8225114042235403`*^9, 3.822511435665856*^9}, 
   3.823176577809782*^9, 
   3.82485745570357*^9},ExpressionUUID->"8caf84fc-4bdd-4525-b8a2-\
903ca5670c86"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CreatePalette", "[", 
  RowBox[{"{", " ", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"PasteButton", "[", 
     RowBox[{"SubPlus", "[", "r", "]"}], "]"}], " ", ",", " ", 
    "\[IndentingNewLine]", 
    RowBox[{"PasteButton", "[", 
     RowBox[{"SubMinus", "[", "r", "]"}], "]"}], "  ", ",", " ", 
    "\[IndentingNewLine]", 
    RowBox[{"PasteButton", "[", 
     RowBox[{"SubPlus", "[", "u", "]"}], "]"}], " ", ",", " ", 
    "\[IndentingNewLine]", 
    RowBox[{"PasteButton", "[", 
     RowBox[{"SubPlus", "[", "\[Phi]", "]"}], "]"}], ",", 
    "\[IndentingNewLine]", 
    RowBox[{"PasteButton", "[", 
     RowBox[{"SubMinus", "[", "u", "]"}], "]"}], "  ", ",", " ", 
    "\[IndentingNewLine]", 
    RowBox[{"PasteButton", "[", 
     RowBox[{"SubMinus", "[", "\[Phi]", "]"}], "]"}]}], "    ", 
   "\[IndentingNewLine]", "}"}], "]"}]], "Input",
 CellChangeTimes->{{3.881272391608398*^9, 3.881272409099606*^9}, {
  3.8813623910996017`*^9, 3.881362407255329*^9}, {3.881362689981245*^9, 
  3.881362700871525*^9}, {3.881362783869034*^9, 3.881362785009028*^9}},
 CellLabel->"In[4]:=",ExpressionUUID->"b094ddbf-1d00-45ce-9f1f-c69c02edcf10"],

Cell[BoxData[
 TemplateBox[{
   FrontEndObject[
    LinkObject["yshuh_shm", 3, 1]], 28, 
   "FrontEndObject[LinkObject[\"yshuh_shm\", 3, 1]]", "28", "\"Untitled-3\""},
  
  "NotebookObjectUnsaved"]], "Output",
 CellChangeTimes->{3.881272410038793*^9, 3.8813091106804028`*^9, 
  3.881326889649589*^9, 3.881349867827436*^9, 3.881359910003889*^9, 
  3.881362097114477*^9, 3.88136240792979*^9, 3.881362701884564*^9, 
  3.8813627857414618`*^9, 3.881366127001103*^9, 3.881406330759088*^9, 
  3.881414704320189*^9, 3.8874717248737993`*^9},
 CellLabel->"Out[4]=",ExpressionUUID->"3b5a999a-d3d7-4f77-bacb-892bd9854462"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"Clear", "[", "dtReplace", "]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"dtReplace", " ", "=", " ", 
   RowBox[{"{", "\[IndentingNewLine]", " ", 
    RowBox[{
     RowBox[{
      RowBox[{"Dt", "[", "\[Zeta]", "]"}], "->", " ", "d\[Zeta]"}], " ", ",", 
     " ", "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Zeta]bar", "]"}], "->", " ", "d\[Zeta]bar"}], " ",
      ",", " ", "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Tau]", "]"}], " ", "->", " ", "d\[Tau]"}], " ", 
     ",", " ", "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Sigma]", "]"}], " ", "->", " ", "d\[Sigma]"}], 
     " ", ",", " ", "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Delta]", "]"}], " ", "->", " ", "d\[Delta]"}], 
     " ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "p", "]"}], "->", " ", "dp"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "q", "]"}], "->", " ", "dq"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     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", "[", "x", "]"}], "\[Rule]", " ", "dx"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "y", "]"}], " ", "\[Rule]", " ", "dy"}], " ", ",", 
     " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "z", "]"}], "\[Rule]", " ", "dz"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Omega]", "]"}], "->", " ", "d\[Omega]"}], " ", 
     ",", " ", "\[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", "[", "\[CurlyRho]", "]"}], "\[Rule]", " ", 
      "d\[CurlyRho]"}], " ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[CurlyPhi]", "]"}], " ", "\[Rule]", " ", 
      "d\[CurlyPhi]"}], " ", ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[Xi]", "]"}], "\[Rule]", " ", "d\[Xi]"}], " ", ",",
      "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptL]", "]"}], "->", " ", "d\[ScriptL]"}], " ",
      ",", "   ", "\[IndentingNewLine]", " ", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptT]", "]"}], " ", "\[Rule]", " ", 
      "d\[ScriptT]"}], " ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptV]", "]"}], "\[Rule]", " ", "d\[ScriptV]"}],
      " ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptU]", "]"}], "\[Rule]", " ", "d\[ScriptU]"}],
      " ", ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptX]", "]"}], "\[Rule]", " ", "d\[ScriptX]"}],
      " ", ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptY]", "]"}], "\[Rule]", " ", "d\[ScriptY]"}],
      ",", "   ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptZ]", "]"}], " ", "\[Rule]", " ", 
      "d\[ScriptZ]"}], ",", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "R", "]"}], "->", " ", "dR"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "T", "]"}], "\[Rule]", " ", "dT"}], ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "X", "]"}], "\[Rule]", " ", "dX"}], ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "Y", "]"}], "\[Rule]", " ", "dY"}], ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "Z", "]"}], "\[Rule]", " ", "dZ"}], ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "U", "]"}], "\[Rule]", " ", "dU"}], " ", ",", " ", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "V", "]"}], "\[Rule]", " ", "dV"}], " ", ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[ScriptR]", "]"}], "\[Rule]", " ", "d\[ScriptR]"}],
      "  ", ",", " ", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"Dt", "[", "\[CapitalPhi]", "]"}], "\[Rule]", " ", 
      "d\[CapitalPhi]"}]}], "\[IndentingNewLine]", "}"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"dtReplace", " ", "//", " ", "TableForm"}]}], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10004.},
 CellChangeTimes->{{3.82317656063256*^9, 3.823176577809904*^9}, {
  3.823598236175474*^9, 3.823598253654046*^9}, {3.823598849383689*^9, 
  3.82359891091936*^9}, {3.8236913141384983`*^9, 3.823691322585009*^9}, {
  3.8237047861092253`*^9, 3.823704790612156*^9}, {3.824032529537923*^9, 
  3.8240325755969877`*^9}, {3.824857446446*^9, 3.824857455703721*^9}, {
  3.854888420172917*^9, 3.854888443852817*^9}, {3.8807920827630453`*^9, 
  3.88079208740937*^9}, {3.881264243677285*^9, 3.881264254792555*^9}, {
  3.881265036129882*^9, 3.881265039414566*^9}, {3.881265651458069*^9, 
  3.8812656621536417`*^9}, {3.881271234639358*^9, 3.881271238808627*^9}, {
  3.88133096003778*^9, 3.881330964493247*^9}},
 CellLabel->"In[5]:=",ExpressionUUID->"fcbfaa83-f841-4ef6-b2ba-b03c9c6f55e7"],

Cell[BoxData[
 TagBox[
  TagBox[GridBox[{
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Zeta]", "]"}], "\[Rule]", "d\[Zeta]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Zeta]bar", "]"}], "\[Rule]", "d\[Zeta]bar"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Tau]", "]"}], "\[Rule]", "d\[Tau]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Sigma]", "]"}], "\[Rule]", "d\[Sigma]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Delta]", "]"}], "\[Rule]", "d\[Delta]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "p", "]"}], "\[Rule]", "dp"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "q", "]"}], "\[Rule]", "dq"}]},
     {
      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", "[", "x", "]"}], "\[Rule]", "dx"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "y", "]"}], "\[Rule]", "dy"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "z", "]"}], "\[Rule]", "dz"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Omega]", "]"}], "\[Rule]", "d\[Omega]"}]},
     {
      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", "[", "\[CurlyRho]", "]"}], "\[Rule]", "d\[CurlyRho]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[CurlyPhi]", "]"}], "\[Rule]", "d\[CurlyPhi]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[Xi]", "]"}], "\[Rule]", "d\[Xi]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptL]", "]"}], "\[Rule]", "d\[ScriptL]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptT]", "]"}], "\[Rule]", "d\[ScriptT]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptV]", "]"}], "\[Rule]", "d\[ScriptV]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptU]", "]"}], "\[Rule]", "d\[ScriptU]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptX]", "]"}], "\[Rule]", "d\[ScriptX]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptY]", "]"}], "\[Rule]", "d\[ScriptY]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "\[ScriptZ]", "]"}], "\[Rule]", "d\[ScriptZ]"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "R", "]"}], "\[Rule]", "dR"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "T", "]"}], "\[Rule]", "dT"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "X", "]"}], "\[Rule]", "dX"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "Y", "]"}], "\[Rule]", "dY"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "Z", "]"}], "\[Rule]", "dZ"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "U", "]"}], "\[Rule]", "dU"}]},
     {
      RowBox[{
       RowBox[{"Dt", "[", "V", "]"}], "\[Rule]", "dV"}]},
     {
      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", 10004.},
 CellChangeTimes->{
  3.82403258232056*^9, 3.8240504355846977`*^9, 3.824051000170314*^9, 
   3.8240514924468307`*^9, 3.8240541728467197`*^9, 3.824054375493238*^9, {
   3.8248574464462023`*^9, 3.8248574557038517`*^9}, 3.829036933622375*^9, 
   3.8548866338736963`*^9, 3.854888444445203*^9, {3.8560380028641033`*^9, 
   3.8499858589151907`*^9}, 3.878762842204463*^9, 3.8807913116846113`*^9, 
   3.880792087871217*^9, 3.8812431558879128`*^9, 3.8812636156079493`*^9, 
   3.8812642555780897`*^9, 3.881265039767294*^9, 3.881265662611115*^9, 
   3.8812712393057003`*^9, 3.881309110781664*^9, 3.8813268896969233`*^9, {
   3.881330960813849*^9, 3.8813309653719482`*^9}, 3.881349867953432*^9, 
   3.881359910097517*^9, 3.881362097200897*^9, 3.881366127033338*^9, 
   3.881406330794281*^9, 3.881414704558387*^9, 3.887471724956818*^9},
 CellLabel->
  "Out[7]//TableForm=",ExpressionUUID->"15208559-defe-4703-9399-8ea40c6449a6"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"a", "/:", 
    RowBox[{"Dt", "[", "a", "]"}], "=", "0"}], "  ", ";"}], 
  "  "}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"b", " ", "/:", " ", 
    RowBox[{"Dt", "[", "b", "]"}], " ", "=", " ", "0"}], " ", ";"}], 
  "  "}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"m", " ", "/:", " ", 
    RowBox[{"Dt", "[", "m", "]"}], " ", "=", " ", "0"}], " ", ";"}], 
  "  "}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"M", " ", "/:", " ", 
    RowBox[{"Dt", "[", "M", "]"}], " ", "=", " ", "0"}], " ", ";"}], 
  "  "}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"\[Mu]", "/:", 
    RowBox[{"Dt", "[", "\[Mu]", "]"}], "=", "0"}], "  ", ";"}], " ", 
  RowBox[{"(*", " ", 
   RowBox[{"\[Mu]", " ", "is", " ", "constant", " ", "page", " ", "134"}], 
   "  ", "*)"}], " "}], "\n", 
 RowBox[{
  RowBox[{
   RowBox[{"\[Gamma]", "/:", 
    RowBox[{"Dt", "[", "\[Gamma]", "]"}], "=", "0"}], "  ", ";"}], "  ", 
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "Gamma", " ", "factor", " ", "for", " ", "Lorentz", " ", 
     "transformations", " ", "is", " ", "considered", " ", "constant"}], " ", 
    "-", " ", 
    RowBox[{"page", " ", "136"}]}], " ", "*)"}], " "}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"\[Beta]", "/:", 
    RowBox[{"Dt", "[", "\[Beta]", "]"}], "=", "0"}], "  ", ";"}], " ", 
  RowBox[{"(*", " ", 
   RowBox[{
   "velocity", " ", "is", " ", "fixed", " ", "for", " ", "differentials"}], 
   " ", "*)"}], " "}], "\n", 
 RowBox[{
  RowBox[{
   RowBox[{"\[Alpha]", "/:", 
    RowBox[{"Dt", "[", "\[Alpha]", "]"}], "=", "0"}], "  ", ";"}], "  ", 
  RowBox[{"(*", " ", 
   RowBox[{
   "fixed", " ", "velocity", "  ", "page", " ", "189", " ", "at", " ", 
    "bottom"}], "*)"}], " "}]}], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10004.},
 CellChangeTimes->{{3.823598195430221*^9, 3.823598210501268*^9}, {
   3.823602495092556*^9, 3.823602530987715*^9}, {3.8236188964036007`*^9, 
   3.8236189207008657`*^9}, {3.8237047330364532`*^9, 3.823704739867001*^9}, {
   3.824857446446303*^9, 3.82485745570395*^9}, {3.8812700729654217`*^9, 
   3.8812700831501293`*^9}, {3.8813286693674593`*^9, 3.881328679221567*^9}, {
   3.881330561907139*^9, 3.881330591057049*^9}, 3.8813311093313093`*^9},
 CellLabel->"In[8]:=",ExpressionUUID->"1f3bfcb7-3e50-4440-abda-6e2b6b63e530"]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"For", " ", "page", " ", "134"}], " ", "*)"}], " ", 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"Note", ":", "  ", 
    RowBox[{"we", " ", 
     RowBox[{"use", " ", "[", "esc", "]"}], 
     RowBox[{"Theta", "[", "esc", "]"}], " ", "for", " ", "\[CapitalTheta]", 
     " ", "not", " ", "\[Theta]"}]}], " ", "*)"}], " ", "\[IndentingNewLine]",
   "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"Clear", "[", "\[CapitalTheta]", "]"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"\[CapitalTheta]", "[", "x_", "]"}], ":=", " ", 
    RowBox[{"HeavisideTheta", "[", "x", "]"}]}], "\[IndentingNewLine]", 
   RowBox[{"Clear", "[", "\[Delta]", "]"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"\[Delta]", "[", "x_", "]"}], ":=", " ", 
    RowBox[{"DiracDelta", "[", "x", "]"}]}]}]}]], "Input",
 CellChangeTimes->{{3.8813285626397257`*^9, 3.8813286224751997`*^9}},
 CellLabel->"In[16]:=",ExpressionUUID->"9d3f92dd-eb9c-4f74-9e57-8b6f9bbf2f96"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"D", "[", " ", 
   RowBox[{
    RowBox[{"\[CapitalTheta]", "[", "x", "]"}], " ", ",", " ", "x"}], " ", 
   "]"}], " ", "\[Equal]", " ", 
  RowBox[{"\[Delta]", "[", "x", "]"}], " ", 
  RowBox[{"(*", " ", 
   RowBox[{"Just", " ", "a", " ", "check"}], " ", "*)"}], " "}]], "Input",
 CellChangeTimes->{{3.881328573124154*^9, 3.881328574744606*^9}},
 CellLabel->"In[20]:=",ExpressionUUID->"f3e567c8-46cb-43d9-b232-64a30f1e72a0"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.881328581095149*^9, 3.8813498680052433`*^9, 
  3.881359910132914*^9, 3.881362097244256*^9, 3.881366127062272*^9, 
  3.8814063308652897`*^9, 3.88141470460627*^9, 3.887471724988617*^9},
 CellLabel->"Out[20]=",ExpressionUUID->"6f3be0e9-e380-4eed-a22c-ffe2411adbcb"]
}, Open  ]]
}, 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->"3dbce4bb-8250-4ccb-a7a8-\
d3ee04046068"],

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[21]:=",ExpressionUUID->"b38d3aa2-b9ab-4ec9-ace1-f3ce95982aa1"],

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[23]:=",ExpressionUUID->"407015ef-4b27-4daa-933e-3b2863b7ddff"]
}, Closed]],

Cell[CellGroupData[{

Cell["Symmetry ", "Section",
 CellChangeTimes->{{3.887473373186471*^9, 3.887473408020144*^9}, {
  3.887475337315488*^9, 3.8874753388434134`*^9}, {3.88747658160345*^9, 
  3.887476586916914*^9}, {3.887476814533319*^9, 
  3.8874768168439827`*^9}},ExpressionUUID->"96c22666-14d8-4227-9183-\
cbf700089364"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"See", " ", "Page", " ", "116"}], " ", "*)"}], " ", 
  "\[IndentingNewLine]", 
  "\"\<Ha!  Finally - something for those atlas people to do... and the Magma \
people\>\""}]], "Input",
 CellChangeTimes->{{3.887473218813752*^9, 3.887473257211885*^9}, {
  3.88747407221264*^9, 3.887474081820019*^9}, {3.887474264323485*^9, 
  3.887474283188258*^9}, {3.887474473595916*^9, 3.887474477100039*^9}, {
  3.887474731403749*^9, 3.8874747563719*^9}, {3.8874753414600286`*^9, 
  3.887475343539756*^9}, {3.8874756692680693`*^9, 3.8874756756672373`*^9}, {
  3.8874758047326603`*^9, 3.887475810884108*^9}, {3.88747597988414*^9, 
  3.887475982147233*^9}, {3.887476249732473*^9, 3.887476257339962*^9}, {
  3.887476311275961*^9, 3.8874763130836554`*^9}, {3.8874765760999002`*^9, 
  3.887476579323388*^9}, {3.887477015571598*^9, 3.887477024755851*^9}, {
  3.887477659764216*^9, 3.88747766949168*^9}, {3.887478122771674*^9, 
  3.887478126627884*^9}},ExpressionUUID->"4a0270a6-15c7-4c43-99a6-\
59f4d367014b"],

Cell[BoxData["\<\"Ha!  Finally - something for those atlas people to do... \
and the Magma people\"\>"], "Output",
 CellChangeTimes->{3.8874732590591784`*^9, 3.887474083341501*^9, 
  3.8874742799886703`*^9},
 CellLabel->
  "Out[112]=",ExpressionUUID->"f184a8e5-d4e2-444f-825c-fabfc7e731d5"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Hyperlink", "[", 
  RowBox[{"\"\<ATLAS\>\"", ",", "\"\<http://www.liegroups.org/\>\""}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.887473286973126*^9, 3.887473296709819*^9}, 
   3.887473413956277*^9},ExpressionUUID->"3c3a6e6b-0477-4cd5-950f-\
162cc46102bb"],

Cell[BoxData[
 TemplateBox[{"\"ATLAS\"", "http://www.liegroups.org/"},
  "HyperlinkURL"]], "Output",
 CellChangeTimes->{3.8874732984648933`*^9},
 CellLabel->
  "Out[105]=",ExpressionUUID->"46321989-22d0-4522-a017-e1990be2373c"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"WORD", " ", "OF", " ", "CAUTION"}], "..."}], ".", " ", 
     "RUNNING"}], " ", "MAGMA", " ", "IN", " ", "PARALLEL", " ", "MIGHT", " ",
     "OVERLOAD", " ", "YOUR", " ", "RAM", " ", "ESPECIALLY", " ", "IF", " ", 
    "YOUR", " ", "CPU", " ", "IS", " ", "BUSY"}], " ", "*)"}], " ", 
  "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"Hyperlink", "[", 
   RowBox[{
   "\"\<MAGMA\>\"", ",", "\[IndentingNewLine]", 
    "\"\<http://magma.maths.usyd.edu.au/magma/\>\""}], "]"}]}]], "Input",
 CellChangeTimes->{{3.8874733206205397`*^9, 
  3.8874733646358347`*^9}},ExpressionUUID->"3ac2edd9-aded-42ea-a523-\
78963f5e287e"],

Cell[BoxData[
 TemplateBox[{"\"MAGMA\"", "http://magma.maths.usyd.edu.au/magma/"},
  "HyperlinkURL"]], "Output",
 CellChangeTimes->{3.88747333066217*^9},
 CellLabel->
  "Out[106]=",ExpressionUUID->"bcfd87e3-1b2d-477b-92f4-0c9b365ee31a"]
}, Open  ]]
}, Closed]]
},
CellGrouping->Manual,
WindowSize->{1669, 1032},
WindowMargins->{{3, Automatic}, {0, Automatic}},
FrontEndVersion->"13.0 for Mac OS X x86 (64-bit) (February 4, 2022)",
StyleDefinitions->FrontEnd`FileName[{"Report"}, "StandardReport.nb", 
  CharacterEncoding -> "UTF-8"],
ExpressionUUID->"c851860e-6050-41a6-b3fd-c4ecf5444e77"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 2251, 33, 221, "Title",ExpressionUUID->"bd16e14c-b6ad-4299-aa0e-527cc7779c3d",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[2834, 57, 1259, 21, 94, "Author",ExpressionUUID->"9ca6eb84-0073-49e9-8898-4c5245152eba",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}]
}, Open  ]],
Cell[CellGroupData[{
Cell[4130, 83, 228, 4, 69, "Section",ExpressionUUID->"8b6dae36-d14b-4608-8537-3b634257b520",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[CellGroupData[{
Cell[4383, 91, 433, 9, 63, "Input",ExpressionUUID->"10defe64-d70c-452b-af7e-8865e5ebae56",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}],
Cell[4819, 102, 1623, 25, 70, "Output",ExpressionUUID->"51a6589b-952a-405f-8836-393110557829",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.}]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[6491, 133, 738, 12, 55, "Section",ExpressionUUID->"34d85b6b-b7ae-4606-a63b-b9ad9ee07528",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[CellGroupData[{
Cell[7254, 149, 480, 9, 63, "Input",ExpressionUUID->"eb9f0dcc-3349-4b82-a0a7-9cd423dbbaa5",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}],
Cell[7737, 160, 401, 8, 43, "Output",ExpressionUUID->"4b2510c2-b4c4-4d33-872c-fad9dc5fac6b",
 CellGroupingRules->{"GroupTogetherGrouping", 10001.}]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[8187, 174, 251, 4, 55, "Section",ExpressionUUID->"70eb944a-2e58-4c91-b529-cddb28bab05c",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}],
Cell[CellGroupData[{
Cell[8463, 182, 1666, 45, 147, "Input",ExpressionUUID->"31adccd3-ba40-4b25-b387-9b0c6e9e6854",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}],
Cell[10132, 229, 1927, 31, 24, "Print",ExpressionUUID->"ff324f3e-fab4-4f36-9b01-f77bd8c27b0c",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}],
Cell[12062, 262, 1944, 32, 24, "Print",ExpressionUUID->"9b9419c0-d20e-4fbd-a90e-99d5cb549398",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}],
Cell[14009, 296, 1926, 29, 41, "Output",ExpressionUUID->"7f934a2e-8f53-4bbe-ac2c-aaf3cab9bbd9",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}]
}, Open  ]],
Cell[15950, 328, 268, 4, 41, "Input",ExpressionUUID->"c5dbe3cf-1433-4b5e-8f05-2f3086a58bfa",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}],
Cell[16221, 334, 250, 4, 41, "Input",ExpressionUUID->"d6428203-3a48-48ee-b4fa-6caf747479b7",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}],
Cell[16474, 340, 308, 5, 41, "Input",ExpressionUUID->"d7a803bd-fb40-4bfe-95ff-ee728fc240d7",
 CellGroupingRules->{"GroupTogetherGrouping", 10002.}]
}, Closed]],
Cell[CellGroupData[{
Cell[16819, 350, 249, 6, 55, "Section",ExpressionUUID->"e3b1b1bc-11ce-49d4-8802-a528f078c9ea"],
Cell[CellGroupData[{
Cell[17093, 360, 282, 5, 41, "Input",ExpressionUUID->"d3f670da-3672-4240-ad1b-6fc1f3ae3128"],
Cell[17378, 367, 225, 4, 43, "Output",ExpressionUUID->"571c6790-d939-4171-897a-a1ccb6ed97d8"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[17652, 377, 210, 4, 55, "Section",ExpressionUUID->"8caf84fc-4bdd-4525-b8a2-903ca5670c86"],
Cell[CellGroupData[{
Cell[17887, 385, 1163, 25, 189, "Input",ExpressionUUID->"b094ddbf-1d00-45ce-9f1f-c69c02edcf10"],
Cell[19053, 412, 610, 12, 70, "Output",ExpressionUUID->"3b5a999a-d3d7-4f77-bacb-892bd9854462"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19700, 429, 6098, 136, 924, "Input",ExpressionUUID->"fcbfaa83-f841-4ef6-b2ba-b03c9c6f55e7",
 CellGroupingRules->{"GroupTogetherGrouping", 10004.}],
Cell[25801, 567, 4882, 147, 70, "Output",ExpressionUUID->"15208559-defe-4703-9399-8ea40c6449a6",
 CellGroupingRules->{"GroupTogetherGrouping", 10004.}],
Cell[30686, 716, 2394, 62, 189, "Input",ExpressionUUID->"1f3bfcb7-3e50-4440-abda-6e2b6b63e530",
 CellGroupingRules->{"GroupTogetherGrouping", 10004.}]
}, Open  ]],
Cell[33095, 781, 1015, 22, 168, "Input",ExpressionUUID->"9d3f92dd-eb9c-4f74-9e57-8b6f9bbf2f96"],
Cell[CellGroupData[{
Cell[34135, 807, 457, 10, 41, "Input",ExpressionUUID->"f3e567c8-46cb-43d9-b232-64a30f1e72a0"],
Cell[34595, 819, 315, 4, 70, "Output",ExpressionUUID->"6f3be0e9-e380-4eed-a22c-ffe2411adbcb"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[34959, 829, 362, 6, 55, "Section",ExpressionUUID->"3dbce4bb-8250-4ccb-a7a8-d3ee04046068",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.}],
Cell[35324, 837, 1660, 41, 124, "Input",ExpressionUUID->"b38d3aa2-b9ab-4ec9-ace1-f3ce95982aa1",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.}],
Cell[36987, 880, 1056, 26, 84, "Input",ExpressionUUID->"407015ef-4b27-4daa-933e-3b2863b7ddff",
 CellGroupingRules->{"GroupTogetherGrouping", 10003.}]
}, Closed]],
Cell[CellGroupData[{
Cell[38080, 911, 301, 5, 55, "Section",ExpressionUUID->"96c22666-14d8-4227-9183-cbf700089364"],
Cell[CellGroupData[{
Cell[38406, 920, 1044, 18, 63, "Input",ExpressionUUID->"4a0270a6-15c7-4c43-99a6-59f4d367014b"],
Cell[39453, 940, 290, 5, 41, "Output",ExpressionUUID->"f184a8e5-d4e2-444f-825c-fabfc7e731d5"]
}, Open  ]],
Cell[CellGroupData[{
Cell[39780, 950, 281, 6, 41, "Input",ExpressionUUID->"3c3a6e6b-0477-4cd5-950f-162cc46102bb"],
Cell[40064, 958, 227, 5, 43, "Output",ExpressionUUID->"46321989-22d0-4522-a017-e1990be2373c"]
}, Open  ]],
Cell[CellGroupData[{
Cell[40328, 968, 724, 17, 105, "Input",ExpressionUUID->"3ac2edd9-aded-42ea-a523-78963f5e287e"],
Cell[41055, 987, 236, 5, 43, "Output",ExpressionUUID->"bcfd87e3-1b2d-477b-92f4-0c9b365ee31a"]
}, Open  ]]
}, Closed]]
}
]
*)