"Source: Text/Commut/PMod.text";
"Line: 2204";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/PMod.text, line: 2204
// Example: H119E8 ()
print "Example: H119E8";
ei := GetEchoInput();
SetEchoInput(true);
R<x,y> := PolynomialRing(RationalField(), 2, "grevlex");
L := [<0, 0>, <1, 0>, <0, 1>, <2, 1>, <1, 2>, <3, 3>];
I := Ideal(L, R);
I;
M := QuotientModule(I);
M;
C := FreeResolution(M: Minimal := false);
C;
B := BoundaryMaps(C);
B;
IsZero(B[2]*B[3]);
assert $1;
U := Minors(Matrix(B[2]), 3); 
U;
Ideal(U) eq I;
assert $1;
SetEchoInput(ei);
