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
/
Core
/
tests
/
View File Name :
schorder.m2
-- Some tests of computing with Schreyer orders R = ZZ/101[a..d]/(b*d) I = ideal(a*b-c^2, a*b*c-c*d^2, a*d^2-c*a*d) I = ideal(a*b-c^2, a*b*c-c*d^2) C = res(coker gens I, Strategy=>2) M = C.dd_2 F = target M gbTrace = 3 M1 = syz M M2 = C.dd_3 image M1 == image M2 -- since M1 fails above, this should fail, but -- it gives true anyway! gens gb M2 -- is zero right now... leadTerm M M end -- Local Variables: -- compile-command: "make -C $M2BUILDDIR/Macaulay2/packages/Macaulay2Doc/test schorder.out" -- End: