Normaliz
| Normaliz | |
|---|---|
| Basisdaten | |
| Entwickler | Universität Osnabrück |
| Aktuelle Version | 3.4.0 (Linux, macOS und Windows) Vorlage:Datum – die Form mit drei unbenannten Parametern oder anderen einzelnen Zeiteinheiten ist veraltet und wird nicht mehr unterstützt. Bitte gib das Datum einfach im Klartext an. |
| Betriebssystem | Unix, Linux, FreeBSD, macOS, Windows |
| Programmiersprache | C, C++, Python |
| Kategorie | Computeralgebrasystem |
| Lizenz | GPL (Freie Software) |
| deutschsprachig | nein |
| normaliz.uni-osnabrueck.de | |
Normaliz ist ein freies Computeralgebra-System, das von Winfried Bruns, Robert Koch (1998-2002), Bogdam Ichim (2007/08) und Christof Soeger (2009-2016) entwickelt wurde. Es ist unter der GNU General Public License Version 2 veröffentlicht.
Normaliz berechnet Gitterpunkte in rationalen Polyedern oder löst lineare diophantische Systeme von Ungleichungen, Gleichungen und Kongruenzen. Spezielle Aufgaben sind die Berechnung von Gitterpunkten in beschränkten rationalen Polytopen und Hilbert-Basen von rationalen Kegeln. Normaliz berechnet auch enumerative Daten wie Multiplizitäten (Volumina) und Hilbert-Reihen. Der Kern von Normaliz ist eine Templated-C++ Klassenbibliothek. Für multivariate Polynomialarithmetik wird CoCoALib verwendet.
Normaliz hat Schnittstellen zu mehreren allgemeinen Computeralgebra-Systemen: CoCoA, GAP, Macaulay2 und Singular. Es kann interaktiv über seine Python-Schnittstelle PyNormaliz verwendet werden. Seine Verwendung in SageMath ist in Vorbereitung.
Jesús A. De_Loera zählt Normaliz zu seinen Lieblingsprogrammen für die Berechnung der Hilbert-Basis[1] .