up previous next
PrintBettiDiagram

the diagram of the graded Betti numbers

Syntax
PrintBettiDiagram(X: IDEAL or (quotient)RING or MODULE)
PrintBettiDiagram(X: LIST(res) or RECORD(diagram))

Description
This function prints the ("Macaulay-style") Betti diagram for M .

Example
/**/  use R ::= QQ[t,x,y,z];
/**/  I := ideal(x^2-y*t, x*y-z*t, x*y);
/**/  RES := res(I);
/**/  PrintRes(RES);
0 --> R(-5)^2 --> R(-4)^4 --> R(-2)^3
/**/  B := BettiDiagram(RES);  indent(B);
record[
  Diagram := matrix(ZZ,
 [[3, 0, 0],
  [0, 4, 2]]),
  FirstShift := 2
]
/**/  PrintBettiDiagram(RES); -- same as PrintBettiDiagram(I or B)
        0    1    2
--------------------
 2:     3    -    -
 3:     -    4    2
--------------------
Tot:    3    4    2

See Also