Further Examples

In[1]:=

Needs["xAct`xTensor`"]

--------------------------------------------------------------------------------

Package xAct`xCore`  version 0.4.0,  {2007, 11, 6}

CopyRight (C) 2007, Jose M. Martin-Garcia, under the General Public License.

--------------------------------------------------------------------------------

Package ExpressionManipulation`

CopyRight (C) 1999-2007, David J. M. Park and Ted Ersek

--------------------------------------------------------------------------------

Package xAct`xPerm`  version 0.7.0,  {2007, 11, 6}

CopyRight (C) 2003-2007, Jose M. Martin-Garcia, under the General Public License.

Connecting to external linux executable...

Connection established.

--------------------------------------------------------------------------------

Package xAct`xTensor`  version 0.9.3,  {2007, 11, 6}

CopyRight (C) 2002-2007, Jose M. Martin-Garcia, under the General Public License.

--------------------------------------------------------------------------------

--------------------------------------------------------------------------------

Define a 3d manifold M and a parameter time:

In[2]:=

DefManifold[M, 3, {a, b, c, d, e}, s]

** DefManifold: Defining manifold M.

** DefVBundle: Defining vbundle TangentM.

In[3]:=

DefParameter[time]

** DefParameter: Defining parameter time.

Define a contravariant vector v on M:

In[4]:=

DefTensor[v[a], M]

** DefTensor: Defining tensor v[a] .

In[5]:=

v[a]

Out[5]=

v_ ^a

Define a symmetric two-covariant tensor g on M:

In[6]:=

DefTensor[g[-a, -b], M, Symmetric[{1, 2}]]

** DefTensor: Defining tensor g[-a, -b] .

In[7]:=

g[-a, -b]

Out[7]=

g_ab^

In[8]:=

? g

Global`g

SymmetryGroupOfTensor[g]^=StrongGenSet[{1},GenSet[Cycles[{1,2}]]]
Dagger[g]^=g
xTensorQ[g]^=True
SlotsOfTensor[g]^={-TangentM,-TangentM}
DependenciesOfTensor[g]^={M}
FrobeniusQ[g]^=False
Info[g]^={tensor,}
TensorID[g]^={}
PrintAs[g]^=g

Define a time-dependent scalar field on M, with special output:

In[9]:=

DefTensor[tau[], {time, M}, PrintAs->"τ"]

** DefTensor: Defining tensor tau[] .

In[10]:=

3tau[]

Out[10]=

3 τ_^

The variable $Tensors contains the list of all defined tensors:

In[11]:=

$Tensors

Out[11]=

{v, g, tau}

Tidy up:

In[12]:=

UndefTensor/@$Tensors ;

** Undefined tensor v

** Undefined tensor g

** Undefined tensor tau

In[13]:=

UndefManifold[M]

UndefParameter[time]

** Undefined vector bundle TangentM

** Undefined manifold M

** Undefined parameter time


Created by Mathematica  (May 16, 2008) Valid XHTML 1.1!