|
D.5.5.17 puiseux2generators
Procedure from library hnoether.lib (see section hnoether_lib).
- Usage:
puiseux2generators(m,n); m,n intvec
- Assume:
m, resp. n, represent the 1st, resp. 2nd, components of Puiseux pairs
(e.g., m=invariants(L)[3] , n=invariants(L)[4] ).
- Return:
intvec of the generators of the semigroup of values.
Example:
LIB "hnoether.lib";
// take (3,2),(7,2),(15,2),(31,2),(63,2),(127,2) as Puiseux pairs:
puiseux2generators(intvec(3,7,15,31,63,127),intvec(2,2,2,2,2,2));
→ 64,96,208,424,852,1706,3413
See also:
invariants.
|