next | previous | forward | backward | up | top | index | toc | home

betti(Ideal) -- gives the degrees of generators.

Synopsis

Description

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).