Home Online Manual
Top
Back: min
Forward: minor
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.91 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
See mstd.