FORM version 4.0

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018) Abstract 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 Gröbner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Finally, Form 4.0 has become available a... Title of program: FORM. Catalogue Id: AEOT_v1_0 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 ... Versions of this program held in the CPC repository in Mendeley Data AEOT_v1_0; FORM.; 10.1016/j.cpc.2012.12.02