Top
Back: hnexpansion
Forward: extdevelop
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.2 develop

Procedure from library hnoether.lib (see hnoether_lib).

Usage:
develop(f [,n]); f poly, n int

Assume:
f is a bivariate polynomial (in the first 2 ring variables) and irreducible as power series (for reducible f use hnexpansion).

Return:
list L with:

L[1]; matrix:
Each row contains the coefficients of the corresponding line of the Hamburger-Noether expansion (HNE). The end of the line is marked in the matrix by the first ring variable (usually x).
L[2]; intvec:
indicating the length of lines of the HNE
L[3]; int:
0 if the 1st ring variable was transversal (with respect to f),
1 if the variables were changed at the beginning of the computation,
-1 if an error has occurred.
L[4]; poly:
the transformed polynomial of f to make it possible to extend the Hamburger-Noether development a posteriori without having to do all the previous calculation once again (0 if not needed)
L[5]; int:
1 if the curve has exactly one branch (i.e., is irreducible),
0 else (i.e., the curve has more than one HNE, or f is not valid).

Display:
The (non zero) elements of the HNE (if not called by another proc).

Note:
The optional parameter n affects only the computation of the LAST line of the HNE. If it is given, the HN-matrix L[1] will have at least n columns.
Otherwise, the number of columns will be chosen minimal such that the matrix contains all necessary information (i.e., all lines of the HNE but the last (which is in general infinite) have place).
If n is negative, the algorithm is stopped as soon as the computed information is sufficient for invariants(L), but the HN-matrix L[1] may still contain undetermined elements, which are marked with the 2nd variable (of the basering).
For time critical computations it is recommended to use ring ...,(x,y),ls as basering - it increases the algorithm's speed.
If printlevel>=0 comments are displayed (default is printlevel=0).

Example:
 
See also: displayHNE; extdevelop; hnexpansion.


Top Back: hnexpansion Forward: extdevelop 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.