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