|
D.6.13.14 Tjurina
Procedure from library sing.lib (see sing_lib).
- Usage:
- Tjurina(id[,<any>]); id=ideal or poly
- Assume:
- id=ICIS (isolated complete intersection singularity)
- Return:
- standard basis of Tjurina-module of id,
of type module if id=ideal, resp. of type ideal if id=poly.
If a second argument is present (of any type) return a list:
[1] = Tjurina number,
[2] = k-basis of miniversal deformation,
[3] = SB of Tjurina module,
[4] = Tjurina module
- Display:
- Tjurina number if printlevel >= 0 (default)
- Note:
- Tjurina number = -1 implies that id is not an ICIS
Example:
|