GBasis TimeOut -- compute a Groebner basis with a timeout |
Syntax |
GBasis_TimeOut(I: IDEAL, TimeLimit: INT): LIST GBasis_TimeOut(M: MODULE, TimeLimit: INT): LIST |
Description |
Example |
/**/ use R ::= QQ[t,x,y,z]; /**/ I := ideal(t^3-x, t^4-y, t^5-z); /**/ J := I^5; -- /**/ G := GBasis_TimeOut(J, 0.1); --> !!! ERROR !!! as expected: Computation exceeded given time limit /**/ J := I^5; G := GBasis_TimeOut(J, 10); --> OK |
See Also |