5.1.86 minbase

Syntax:

minbase ( ideal_expression )
minbase ( module_expression )

Type:

the same as the type of the argument

Purpose:

returns a minimal set of generators of an ideal, resp. module, if the input is either homogeneous or if the ordering is local.

Note:

this command is not available over coefficient rings.

Example:

ring r=181,(x,y,z),(c,ls); ideal id2=x2+xyz,y2-z3y,z3+y5xz; ideal id4=maxideal(3)+id2; size(id4); ==> 13 minbase(id4); ==> _[1]=x2 ==> _[2]=xyz+x2 ==> _[3]=xz2 ==> _[4]=y2 ==> _[5]=yz2 ==> _[6]=z3