|
D.6.9.10 intersection
Procedure from library hnoether.lib (see hnoether_lib).
- Usage:
- intersection(hne1,hne2); hne1, hne2 lists
- Assume:
hne1, hne2 represent an HN expansion of an irreducible plane
curve singularity (that is, are the output of develop(f) , or of
extdevelop(develop(f),n) , or one entry of the list of HN data
computed by hnexpansion(f[,"ess"]) ).
- Return:
- int, the intersection multiplicity of the irreducible plane curve
singularities corresponding to
hne1 and hne2 .
Example:
| LIB "hnoether.lib";
ring r=0,(x,y),dp;
list Hne=hnexpansion((x2-y3)*(x2+y3));
==> // No change of ring necessary, return value is HN expansion.
intersection(Hne[1],Hne[2]);
==> 6
| See also:
displayInvariants;
hnexpansion.
|