"Source: Text/Commut/PMod.text";
"Line: 2203";
"Date: Tue Sep  8 13:04:45 2020";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/PMod.text, line: 2203
// Example: H116E8 ()
print "Example: H116E8";
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);
