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 :
gbZZ13.m2
-- -*- M2 -*- A = ZZ[x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13] f0 = ((x3 * x0) - (1)) f1 = ((x1 * x3) - (((3) * (x5 ^ 2)) + (((2) * (x9 * x5)) + (x10 - (x6 * x4))))) f2 = ((x2 * x3) - (-((x5 ^ 3)) + ((x10 * x5) + (((2) * x12) - (x7 * x4))))) f3 = (x11 - ((x1 ^ 2) + (((x6 * x1) - x9) - ((2) * x5)))) f4 = (x8 - (((-((x1 + x6)) * x11) - x2) - x7)) f5 = (x3 - (((2) * x4) + ((x6 * x5) + x7))) f6 = (((x4 ^ 2) + ((x6 * (x5 * x4)) + (x7 * x4))) - ((x5 ^ 3) + ((x9 * (x5^ 2)) + ((x10 * x5) + x12)))) f7 = (((((x8 ^ 2) + ((x6 * (x11 * x8)) + (x7 * x8))) - ((x11 ^ 3) + ((x9 * (x11 ^ 2)) + ((x10 * x11) + x12)))) * x13) - (1)) I = ideal(f0,f1,f2,f3,f4,f5,f6,f7) assert isMember(1, I)