Singular

7.5.5.0. engine

Usage:

engine(I,i); I ideal/module/matrix, i an int

Return:

the same type as I

Purpose:

compute the Groebner basis of I with the algorithm, chosen via i

Note:

By default and if i=0, slimgb is used; otherwise std does the job.

LIB "dmodapp.lib";
ring r = 0,(x,y),Dp;
ideal I  = y*(x3-y2),x*(x3-y2);
engine(I,0); // uses slimgb
==> _[1]=x3y-y3
==> _[2]=x4-xy2
engine(I,1); // uses std
==> _[1]=x3y-y3
==> _[2]=x4-xy2