Top
Back: nonMonomials
Forward: facGBIdeal
FastBack: normaliz_lib
FastForward: primdec_lib
Up: pointid_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.17.2 cornerMonomials

Procedure from library pointid.lib (see pointid_lib).

Usage:
cornerMonomials(N); N ideal

Assume:
N is given by monomials satisfying the condition that if a monomial is in N then any of its factors is in N (N is then called an order ideal)

Return:
ideal, the corner-monomials of the order ideal N
The corner-monomials are the leading monomials of an ideal I s.t. N is a basis of basering/I.

Note:
In our applications, I is the vanishing ideal of a finte set of points.

Example:
 


Top Back: nonMonomials Forward: facGBIdeal FastBack: normaliz_lib FastForward: primdec_lib Up: pointid_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.