previous  next
GB.GetResLen
Syntax
GB.GetResLen(M:IDEAL or MODULE):INT
Summary
returns the length of the resolution computed so far
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 ::= 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
-------------------------------
See also: