Home Online Manual
Top
Back: puiseux2generators
Forward: squarefree
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.17 separateHNE

Procedure from library hnoether.lib (see hnoether_lib).

Usage:
separateHNE(hne1,hne2); hne1, hne2 lists

Assume:
hne1, hne2 are HNEs (=output of develop(f), extdevelop(develop(f),n), or one entry in the list hne in the ring created by hnexpansion(f[,"ess"]).

Return:
number of quadratic transformations needed to separate both curves (branches).

Example:
 
LIB "hnoether.lib";
int p=printlevel; printlevel=-1;
ring r=0,(x,y),dp;
list hne1=develop(x);
list hne2=develop(x+y);
list hne3=develop(x+y2);
separateHNE(hne1,hne2);  // two transversal lines
==> 1
separateHNE(hne1,hne3);  // one quadratic transform. gives 1st example
==> 2
printlevel=p;
See also: develop; displayMultsequence; hnexpansion; multsequence.