FORM (sistema de manipulación simbólica)

FORM es un sistema de manipulación simbólica. Lee archivos de texto que contienen definiciones de expresiones matemáticas, así como instrucciones que le indican cómo manipular dichas expresiones. Su autor original es Jos Vermaseren , del Nikhef , el instituto holandés de física subatómica. Se utiliza ampliamente en la comunidad de física teórica de partículas, pero no se limita a aplicaciones en este campo específico. ^{[ 1 ]}

Características

Definición de expresiones matemáticas que contienen diversos objetos (símbolos, funciones, índices, etc.) con operaciones aritméticas elementales.
Expresiones matemáticas arbitrariamente largas (limitadas únicamente por el espacio en disco)
Ejecución multihilo, versión paralelizada para clústeres de computadoras.
Potente coincidencia y reemplazo de patrones
Cálculo rápido de trazas, especialmente de matrices gamma.
Funciones matemáticas integradas
Generación de salida en varios formatos (texto plano, código Fortran , código Mathematica )
Comunicación externa con otros programas informáticos

Ejemplo de uso

Un archivo de texto que contiene

 Símbolo x,y; Local myexpr = (x+y)^3; Id y = x; Imprimir; .fin

le indicaría a FORM que creara una expresión llamada myexpr , reemplazara en ella el símbolo y por x , e imprimiera el resultado en la pantalla. El resultado se daría como

 miexpr = 8*x^3;

Historia

FORM se creó en 1984 como sucesor de Schoonschip , un motor de álgebra desarrollado por M. Veltman . Inicialmente, se programó en FORTRAN 77 , pero se reescribió en C antes del lanzamiento de la versión 1.0 en 1989. La versión 2.0 se publicó en 1991. La versión 3.0 de FORM se dio a conocer en el año 2000. El 27 de agosto de 2010 se publicó como software de código abierto bajo la licencia GPL .

Aplicaciones en física de altas energías y otros campos.

Mincer : Un paquete de software que utiliza FORM para calcular diagramas de propagadores sin masa con hasta tres bucles.
FORM ha sido la herramienta esencial para calcular la función beta de QCD de orden superior .
La estructura matemática de los valores zeta múltiples se ha investigado con programas FORM específicos. ^{[ 2 ]}
El paquete de software FormCalc, ampliamente utilizado en la comunidad de física para calcular diagramas de Feynman, está construido sobre FORM .

Referencias

↑Algunas citas de FORM en la base de datos de literatura INSPIRE-HEP.
↑ Blümlein, J.; Broadhurst, DJ; Vermaseren, JAM (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 .

Enlaces externos

Sitio web oficial
Manual en línea de FORM
Debian — Detalles del formulario del paquete
Paquetes de Linux: ArchLinux , Debian , Gentoo , Ubuntu
Hippel, Matt von (1 de diciembre de 2022). "Programa informático crucial para la física de partículas en riesgo de obsolescencia" . Quanta Magazine .

[1] Algunas citas de FORM en la base de datos de literatura INSPIRE-HEP.

[2] Blümlein, J.; Broadhurst, DJ; Vermaseren, JAM (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 .

[ 1 ]

[ 2 ]