Top
Back: D.4.7.12 equidimMax
Forward: D.4.7.14 zerodec
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.4.7 primdec_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.4.7.13 equidimMaxEHV

Procedure from library primdec.lib (see primdec_lib).

Usage:

equidimMaxEHV(i); i ideal

Return:

ideal, the equidimensional component (of maximal dimension) of i.

Note:

Uses algorithm of Eisenbud, Huneke and Vasconcelos.

Example:

LIB "primdec.lib";
ring  r = 0,(x,y,z),dp;
ideal i=intersect(ideal(z),ideal(x,y),ideal(x2,z2),ideal(x5,y5,z5));
equidimMaxEHV(i);
→ _[1]=z

Top Back: D.4.7.12 equidimMax Forward: D.4.7.14 zerodec FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.4.7 primdec_lib 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 texi2html.