One Hat Cyber Team
Your IP :
216.73.216.135
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
Macaulay2
/
Normaliz
/
example-output
/
View File Name :
_normaliz_lp__List_rp.out
-- -*- M2-comint -*- hash: 15914013563358404602 i1 : 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}}; 4 9 o1 : Matrix ZZ <-- ZZ i2 : 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}}; 7 9 o2 : Matrix ZZ <-- ZZ i3 : 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}}; 4 10 o3 : Matrix ZZ <-- ZZ i4 : rc=normaliz({(hy,"inequalities"),(eq,"equations"),(cg,"congruences")}); i5 : rc#"gen" o5 = | 0 4 2 4 2 0 2 0 4 | | 2 0 4 4 2 0 0 4 2 | | 2 2 2 2 2 2 2 2 2 | | 2 3 4 5 3 1 2 3 4 | | 2 4 0 0 2 4 4 0 2 | | 2 5 2 3 3 3 4 1 4 | | 4 0 2 0 2 4 2 4 0 | | 4 1 4 3 3 3 2 5 2 | | 4 3 2 1 3 5 4 3 2 | 9 9 o5 : Matrix ZZ <-- ZZ i6 : setNmzOption("allf",true); i7 : arc=normaliz(allComputations=>true,{(hy,"inequalities"),(eq,"equations"),(cg,"congruences")}); i8 : arc#"gen" o8 = | 0 4 2 4 2 0 2 0 4 | | 2 0 4 4 2 0 0 4 2 | | 2 2 2 2 2 2 2 2 2 | | 2 3 4 5 3 1 2 3 4 | | 2 4 0 0 2 4 4 0 2 | | 2 5 2 3 3 3 4 1 4 | | 4 0 2 0 2 4 2 4 0 | | 4 1 4 3 3 3 2 5 2 | | 4 3 2 1 3 5 4 3 2 | 9 9 o8 : Matrix ZZ <-- ZZ i9 : arc#"ext" o9 = | 0 4 2 4 2 0 2 0 4 | | 2 0 4 4 2 0 0 4 2 | | 2 4 0 0 2 4 4 0 2 | | 4 0 2 0 2 4 2 4 0 | 4 9 o9 : Matrix ZZ <-- ZZ i10 : arc#"inv" o10 = HashTable{"class group" => (1, 4, 4) } "dim max subspace" => 0 "embedding dim" => 9 "external index" => 4 "graded" => false "hilbert basis elements" => 9 "inhomogeneous" => false "number extreme rays" => 4 "number support hyperplanes" => 4 "rank" => 3 "size triangulation" => 2 "sum dets" => 8 o10 : HashTable i11 :