|
D.6.4.10 plainInvariants
Procedure from library curvepar.lib (see curvepar_lib).
- Usage:
- plainInvariants(i); i ideal
- Assume:
- i is the defining ideal of a (reducible) plane curve singularity.
- Return:
- list L of charts. L[j] is the invariants of the jth branch and the last entry
of L is a list containing the intersection matrix,contact matrix,resolution
graph of the curve.
L[j][1]: intvec (characteristic exponents of the jth branch)
L[j][2]: intvec (generators of the semigroup of the jth branch)
L[j][3]: intvec (first components of the puiseux pairs of the jth branch)
L[j][4]: intvec (second components of the puiseux pairs of the jth branch)
L[j][5]: int (degree of conductor of the jth branch)
L[j][6]: intvec (multiplicity sequence of the jth branch.
L[last][1]: intmat (intersection matrix of the branches)
L[last][2]: intmat (contact matrix of the branches)
L[last][3]: intmat (resolution graph of the curve)
Example:
See also:
CharacteristicExponents;
ContactMatrix;
IntersectionMatrix;
MultiplicitySequence.
|