Мы нормальные

Мы нормальные

Оригинальный автор(ы)	Винфрид Брунс, Роберт Кох, Богдан Ихим, Кристоф Зёгер
Стабильная версия	3.10.2 / 1 марта 2024 г ( 1 марта 2024 г. )
Репозиторий	github .с / мы нормальные /нормализовать
Написано в	С++ , Си и Питон
Тип	Система компьютерной алгебры
Лицензия	Стандартная общественная лицензия GNU , версия 3.
Веб-сайт	мы нормальные .uni-оснабрюк .из

Normaliz — это бесплатная система компьютерной алгебры , разработанная Винфридом Брунсом, Робертом Кохом (1998–2002), Богдамом Ихимом (2007/08) и Кристофом Зоегером (2009–2016). Он опубликован под лицензией GNU General Public License версии 2.

Normaliz вычисляет точки решетки в рациональных многогранниках или, другими словами, решает линейные диофантовые системы уравнений , неравенств и сравнений. Специальными задачами являются вычисление точек решетки в ограниченных рациональных многогранниках и базисов Гильберта рациональных конусов. Normaliz также вычисляет перечислительные данные, такие как кратности (объемы) и ряды Гильберта . Ядро Normaliz представляет собой шаблонную библиотеку классов C++. Для многомерной полиномиальной арифметики используется CoCoALib .

Normaliz имеет интерфейсы с несколькими общими системами компьютерной алгебры: CoCoA , GAP , Macaulay2 и Singular . Его можно использовать в интерактивном режиме через интерфейс Python PyNormaliz. Его использование в SageMath находится в стадии подготовки.

Хесус А. Де Лоэра называет Normaliz одной из своих любимых программ для вычисления базиса Гильберта .

См. также

• Сравнение систем компьютерной алгебры

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

• Официальный сайт
• Публикации и примеры приложений Normaliz
• http://github.com/normaliz/Normaliz