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 ::= 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