# PyNormaliz - An interface to Normaliz


## What is PyNormaliz

PyNormaliz provides an interface to Normaliz (https://www.normaliz.uni-osnabrueck.de) via libNormaliz.
It offers the complete functionality of Normaliz, and can be used interactively from python. For a first example,
see [this introduction](examples/PyNormaliz_Tutorial.ipynb) by Richard Sieg.

## Requirements

* python 2.7 or higher or python 3.4 or higher
* Normaliz 3.2.1 Oor higher (https://github.com/Normaliz/Normaliz/releases)

## Installation

You need to have Normaliz properly installed and libNormaliz in your gcc's include path.
On most systems, installing Normaliz via
```
\> make install
```
is enough. If you prefer or are not able to install it, you need to set CPATH and
LD_LIBRARY_PATH accordingly.

After that, you can install PyNormaliz via
```
\> pip install PyNormaliz
```

## Usage

The main command is Cone to create a cone, and the member functions
of the cone class to compute properties. For a full list of input and output
properties, see the Normaliz manual.

To create a cone, use
```
import PyNormaliz
C := PyNormaliz.Cone( cone = [[1,0],[0,1]] )
```

All possible Normaliz input properties can be given as keyword arguments.

To compute a property of the cone, use the provided getters, which corresponds to Normaliz compute
goals.

```
C.HilbertBasis()
```

You can pass options to the compute functions
```
C.HilbertSeries( HSOP = True )
```

## Low level commands

There is also a low-level API, directly using C functions:

To create a cone, use
```
C := NmzCone( "cone", [[1,0],[0,1]] )
```
or, equivalently,
```
C := NmzCone( [ "cone", [[1,0],[0,1]] ] )
```
NmzCone can take an arbitrary number of arguments, either as separated arguments or in a list.
First is always a string, describing an input property for Normaliz, followed by a (possibly empty)
matrix.

NmzCompute takes a cone as first argument, followed by arbitrary many strings, or a list of strings,
describing Normaliz output properties. NmzCompute lets Normaliz compute the necessary values, and
returns true if everything was computed properly, false otherwise.
```
NmzCompute( C, "HilbertBasis" )
```
or
```
NmzCompute( C, [ "HilbertBasis" ] )
```

NmzIsComputed takes a cone and a string representing an output property, and returns true if the
property is already computed for the cone, false otherwise.
```
NmzIsComputed( C, "HilbertBasis" )
```

NmzResult takes a cone and a string representing an output property, and returns the computed
value of this property as a matrix, a list, or as a bool.
```
NmzResult( C, "HilbertBasis" )
