One Hat Cyber Team
Your IP :
216.73.216.216
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 :
inhom.m2
-- here we try to see whether resolutions of inohomogeneous modules really work R = ZZ/101[a..f,MonomialOrder => Lex] I = ideal(a,b,c) J = ideal(b,c,d,e) K = cokernel generators intersect(I,J) time assert( I == ann Ext^3(K,R) ) I = ideal(a-1,b^2-3,c-d^2) J = ideal(b,c,d-f,e+4) K = cokernel generators intersect(I,J) time assert( I == ann Ext^3(K,R) ) I = ideal(a^2-1,b^2-3+c*e,c-d^2) J = ideal(b,c^2,d-f,e+4) K = cokernel generators intersect(I,J) time assert( I == ann Ext^3(K,R) ) S = R/(f-a^3+b*c+11) assert( S === class a ) I = ideal(a,b,c) J = ideal(b,c,d,e) K = cokernel generators intersect(I,J) time assert( I == ann Ext^3(K,S) ) I = ideal(a-1,b-11) J = ideal(b-3,c-4,e) K = cokernel generators intersect(I,J) time assert( I == ann Ext^2(K,S) ) end -- Local Variables: -- compile-command: "make -C $M2BUILDDIR/Macaulay2/packages/Macaulay2Doc/test inhom.out" -- End: