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

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

Особенности [ править ]

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

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

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


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


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


 myexpr = 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 . [2]
  • Программный пакет FormCalc, который широко используется в физическом сообществе для расчета диаграмм Фейнмана, построен на основе FORM .

Ссылки [ править ]

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

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • Онлайн-руководство FORM
  • Debian - Подробная информация о форме пакета
  • Пакеты Linux: ArchLinux , Debian , Gentoo , Ubuntu