This function can read several matrices from a
Normaliz output file. At the moment, the only ouput file that contains several matrices is the file with suffix
cst. It contains the supporting hyperplanes, the defining equations and the congruences defining the (same) cone. It is possible that one of the matrices is a matrix with zero rows.
i1 : nmzFilename="example" -- to keep the files
o1 = example
|
i2 : mat=matrix({{1,2,3},{4,5,6},{7,8,10}});
3 3
o2 : Matrix ZZ <--- ZZ
|
i3 : normaliz(allComputations => true,mat,0)
o3 = RationalCone{cgr => 0 }
equ => 0
gen => | 1 2 3 |
| 2 3 4 |
| 3 4 5 |
| 4 5 6 |
| 7 8 10 |
inv => HashTable{height 1 elements => 5 }
hilbert basis elements => 5
homogeneous => true
homogeneous weights => (-1, 1, 0)
index => 3
multiplicity => 3
number extreme rays => 3
number support hyperplanes => 3
rank => 3
sup => | -2 -2 3 |
| -4 11 -6 |
| 1 -2 1 |
typ => | 3 0 0 |
| 2 1 0 |
| 1 2 0 |
| 0 3 0 |
| 0 0 1 |
o3 : RationalCone
|
i4 : readMultipleNmzData "cst"
o4 = {| -2 -2 3 |, 0, 0}
| -4 11 -6 |
| 1 -2 1 |
o4 : List
|
i5 : rmNmzFiles();
|