share/tensor/ctensor3.dem

   1 /*
   2  * This program is free software; you can redistribute it and/or
   3  * modify it under the terms of the GNU General Public License as
   4  * published by the Free Software Foundation; either version 2 of
   5  * the License, or (at your option) any later version.
   6  *
   7  * This program is distributed in the hope that it will be
   8  * useful, but WITHOUT ANY WARRANTY; without even the implied
   9  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  10  * PURPOSE.  See the GNU General Public License for more details.
  11  *
  12  * CTENSOR features for (mainly) gravitational theory
  13  */
  14
  15 if get('ctensor,'version)=false then load(ctensor);
  16 ("A conformally flat metric helps demonstrate the curvature tensors")$
  17 (ratwtlvl:false,ratfac:true);
  18 derivabbrev:true;
  19 dim:4;
  20 ct_coords:[x,y,z,t];
  21 lg:a*ident(4);
  22 dependencies(a(t));
  23 ("cmetric() computes the metric inverse:")$
  24 cmetric();
  25 ug;
  26 ("christof() computes the Christoffel-symbols of the 1st and 2nd kind")$
  27 christof(mcs);
  28 ("ricci() computes and optionally displays the covariant Ricci tensor")$
  29 ricci(true);
  30 ("uricci() computes the mixed-index Ricci tensor")$
  31 uricci(true);
  32 ("riemann() computes the (3,1) Riemann-tensor")$
  33 riemann(true);
  34 ("The covariant Riemann-tensor is obtained with lriemann()")$
  35 lriemann(true);
  36 ("While uriemann() computes the contravariant Riemann tensor")$
  37 uriemann(true);
  38 ("The mixed-index Einstein tensor is computed by einstein()")$
  39 einstein(true);
  40 ("The covariant Einstein tensor is computed by leinstein()")$
  41 leinstein(true);
  42 ("Rinvariant obtains the Kretchmann-invariant:")$
  43 rinvariant();
  44 ("The Weyl tensor is empty for a conformally metric")$
  45 weyl(true);
  46
  47 /* End of demo -- comment line needed by MAXIMA to resume demo menu */