One Hat Cyber Team
Your IP :
216.73.216.14
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 :
4d.m2
-- taken from: -- Bernd Sturmfels, FOUR COUNTEREXAMPLES IN COMBINATORIAL ALGEBRAIC GEOMETRY. R = QQ[v,w,x,y,z] S = QQ[a,b,c,d,e,f,g,h,i] p = map(R,S, {z, v*z, w*z, x*z, v*w*x*y*z, v*w*x^2*y^2*z, v*w^2*x^2*y^3*z, v*w^2*x^3*y^4*z, v*w^2*x^3*y^5*z}) IX = kernel p assert( degree IX == 18 ) assert( codim IX == 4 ) assert( pdim coker gens IX == 4 ) inIX = ideal leadTerm gens gb IX assert( codim inIX == 4 ) assert( pdim coker gens inIX == 5 ) S' = QQ[f,g,h,i,a,b,c,d,e] IX' = (map(S',S)) IX inIX' = ideal leadTerm gens gb IX' assert( codim inIX' == 4 ) assert( pdim coker gens inIX' == 4 ) end -- Local Variables: -- compile-command: "make -C $M2BUILDDIR/Macaulay2/packages/Macaulay2Doc/test 4d.out" -- End: