CoCoA:GB.GetResLen

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

GB.GetResLen

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 <ttref>GB.GetRes</ttref> for an example.

Example

  Use R ::= Q[t,x,y,z];
  I := Ideal(x^2-yt,xy-zt,xy);
  Res(I);
0 --&gt; R^2(-5) --&gt; R^4(-4) --&gt; R^3(-2)
-------------------------------
  $gb.GetResLen(I);
3
-------------------------------

Syntax

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

GB.GetBettiMatrix

GB.GetRes

Res

The Interactive Groebner Framework

   <type>groebner</type>
   <type>groebner-interactive</type>
   <type>ideal</type>
   <type>module</type>