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] aeot_v1_0.tar.gz(1053 Kbytes)
Manuscript Title: FORM version 4.0
Authors: J. Kuipers, T. Ueda, J.A.M. Vermaseren, J. Vollinga
Program title: FORM.
Catalogue identifier: AEOT_v1_0
Distribution format: tar.gz
Journal reference: Comput. Phys. Commun. 184(2013)1453
Programming language: The FORM language. FORM itself is programmed in a mixture of C and C++.
Computer: All.
Operating system: UNIX, LINUX, Mac OS, Windows.
Keywords: Computer algebra, Symbolic manipulation.
PACS: 02.70.Wz.
Classification: 5.

Nature of problem:
FORM defines a symbolic manipulation language in which the emphasis lies on fast processing of very large formulas. It has been used successfully for many calculations in Quantum Field Theory and mathematics. In speed and size of formulas that can be handled it outperforms other systems typically by an order of magnitude.
Special in this version: The version 4.0 contains many new features. Most important are factorization and rational arithmetic. The program has also become Open Source under the GPL license. The code in CPC is for reference. You are encouraged to upload the most recent sources from https:/github.com/vermaseren/form.

Solution method:
See "Nature of Problem", above.

Additional comments:
NOTE The code in CPC is for reference. You are encouraged to upload the most recent sources from https:/github.com/vermaseren/form.