up previous next
GB.GetResLen

returns the length of the resolution computed so far

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

Description
***** NOT YET IMPLEMENTED *****

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