Home Online Manual
Top
Back: deleteGenerator
Forward: isInt
FastBack: dmod_lib
FastForward: dmodvar_lib
Up: dmodapp_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.5.0. engine
Procedure from library dmodapp.lib (see dmodapp_lib).

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.

Example:
 
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