up previous next
GB.GetResLen

returns the length of the resolution computed so far
Syntax 

$gb.GetResLen(M:IDEAL or MODULE):INT

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

Example 
  Use R ::= QQ[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
-------------------------------


See Also