Elsevier Science Home
Computer Physics Communications Program Library
Full text online from Science Direct
Programs in Physics & Physical Chemistry
CPC Home

[Licence| Download | New Version Template] abry_v1_0.gz(18 Kbytes)
Manuscript Title: Symbolic superalgebra manipulations using Common Lisp.
Authors: R. Cecchini, M. Tarlini
Program title: GRAAL
Catalogue identifier: ABRY_v1_0
Distribution format: gz
Journal reference: Comput. Phys. Commun. 60(1990)265
Programming language: Common Lisp.
Computer: VAX 11/750.
Operating system: VMS 4.X.
Keywords: Computer algebra, Particle physics, Elementary, Computing, Lie superalgebras, Symbolic manipulation, Grassmann parameters, Baker-campbell Hausdorff formula, Similarity Transformation.
Classification: 5, 11.1.

Nature of problem:
Symbolic computations on the elements of a given Poisson or Lie Superalgebra and its Enveloping Algebra: elements ordering, commutators, evaluation up to a given order of Similarity Tranformations, general Baker-Campbell-Hausdorff formula.

Solution method:
We use the general definitions of Graded Vector Space, Grassmann parameters, Lie Superalgebra and Poisson Superalgebra with their properties.

Restrictions:
Due to availability of CPU time and memory, in particular for Baker- Campbell-Hausdorff formula.

Unusual features:
All the computations are exact, including numerical coefficients; the program can be used in batch mode and interactively, in this case with an optional menu facility and online help. Lisp knowledge is unnecessary.

Running time:
Varies widely depending on the complexity of the problem, from few seconds to many hours.