Precision => ..., default value 32, an integer or a string, 32, 64, or "gmp", the precision of the integers used during the computation
InputType => ..., default value null
Outputs:
B, a matrix, whose rows form the Hilbert basis of the cone $\{z : Az = 0, z \ge 0 \}$ or the cone $\{z A : z {\rm {} is an integral vector and } z A \ge 0 \}$ if InputType => "lattice" is used