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
/
Edit File:
trim-GF.m2
-- From a bug reported by Dimitri.Markouchevitch@math.univ-lille1.fr -- Date: October 19, 2009 3:22:22 PM CDT p = 13; KK= GF( (ZZ/p[a])/ideal(a^4-a^3+a^2-a+1)); A2 = matrix {{0, 0, -3, 4*a^3-6*a^2-2*a+3, a^3-5*a^2+2*a-1, 6*a^3-6*a^2-4*a+6}, {0, -3, 0, 6*a^3-4*a^2+3*a, 3*a^3+5*a^2-6*a+5, 3*a^3-4*a^2+a+1}, {-3, 0, 0, a^3+2*a^2-5*a, -5*a^3+a^2+5*a-1, -3*a^3+6*a^2-4*a-5}, {0, 0, -3, -6*a^3+4*a^2+2*a-6, a^3+a^2+4*a, 3*a^3+6*a^2-1}, {0, -3, 0, -3*a^3+6*a^2-2*a+6, 4*a^3+3*a^2+5*a-5, -2*a^3+3*a^2+a+4}, {-3, 0, 0, -6*a^3+a^2-3*a+1, -3*a^3-5*a^2+4*a-6, -a^3-3*a^2-3*a+5}} kA2 = ker A2 assert(numgens trim image gens gb gens kA2 === 1 ) -- deferred: -- assert(numgens trim kA2 === 1) -- MES: need to change engine code about this, or incorporate more info into the engine.
Simpan