Маколей 2
-
Обзор Macaulay2
- Macaulay2 — бесплатная система компьютерной алгебры для вычислений в коммутативной алгебре и алгебраической геометрии.
- Основана на быстрой реализации алгоритмов для арифметики, базисов Гребнера и других важных алгебраических операций.
- Расширена за счет множества пакетов, включая пакеты от известных авторов.
-
Интерфейс и язык программирования
- Имеет интерактивный интерфейс командной строки и возможность использования emacs или GNU TeXmacs.
- Использует собственный интерпретируемый язык программирования, простой в использовании математиками.
- Алгоритмы реализованы на C++, а интерпретатор написан на C с пользовательским уровнем безопасности типов.
-
История и развитие
- Macaulay2 был разработан на основе предыдущей системы Macaulay, созданной Стиллманом и Байером в 1983 году.
- Стиллман и Грейсон начали работу над Macaulay2 в 1993 году, улучшив язык и дизайн системы.
- Macaulay2 регулярно обновляется и используется в научных исследованиях, последняя версия выпущена в 2000 году.
-
Пример сеанса
- Демонстрирует использование системы для определения кольца многочленов, идеала и частного кольца.
-
Популярность и влияние
- Macaulay2 упоминается как успешный проект с открытым исходным кодом в математике.
- Цитируется в более чем 2600 научных публикациях.
-
Сравнение с другими системами
- Упоминаются Singular и CoCoA как другие системы компьютерной алгебры.
-
Рекомендации и дальнейшее чтение
- Ссылки на официальный сайт Macaulay2 и веб-интерфейс для Macaulay2.
Полный текст статьи: