May, 2013
FORM version 4.0
COMPUTER PHYSICS COMMUNICATIONS
- ,
- ,
- ,
- Volume
- 184
- Number
- 5
- First page
- 1453
- Last page
- 1467
- Language
- English
- Publishing type
- Research paper (scientific journal)
- DOI
- 10.1016/j.cpc.2012.12.028
- Publisher
- ELSEVIER SCIENCE BV
We present version 4.0 of the symbolic manipulation system FORM. The most important new features are manipulation of rational polynomials and the factorization of expressions. Many other new functions and commands are also added; some of them are very general, while others are designed for building specific high level packages, such as one for Grobner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Finally, FORM 4.0 has become available as open source under the GNU General Public License version 3.
Program summary
Program title: FORM.
Catalogue identifier: AEOT_v1_0
Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEOT_v1_0.html
Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland
Licensing provisions: GNU General Public License, version 3
No. of lines in distributed program, including test data, etc.: 151599
No. of bytes in distributed program, including test data, etc.: 1 078 748
Distribution format: tar.gz
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.
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. The code in CPC is for reference. You are encouraged to upload the most recent sources from www.nikhef.nl/form/formcvs.php because of frequent bug fixes.
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 www.nikhef.nl/form/formcvs.php because of frequent bug fixes. (C) 2013 Elsevier B.V. All rights reserved.
Program summary
Program title: FORM.
Catalogue identifier: AEOT_v1_0
Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEOT_v1_0.html
Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland
Licensing provisions: GNU General Public License, version 3
No. of lines in distributed program, including test data, etc.: 151599
No. of bytes in distributed program, including test data, etc.: 1 078 748
Distribution format: tar.gz
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.
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. The code in CPC is for reference. You are encouraged to upload the most recent sources from www.nikhef.nl/form/formcvs.php because of frequent bug fixes.
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 www.nikhef.nl/form/formcvs.php because of frequent bug fixes. (C) 2013 Elsevier B.V. All rights reserved.
- Link information
-
- DOI
- https://doi.org/10.1016/j.cpc.2012.12.028
- arXiv
- http://arxiv.org/abs/arXiv:1203.6543
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000317455500013&DestApp=WOS_CPL
- URL
- http://orcid.org/0000-0001-9805-5832
- ID information
-
- DOI : 10.1016/j.cpc.2012.12.028
- ISSN : 0010-4655
- ORCID - Put Code : 43471463
- arXiv ID : arXiv:1203.6543
- Web of Science ID : WOS:000317455500013