GB.GetResLen(M:IDEAL or MODULE):INT

returns the length of the resolution computed so far

This function, if used after executing 'Res(M)', prints the length of
the resolution for M.  Within the Interactive Groebner Framework, in
which resolutions may be computed one step at a time, the function
returns the length of the part of the resolution computed so far.  See
'GB.GetRes' for an example.

Use R ::= Q[t,x,y,z];
I := Ideal(x^2-yt,xy-zt,xy);
Res(I);
0 --> R^2(-5) --> R^4(-4) --> R^3(-2)
-------------------------------
GB.GetResLen(I);
3
-------------------------------

• GB.GetBettiMatrix
• GB.GetRes
• Res
• The Interactive Groebner Framework