REDUCE, AXIOM, GAP, FORM
Packages of computer algebra systems of general purpose, which have extended capabilities for use in physics.
- Official websites:
REDUCE: http://reduce-algebra.com
AXIOM: http://portal.axiom-developer.org
GAP: http://www.gap-system.org
FORM: http://www.nikhef.nl/~form/
To run on a farm, you need to configure the environment settings:
lxpub01: ~>. /afs/.jinr.ru/symbolic/symbolic.env
Documentation for the system, user manuals (pdf format)
at the interactive LIT farm are located here:
/afs/.jinr.ru/symbolic/doc
Example REDUCE session:
lxpub01: ~> reduce
Loading image file: /afs/.jinr.ru/symbolic/reduce/3.8_64/lisp/psl/linux/red/reduce.img
REDUCE 3.8, 15-Apr-2004, patched to 2-Aug-2008 …
1: (a + b) ^ 3;
3 2 2 3
A + 3 * a * b + 3 * a * b + b
2: quit;