. The function returns an object of type
, if computed, and possibly some additional information.It is possibly to give several matrices of the same type. All matrices of one type are then appended to one matrix by
.
By default, the cone returned contains only the content of the output file .gen, under the key "gen", i.e. the generators that have been computed, line by line and the content of the output file .inv, under the key "inv".
hy=matrix {{-1,0,-1,0,3,0,0,0,0},{-1,0,1,0,1,0,0,0,0},{1,0,1,0,-1,0,0,0,0},{1,0,-1,0,1,0,0,0,0}}; |
eq=matrix {{1,1,1,-1,-1,-1,0,0,0},{1,1,1,0,0,0,-1,-1,-1},{0,1,1,-1,0, 0,-1,0,0},{1,0,1,0,-1,0,0,-1,0},{1,1,0,0,0,-1,0,0,-1},{0,1,1,0,-1,0,0,0,-1},{1,1,0,0,-1,0,-1,0,0}}; |
cg=matrix {{1,0,0,0,0,0,0,0,0,2},{0,0,1,0,0,0,0,0,0,2},{0,0,0,0,0,0,1,0,0,2},{0,0,0,0,0,0,0,0,1,2}}; |
rc=normaliz({(hy,"inequalities"),(eq,"equations"),(cg,"congruences")}); |
rc#"gen" |
). Then the method returns an object of type RationalCone whose keys are the suffixes of all the output files written, with value the content of the corresponding output file, which is an matrix whose rows contain the data computed, except for the suffix
). It can also be used with the option
.