|
D.5.5.12 displayMultsequence
Procedure from library hnoether.lib (see hnoether_lib).
- Usage:
- displayMultsequence(L);
- Assume:
- L is the output of
develop(f) , or of
extdevelop(develop(f),n) , or (one entry of) the output of
reddevelop(f) .
- Return:
- nothing
- Display:
- the sequence of multiplicities:
| - if L=develop(f) or L=reddevelop(f)[i] :
a , b , c , ....... , 1
- if L=reddevelop(f) :
[(a_1, .... , b_1 , .... , c_1)],
[(a_2, ... ), ... , (... , c_2)],
........................................ ,
[(a_n),(b_n), ....., (c_n)]
with:
a_1 , ... , a_n the sequence of multiplicities of the 1st branch,
[...] the multiplicities of the j-th transformed of all branches,
(...) indicating branches meeting in an infinitely near point.
|
- Note:
- The same restrictions for L as in
multsequence apply.
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((x6-y10)*(x+y2-y3)*(x+y2+y3));
displayMultsequence(hne[1]);
==> The sequence of multiplicities is 3,2,1
displayMultsequence(hne);
==> [(3,3,1,1)],
==> [(2,2,1,1)],
==> [(1,1),(1,1)],
==> [(1,1),(1),(1)],
==> [(1),(1),(1),(1)]
kill HNEring,r;
printlevel=plevel;
// --- restore HNEring if previously defined ---
if (defined(rettering)) {
setring rettering;
def HNEring=rettering;
export HNEring;
}
| See also:
develop;
multsequence;
reddevelop;
separateHNE.
|