Нормализ - Normaliz

Нормализ
Базис Гильберта.gif
Оригинальный автор (ы)Винфрид Брунс, Роберт Кох, Богдан Ичим, Кристоф Зёгер
Стабильный выпуск
3.8.9[1] / 26 сентября 2020; 58 дней назад (26 сентября 2020 г.)
Репозиторий
Отредактируйте это в Викиданных
Написано вC ++, C и Python
ТипСистема компьютерной алгебры
ЛицензияСтандартная общественная лицензия GNU, версия 3
Интернет сайтнормализовать.uni-osnabrueck.de

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

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

Normaliz имеет интерфейсы к нескольким общим системам компьютерной алгебры: Какао, ЗАЗОР, Маколей2 и Единственное число. Его можно использовать в интерактивном режиме через интерфейс Python PyNormaliz. Его использование в SageMath находится в стадии подготовки.

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

Смотрите также

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

  1. ^ «Выпуск 3.8.9». 26 сентября 2020 г.. Получено 16 октября 2020.
  2. ^ Де Лоэра, Хесус. «Комбинаторные задачи с геометрическими решениями». Примечания к курсу: алгебраическая и геометрическая комбинаторика. Калифорнийский университет в Дэвисе.

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