up previous next
GBasisTimeout

compute a Groebner basis with a timeout
Syntax

GBasisTimeout(M:IDEAL, MODULE, or TAGGED("Quotient"), SECONDS:INT):LIST


Description
Same as GBasis , but it will stop and return an error if the computation is not completed.

For dealing with errors see Catch .

For a limit on the degree see Example: Truncations.

Example
  Use R ::= QQ[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
-------------------------------


See Also