"Source: Text/Commut/PMod.text";
"Line: 2366";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/PMod.text, line: 2366
// Example: H119E9 ()
print "Example: H119E9";
ei := GetEchoInput();
SetEchoInput(true);
Q := RationalField();
n := 3;
R<[x]> := PolynomialRing(Q, n);
I := Ideal([R.i: i in [1 .. n]]);
M := QuotientModule(I);
M;
C := FreeResolution(M);
C;
BoundaryMaps(C);
n := 10;
R<[x]> := PolynomialRing(Q, n);  
I := Ideal([R.i: i in [1 .. n]]);  
M := QuotientModule(I);  
time C := FreeResolution(M);  
C;
Terms(C);
B := BoundaryMaps(C);
B: Minimal;
[Binomial(n, i): i in [0 .. n]];
BettiTable(M);                                                        
$1 eq [[Binomial(n, i): i in [0 .. n]]];
assert $1;
Regularity(M);
assert $1 eq 0;
SetEchoInput(ei);
