Top
Back: develop
Forward: param
FastBack: gmspoly_lib
FastForward: kskernel_lib
Up: hnoether_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.


Top Back: develop Forward: param FastBack: gmspoly_lib FastForward: kskernel_lib Up: hnoether_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.