Top
Back: 5.1.43 help
Forward: 5.1.45 hilb
FastBack: 5 Functions and system variables
FastForward: 6 Tricks and pitfalls
Up: 5.1 Functions
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

5.1.44 highcorner

Syntax:

highcorner ( ideal_expression )
highcorner ( module_expression )

Type:

poly, resp. vector

Purpose:

returns the smallest monomial not contained in the ideal, resp. module, generated by the initial terms of the given generators. If the generators are a standard basis, this is also the smallest monomial not contained in the ideal, resp. module.
If the ideal, resp. module, is not zero-dimensional, 0 is returned.

Note:

Let the ideal I be given by a standard basis. Then highcorner(I) returns 0 iff dim(I)>0 or dim(I)=-1. Otherwise it returns the smallest monomial m not in I which has the following properties (with xi the variables of the basering):

  • if xi > 1 then xi does not divide m (e.g., m=1 if the ordering is global)
  • given any set of generators f1,,fk of I, let fi be obtained from fi by deleting the terms divisible by xi m for all i with xi < 1. Then f1,,fk generate I.
Example:
ring r=0,(x,y),ds;
ideal i=x3,x2y,y3;
highcorner(std(i));
→ xy2
highcorner(std(ideal(1)));
→ 0

See dim; std; vdim.


Top Back: 5.1.43 help Forward: 5.1.45 hilb FastBack: 5 Functions and system variables FastForward: 6 Tricks and pitfalls Up: 5.1 Functions Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texinfo.