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

Для использования в других целях см. Форма (значения).
ФОРМА
Разработчики)Jos Vermaseren и др.
изначальный выпуск1989
Стабильный выпуск
4.2
Написано вC
Операционная системаLinux, Mac OS X, Windows
ТипМатематическое программное обеспечение
ЛицензияGPLv3
Интернет сайтwww.nikhef.nl/ ~ форма/

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

Функции

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

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

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


  Символ x, y; Локальный myexpr = (x + y) ^ 3; Id y = x; Распечатать; .конец


скажет ФОРМА создать выражение с именем myexprзамените в нем символ у к Икс, и распечатайте результат на экране. Результат будет выглядеть как


  myexpr = 8 * x ^ 3;

История

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

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

  • Мясорубка: Программный пакет, использующий ФОРМА вычислить диаграммы безмассового пропагатора с количеством петель до трех.
  • ФОРМА был важным инструментом для вычисления высшего порядка QCD бета-функция.
  • Математическая структура несколько дзета-значений был исследован специальными ФОРМА программы.[2]
  • Программный комплекс FormCalc который широко используется в физическом сообществе для расчета диаграмм Фейнмана, построен на основе ФОРМА.

Рекомендации

  1. ^ [1] Некоторые цитаты из ФОРМА в INSPIRE-HEP База данных литературы
  2. ^ Blümlein, J .; Broadhurst, D.J .; Vermaseren, J.A.M. (2010). «Шахта данных о множественных зета-ценностях». Компьютерная физика Коммуникации. 181: 582–625. arXiv:0907.2557. Bibcode:2010CoPhC.181..582B. Дои:10.1016 / j.cpc.2009.11.007.

внешняя ссылка