The output is the degrees of generators and relations of the quotient of the ambient ring by the ideal.
i1 : S = ZZ/10007[x,y];
|
i2 : I = ideal(x^2,y^3);
o2 : Ideal of S
|
i3 : betti I
0 1
o3 = total: 1 2
0: 1 .
1: . 1
2: . 1
o3 : BettiTally
|
For an explanation of the diagram, see
betti(ChainComplex).