Showing 1–2 of 2 results for author: Kuipers, J

Code Optimization in FORM

Authors: J. Kuipers, T. Ueda, J. A. M. Vermaseren

Abstract: We describe the implementation of output code optimization in the open source computer algebra system FORM. This implementation is based on recently discovered techniques of Monte Carlo tree search to find efficient multivariate Horner schemes, in combination with other optimization algorithms, such as common subexpression elimination. For systems for which no specific knowledge is provided it per… ▽ More We describe the implementation of output code optimization in the open source computer algebra system FORM. This implementation is based on recently discovered techniques of Monte Carlo tree search to find efficient multivariate Horner schemes, in combination with other optimization algorithms, such as common subexpression elimination. For systems for which no specific knowledge is provided it performs significantly better than other methods we could compare with. Because the method has a number of free parameters, we also show some methods by which to tune them to different types of problems. △ Less

Submitted 25 October, 2013; originally announced October 2013.

Comments: 31 pages

Report number: Nikhef 2013-036, TTP13-031, SFB/CPP-13-80 MSC Class: 97Rxx

FORM version 4.0

Authors: J. Kuipers, T. Ueda, J. A. M. Vermaseren, J. Vollinga

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, t… ▽ More 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. △ Less

Submitted 29 March, 2012; originally announced March 2012.

Comments: 26 pages. Uses axodraw