|
D.5.5.10 displayInvariants
Procedure from library hnoether.lib (see hnoether_lib).
- Usage:
- displayInvariants(L); L list
- Assume:
- L is the output of
develop(f) , or of
extdevelop(develop(f),n) , or (one entry of) the output of
reddevelop(f) .
- Return:
- none
- Display:
- invariants of the corresponding branch, resp. of all branches,
in a better readable form.
Example:
| LIB "hnoether.lib";
ring exring=0,(x,y),dp;
list hne=develop(y4+2x3y2+x6+x5y);
==> h(0) = 1
==> a(1,2) = -1
==> h(1) = 2
==> a(2,2) = -1
==> a(2,3) = -2
displayInvariants(hne);
==> characteristic exponents : 4,6,7
==> generators of semigroup : 4,6,13
==> Puiseux pairs : (3,2)(7,2)
==> degree of the conductor : 16
==> delta invariant : 8
==> sequence of multiplicities: 4,2,2,1
| See also:
develop;
intersection;
invariants;
reddevelop.
|