Top
Back: tau_es
Forward: esStratum
FastBack: deform_lib
FastForward: gmssing_lib
Up: equising_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.6.2 esIdeal

Procedure from library equising.lib (see equising_lib).

Usage:
esIdeal(f[,any]]); f poly

Assume:
f is a reduced bivariate polynomial, the basering has precisely two variables, is local and no qring, and the characteristic of the ground field does not divide mult(f).

Return:
if called with only one parameter: list of two ideals,
 
          _[1]:  equisingularity ideal of f (in sense of Wahl),
          _[2]:  ideal of equisingularity with fixed position of the
                 singularity;
if called with more than one parameter: list of three ideals,
 
          _[1]:  equisingularity ideal of f (in sense of Wahl)
          _[2]:  ideal of equisingularity with fixed position of the
                 singularity;
          _[3]:  ideal of all g such that the deformation defined by f+eg
                 (e^2=0) is isomorphic to an equisingular deformation
                 of V(f) with all equimultiple sections being trivial.

Note:
if some of the above condition is not satisfied then return value is list(0,0).

Example:
 
See also: esStratum; tau_es.


Top Back: tau_es Forward: esStratum FastBack: deform_lib FastForward: gmssing_lib Up: equising_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.