Further Examples

In[1]:=

Needs["xAct`xTensor`"]

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

Package xAct`xCore`  version 0.5.0, {2008, 5, 5}

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

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

Package ExpressionManipulation`

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

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

Package xAct`xPerm`  version 1.0.0, {2008, 3, 5}

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

Connecting to external linux executable...

Connection established.

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

Package xAct`xTensor`  version 0.9.5, {2008, 5, 16}

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

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

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

Define a constant-symbol Mass:

In[2]:=

DefConstantSymbol[Mass]

** DefConstantSymbol: Defining constant symbol Mass.

Now the same symbol cannot be used with any other meaning:

In[3]:=

ValidateSymbol[Mass]

In[4]:=

Catch @ ValidateSymbolInSession[Mass]

ValidateSymbol :: used : Symbol Mass is already used as a constant-symbol .

Tidy up:

In[5]:=

UndefConstantSymbol[Mass]

** Undefined constant symbol Mass

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