Top
Back: displayInvariants
Forward: displayMultsequence
FastBack: gaussman_lib
FastForward: mondromy_lib
Up: hnoether_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.5.11 intersection

Procedure from library hnoether.lib (see hnoether_lib).

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

Assume:
hne1, hne2 represent a HNE (i.e., are the output of develop(f), or of extdevelop(develop(f),n), or one entry of the output of reddevelop(f)).

Return:
int, the intersection multiplicity of the branches corresponding to hne1 and hne2.

Example:
 
LIB "hnoether.lib";
// -------- prepare for example ---------
if (nameof(basering)=="HNEring") {
def rettering=HNEring;
kill HNEring;
}
// ------ the example starts here -------
int plevel=printlevel; printlevel=-1;
ring r=0,(x,y),dp;
list hne=reddevelop((x2-y3)*(x2+y3));
intersection(hne[1],hne[2]);
==> 6
kill HNEring,r;
printlevel=plevel; 
// --- restore HNEring if previously defined ---
if (defined(rettering)) {
setring rettering;
def HNEring=rettering;
export HNEring;
}
See also: displayInvariants; reddevelop.


Top Back: displayInvariants Forward: displayMultsequence FastBack: gaussman_lib FastForward: mondromy_lib Up: hnoether_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-3, February 2002, generated by texi2html.