Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

FORM (symbolic manipulation system)

From Wikipedia, the free encyclopedia
For other uses, seeForm (disambiguation).
FORM
Developer(s)Jos Vermaseren, et al.
Initial release1989
Stable release
4.3.1
Repositorygithub.com/vermaseren/form
Written inC
Operating systemLinux,Mac OS X,Windows
TypeMathematical software
LicenseGPLv3
Websitewww.nikhef.nl/~form/

FORM is a symbolic manipulation system. It reads text files containing definitions of mathematical expressions as well as statements that tell it how to manipulate these expressions. Its original author isJos Vermaseren ofNikhef, the Dutch institute for subatomic physics.It is widely used in the theoretical particle physics community, but it is not restricted to applications in this specific field.[1]

Features

[edit]
  • Definition of mathematical expressions containing various objects (symbols, functions, indices, ...) with elementary arithmetic operations
  • Arbitrary long mathematical expressions (limited only by disk space)
  • Multi-threaded execution, parallelized version forcomputer clusters
  • Powerful pattern matching and replacing
  • Fast trace calculation especially ofgamma matrices
  • Built-in mathematical functions
  • Output into various formats (plain text,Fortran code,Mathematica code)
  • External communication with other software programs

Example usage

[edit]

A text file containing

  Symbol x,y;  Local myexpr = (x+y)^3;  Id y = x;  Print;  .end

would tellFORM to create an expression namedmyexpr, replace therein the symboly byx, and print the result on the screen. The result would be given like

  myexpr =     8*x^3;

History

[edit]

FORM was started in 1984 as a successor toSchoonschip, an algebra engine developed byM. Veltman. It was initially coded inFORTRAN 77, but rewritten inC before the release of version 1.0 in 1989.Version 2.0 was released in 1991. The version 3.0 ofFORM has been publicized in 2000. It has been made open-source on August 27, 2010 under theGPL license.

Applications in high-energy physics and other fields

[edit]
  • Mincer: A software package usingFORM to computemassless propagator diagrams with up to three loops.
  • FORM has been the essential tool to calculate the higher-orderQCDbeta function.
  • The mathematical structure ofmultiple zeta values has been researched with dedicatedFORM programs.[2]
  • The software package FormCalc which is widely used in the physics community to calculate Feynman diagrams is built on top ofFORM.

References

[edit]
  1. ^[1] Some citations ofFORM in theINSPIRE-HEP Literature Database
  2. ^Blümlein, J.; Broadhurst, D.J.; Vermaseren, J.A.M. (2010). "The Multiple Zeta Value data mine".Computer Physics Communications.181 (3):582–625.arXiv:0907.2557.Bibcode:2010CoPhC.181..582B.doi:10.1016/j.cpc.2009.11.007.

External links

[edit]
Open-source
Proprietary
Discontinued
Authority control databases: NationalEdit this at Wikidata
Retrieved from "https://en.wikipedia.org/w/index.php?title=FORM_(symbolic_manipulation_system)&oldid=1288123266"
Categories:
Hidden category:

[8]ページ先頭

©2009-2025 Movatter.jp