Normalisera
Originalförfattare | Winfried Bruns, Robert Koch, Bogdan Ichim, Christof Soeger |
---|---|
Stabil frisättning | 3.10.0 / 31 januari 2023
|
Förvar | |
Skrivet i | C++ , C och Python |
Typ | Datoralgebrasystem |
Licens | GNU General Public License , version 3 |
Hemsida |
Normaliz är ett fritt datoralgebrasystem utvecklat av Winfried Bruns, Robert Koch (1998–2002), Bogdam Ichim (2007/08) och Christof Soeger (2009–2016). Den publiceras under GNU General Public License version 2.
Normaliz beräknar gitterpunkter i rationella polyedrar , eller, med andra ord, löser linjära diofantinsystem av ekvationer , olikheter och kongruenser. Speciella uppgifter är beräkningen av gitterpunkter i avgränsade rationella polytoper och Hilbert-baser för rationella koner. Normaliz beräknar också uppräkningsdata, såsom multipliciteter (volymer) och Hilbert-serier . Kärnan i Normaliz är ett mallformat C++-klassbibliotek. För multivariat polynomaritmetik använder den CoCoALib .
Normaliz har gränssnitt till flera allmänna datoralgebrasystem: CoCoA , GAP , Macaulay2 och Singular . Den kan användas interaktivt via Python-gränssnittet PyNormaliz. Dess användning i SageMath är under förberedelse.
Jesús A. De_Loera citerar Normaliz bland sina favoritprogram för Hilbert- beräkning .