|
D.6.9.3 extdevelop
Procedure from library hnoether.lib (see hnoether_lib).
- Usage:
- extdevelop(L,N); list L, int N
- Assume:
- L is the output of
develop(f) , or of extdevelop(l,n) ,
or one entry in the list hne in the ring created by
hnexpansion(f[,"ess"]) .
- Return:
- an extension of the Hamburger-Noether development of f as a list
in the same format as L has (up to the last entry in the output
of
develop(f) ).
Type help develop; , resp. help hnexpansion; for more
details.
- Note:
- The new HN-matrix will have at least N columns (if the HNE is not
finite). In particular, if f is irreducible then (in most cases)
extdevelop(develop(f),N) will produce the same result as
develop(f,N) .
If the matrix M of L has n columns then, compared with
parametrization(L) , paramametrize(extdevelop(L,N)) will increase the
exactness by at least (N-n) more significant monomials.
Example:
See also:
develop;
hnexpansion;
param.
|