← Back to branch summary

~ubuntu-branches/debian/squeeze/maxima/squeeze

« back to all changes in this revision

Viewing changes to share/tensor/ctenso_2.dem

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2006-10-18 14:52:42 UTC
  • mto: (1.1.5 upstream)
  • mto: This revision was merged to the branch mainline in revision 4.
  • Revision ID: james.westby@ubuntu.com-20061018145242-vzyrm5hmxr8kiosf
Import upstream version 5.10.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
share/tensor/ctenso_2.dem
1
 
 
2
 
SHOWTIME:ALL$
3
 
/* This file proves that the Schwarzschild line element satisfies
4
 
the Einstein vacuum equations as well as computing other tensors
5
 
and invariants */
6
 
/* .mc version is presently available in DOE MACSYMA */
7
 
LOAD("ctensr")$
8
 
/* the following allows the batch program to run by presetting flags */
9
 
SETFLAGS()$
10
 
/* this calls for the rational simplification of geometrical objects */
11
 
RATFAC:TRUE$
12
 
/* the dimension of the manifold */
13
 
DIM:4$
14
 
/* the coordinate labels */
15
 
OMEGA:[X,Y,Z,T]$
16
 
/* THIS IS THE SCHWARZSCHILD METRIC IN STANDARD COORDINATES */
17
 
LG:
18
 
MATRIX([1/(1-2*M/X),0,0,0],[0,X^2,0,0],[0,0,X^2*SIN(Y)^2,0],[0,0,0,2*M/X-1]);
19
 
/* computes metric inverse and determines diagonality */
20
 
METRIC()$
21
 
/* computes and displays mixed Christoffel symbols */
22
 
CHRISTOF(MCS)$
23
 
/* computes and ratsimps Ricci tensor */
24
 
RICCICOM(TRUE)$
25
 
/* computes scalar curvature */
26
 
SCURVATURE();
27
 
/* computes Riemann tensor */
28
 
RIEMANN(TRUE)$
29
 
/* computes contravariant Riemann tensor */
30
 
RAISERIEMANN(FALSE)$
31
 
/* computes the Kretchmann invariant Rijkl^2 */
32
 
RINVARIANT();