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