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 :
gbZZ-mingens.m2
R = ZZ[x,y] I = ideal(x^2, x*y-2*y^2, y^3) gens gb I J = trim I gens gb J -- this should be the same as I. assert(gens gb I == gens gb J) assert(I == J) R = ZZ[a,c] I = ideal"ac-a-c+1, a2+3c2-2a-6c+4, c3-3c2+3c-1" mingens I assert(gens gb I == gens gb mingens I) -- 'mingens' when computing a GB over ZZ[x,y] -- is not considering the coefficients... -- It needs to be more conservative... -- Here is another possible mingens bug: -- It seems to be handled OK. I was worried that -- when deferring a reduction, the 'mingens' flag -- might be lost. But apparently not... R = ZZ/32003[a..d] I = ideal"a2-b2,a30" gens gb I assert(ideal mingens I == I)