FORM version 4.0

TL;DR

FORM version 4.0 introduces advanced symbolic manipulation features including rational polynomial handling, expression factorization, and a checkpoint system, enhancing its capabilities for complex algebraic computations.

Contribution

This paper presents the new features of FORM 4.0, notably rational polynomial manipulation, expression factorization, and open-source availability, expanding its utility for symbolic algebra tasks.

Findings

Added rational polynomial manipulation

Implemented expression factorization

Introduced checkpoint facility

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 Groebner bases. New is also the checkpoint facility, that allows for periodic backups during long calculations. Lastly, FORM 4.0 has become available as open source under the GNU General Public License version 3.