CoCoA:GBasisTimeout

GBasisTimeout

compute a Groebner basis with a timeout

Description

Same as <ttref>GBasis</ttref>, but it will stop and return an error if

the computation is not completed.

For dealing with errors see <ttref>Catch</ttref>.

For a limit on the degree see Example: Truncations.

Example

  Use R ::= Q[t,x,y,z];
  I := Ideal(t^3-x,t^4-y,t^5-z);
  J := I^5; Time G := GBasisTimeout(J, 1);
ERROR: Time expired: use $gb.Complete to complete the computation
CONTEXT: Error(GBasisTimeout_Err)
-------------------------------
  J := I^5; Time G := GBasisTimeout(J, 10);
Cpu time = 1.96, User time = 2
-------------------------------

Syntax

GBasisTimeout(M:IDEAL, MODULE, or TAGGED(<quotes>Quotient</quotes>), SECONDS:INT):LIST

Introduction to Groebner Bases in CoCoA

GBasis

GBasis5, and more

Catch

   <type>groebner</type>
   <type>groebner-basic</type>
   <type>ideal</type>
   <type>module</type>
   <type>quotient</type>