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