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
/
Macaulay2
/
MinimalPrimes
/
View File Name :
minprimes2-test.m2
-- from Issue https://github.com/Macaulay2/M2/issues/164 -- fixed 6 Nov 2014 MES. -- original ring from post: -- HCR = QQ(monoid[w_1, w_2, w_3, x_1, x_2, x_3, y_1, y_2, y_3, z_1, z_2, z_3, Degrees => {3:0, 3:1, 3:0, 3:1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {6:1}, Position => Up, GRevLex => {6:1}}, DegreeRank => 1]) -- same ring: HCR = QQ[w_1, w_2, w_3, x_1, x_2, x_3, y_1, y_2, y_3, z_1, z_2, z_3, Degrees => {3:0, 3:1, 3:0, 3:1}, MonomialOrder => {GRevLex => {6:1}, Position => Up, GRevLex => {6:1}}] SI = ideal(-w_1*x_1+w_2*x_2, -w_1*x_1+w_3*x_3, -y_1*z_1+y_2*z_2, -y_1*z_1+y_3*z_3, w_1*x_1-y_1*z_1, w_3*x_3-y_3*z_3, w_2*x_2-y_2*z_2, w_1*w_2*w_3-y_1*y_2*y_3, x_1*x_2*x_3-z_1*z_2*z_3) C = minimalPrimes(SI); assert(#C == 37) assert(all(C, i -> codim i === 6)) needsPackage "MinimalPrimes" C = minprimes SI; assert(#C == 37) assert(all(C, i -> codim i === 6)) needsPackage "Binomials" C = binomialMinimalPrimes(SI); assert(#C == 37) assert(all(C, i -> codim i === 6))