Changeset 712167 in git

Timestamp:

Jul 13, 2007, 2:08:34 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

043cba9d4d180ed9cd19fd2212f6b7e506874565

Parents:

be4db46303a610786bdd624ae324eb267ae77931

Message:

*hannes: hne id


git-svn-id: file:///usr/local/Singular/svn/trunk@10200 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/hnoether.lib (modified) (12 diffs)

Singular/LIB/hnoether.lib

@@ -1 @@
-version="$Id: hnoether.lib,v 1.53 2006-08-02 15:40:51 Singular Exp $";
+version="$Id: hnoether.lib,v 1.54 2007-07-13 12:08:34 Singular Exp $";
 category="Singularities";
 info="
@@ -892 +892 @@
 { "EXAMPLE:"; echo = 2;
   ring exring = 7,(x,y),ds;
-  list hne=develop(4x98+2x49y7+x11y14+2y14);
-  print(hne[1]);
+  list Hne=develop(4x98+2x49y7+x11y14+2y14);
+  print(Hne[1]);
   // therefore the HNE is:
   // z(-1)= 3*z(0)^7 + z(0)^7*z(1),
@@ -902 +902 @@
   // (the missing x in the last line indicates that it is not complete.)
   hne[2];
-  param(hne);
+  param(Hne);
   // parametrization:   x(t)= -t^14+O(t^21),  y(t)= -3t^98+O(t^105)
   // (the term -t^109 in y may have a wrong coefficient)
-  displayHNE(hne);
+  displayHNE(Hne);
 }
 
@@ -1059 +1059 @@
  ring exring=0,(x,y,t),ds;
  poly f=x3+2xy2+y2;
- list hne=develop(f);
- list hne_extended=extdevelop(hne,10);
+ list Hne=develop(f);
+ list hne_extended=extdevelop(Hne,10);
             //   compare the HNE matrices ...
- print(hne[1]);
- print(hne_extended[1]);
+ print(Hne[1]);
+ print(Hne_extended[1]);
             // ... and the resulting parametrizations:
- param(hne);
+ param(Hne);
  param(hne_extended);
  param(hne_extended,0);
@@ -1257 +1257 @@
 { "EXAMPLE:"; echo = 2;
  ring exring=0,(x,y),dp;
- list hne=develop(y4+2x3y2+x6+x5y);
- list INV=invariants(hne);
+ list Hne=develop(y4+2x3y2+x6+x5y);
+ list INV=invariants(Hne);
  INV[1];                   // the characteristic exponents
  INV[2];                   // the generators of the semigroup of values
@@ -1265 +1265 @@
  INV[6];                   // the sequence of multiplicities
                            // To display the invariants more 'nicely':
- displayInvariants(hne);
+ displayInvariants(Hne);
  /////////////////////////////
  INV=invariants((x2-y3)*(x3-y5));
@@ -1422 +1422 @@
 { "EXAMPLE:"; echo = 2;
  ring exring=0,(x,y),dp;
- list hne=develop(y4+2x3y2+x6+x5y);
- displayInvariants(hne);
+ list Hne=develop(y4+2x3y2+x6+x5y);
+ displayInvariants(Hne);
 }
 ///////////////////////////////////////////////////////////////////////////////
@@ -1605 +1605 @@
   "EXAMPLE:"; echo = 2;
   ring r=0,(x,y),dp;
-  list hne=hnexpansion((x2-y3)*(x2+y3));
-  intersection(hne[1],hne[2]);
+  list Hne=hnexpansion((x2-y3)*(x2+y3));
+  intersection(Hne[1],Hne[2]);
 }
 ///////////////////////////////////////////////////////////////////////////////
@@ -1761 +1761 @@
   "EXAMPLE:"; echo = 2;
   ring r=0,(x,y),dp;
-  list hne=hnexpansion((x6-y10)*(x+y2-y3)*(x+y2+y3));
-  multsequence(hne[1]),"  |  ",multsequence(hne[2]),"  |  ",
-  multsequence(hne[3]),"  |  ",multsequence(hne[4]);
-  multsequence(hne);
+  list Hne=hnexpansion((x6-y10)*(x+y2-y3)*(x+y2+y3));
+  multsequence(Hne[1]),"  |  ",multsequence(Hne[2]),"  |  ",
+  multsequence(Hne[3]),"  |  ",multsequence(Hne[4]);
+  multsequence(Hne);
   // The meaning of the entries of the 2nd matrix is as follows:
-  displayMultsequence(hne);
+  displayMultsequence(Hne);
 }
 ///////////////////////////////////////////////////////////////////////////////
@@ -2542 +2542 @@
   "EXAMPLE:"; echo = 2;
   ring exring=0,(x,y),dp;
-  list hne=hnexpansion(x14-3y2x11-y3x10-y2x9+3y4x8+y5x7+3y4x6+x5*(-y6+y5)
+  list Hne=hnexpansion(x14-3y2x11-y3x10-y2x9+3y4x8+y5x7+3y4x6+x5*(-y6+y5)
                       -3y6x3-y7x2+y8);
-  displayHNE(hne);    // HNE of 1st,3rd branch is finite
-  print(extdevelop(hne[1],5)[1]);
-  list ehne=extdevelop(hne[2],5);
+  displayHNE(Hne);    // HNE of 1st,3rd branch is finite
+  print(extdevelop(Hne[1],5)[1]);
+  list ehne=extdevelop(Hne[2],5);
   displayHNE(ehne);
-  param(hne[2]);
+  param(Hne[2]);
   param(ehne);
 
@@ -2585 +2585 @@
   "EXAMPLE:"; echo = 2;
   ring r=0,(x,y),dp;
-  list hne=develop(x2+y3+y4);
-  hne;
-  stripHNE(hne);
+  list Hne=develop(x2+y3+y4);
+  Hne;
+  stripHNE(Hne);
 }
 ///////////////////////////////////////////////////////////////////////////////
@@ -2854 +2854 @@
   ring r=0,(x,y),dp;
   // First, an example which requires no field extension:
-  list hne=hnexpansion(x4-y6);
-  size(hne);           // number of branches
-  displayHNE(hne);     // HN expansion of branches
-  param(hne[1]);       // parametrization of 1st branch
-  param(hne[2]);       // parametrization of 2nd branch
+  list Hne=hnexpansion(x4-y6);
+  size(Hne);           // number of branches
+  displayHNE(Hne);     // HN expansion of branches
+  param(Hne[1]);       // parametrization of 1st branch
+  param(Hne[2]);       // parametrization of 2nd branch
 
   // An example which requires a field extension: