ФОРМА (система символических манипуляций)

Чтобы узнать о других значениях, см. Форма (значения) .

ФОРМА

Разработчики)	Йос Вермасерен и др.
Начальная версия	1989
Стабильная версия	4.2
Написано в	С
Операционная система	Linux , Mac OS X , Windows
Тип	Математическое программное обеспечение
Лицензия	лицензия GPLv3
Веб-сайт	www .нихеф .nl /~форма /

ФОРМА — это система символических манипуляций. Он читает текстовые файлы, содержащие определения математических выражений, а также инструкции, указывающие, как манипулировать этими выражениями. Его первоначальный автор — Йос Вермасерен из Нихефа , голландского института субатомной физики. Он широко используется в сообществе теоретической физики элементарных частиц, но не ограничивается приложениями в этой конкретной области.

Особенности

• Определение математических выражений, содержащих различные объекты (символы, функции, индексы...) с помощью элементарных арифметических операций.
• Произвольные длинные математические выражения (ограничены только дисковым пространством)
• Многопоточное выполнение, параллельная версия для компьютерных кластеров
• Мощное сопоставление и замена шаблонов
• Быстрый расчет трассировки, особенно гамма-матриц
• Встроенные математические функции
• Вывод в различные форматы (обычный текст, код Fortran , код Mathematica )
• Внешняя связь с другими программами

Пример использования

Текстовый файл, содержащий

Символ х,у;

   Локальное myexpr = (x+y)^3;

   Идентификатор у = х;
   Распечатать;

   .конец
 

сообщит FORM создать выражение с именем myexpr , заменить в нем символ y на x и вывести результат на экран. Результат будет выглядеть так

моевыражение =
      8*х^3;
 

История

FORM был запущен в 1984 году как преемник Schoonschip , алгебраического движка, разработанного М. Вельтман . Первоначально он был написан на FORTRAN 77 , но был переписан на C. перед выпуском версии 1.0 в 1989 году Версия 2.0 была выпущена в 1991 году. Версия 3.0 FORM была опубликована в 2000 году. 27 августа 2010 года она стала открытой по лицензии GPL .

Приложения в физике высоких энергий и других областях

• Mincer : пакет программного обеспечения, использующий FORM для расчета диаграмм безмассового распространителя с числом до трех циклов.
• FORM был важным инструментом для расчета КХД бета-функции высшего порядка .
• Математическая структура нескольких значений дзета была исследована с помощью специальных программ FORM .
• Программный пакет FormCalc, который широко используется в физическом сообществе для расчета диаграмм Фейнмана, построен на основе FORM .

Внешние ссылки

• Официальный веб-сайт
• Онлайн-руководство FORM
• Debian — Подробная информация о форме пакета
• Пакеты Linux: ArchLinux , Debian , Gentoo , Ubuntu.
• Хиппель, Мэтт фон (01 декабря 2022 г.). «Важнейшая компьютерная программа для физики элементарных частиц, находящаяся под угрозой устаревания» . Журнал Кванта .