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

Dir : ~/usr/share/doc/Macaulay2/Core/tests/

View File Name : schenck-book-3.m2

needsPackage "gfanInterface"
R=QQ[x,y]
assert( (I=ideal(x^7-1, y-x^5)) === ideal map((R)^1,(R)^{{-7},{-5}},{{x^7-1, -x^5+y}}) );
L1 = gfan I
L2 = {new MarkedPolynomialList from {{y^7,x},{y^7-1,-y^3+x}},
    new MarkedPolynomialList from {{x^3,x^2*y,y^3},{x^3-y^2,x^2*y-1,y^3-x}},
    new MarkedPolynomialList from {{x^5,x^2*y,y^2},{x^5-y,x^2*y-1,-x^3+y^2}},
    new MarkedPolynomialList from {{x^7,y},{x^7-1,-x^5+y}}}
assert(#L1 == #L2)
assert(all(4, i -> set transpose L1_i === set transpose L2_i))
end

print generateAssertions ///
needsPackage "gfanInterface"
R=QQ[x,y]
I=ideal(x^7-1, y-x^5)
gfan(I)
///