Changeset c91fefd in git for Tst/Short/equising_s.tst

Timestamp:

Nov 8, 2005, 7:17:25 PM (18 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

120c517824adf0e2f616cd70afef52a65d2683a7

Parents:

09171bdbde9e017eae7fe839e8512982e2f9d70f

Message:

*lossen: new lib, more examples


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

File:

• Tst/Short/equising_s.tst (modified) (1 diff)

Tst/Short/equising_s.tst

@@ -135 +135 @@
 reduce(F,std(M[1][1]));
 kill LL,Px,r;
+
 /////////////////////////////////////////////////
-
+//              MEGA 05 Example
+ring R = 0, (x,y), ls;
+poly f = (y4-x4)^2 - x10;
+list L = versal(f);        //compute semiuniversal deformation
+def Px=L[1]; setring Px;
+poly F = Fs[1,1];          
+list M=esStratum(F);       //compute the equisingularity stratum
+def ESSring = M[1]; setring ESSring;
+option(redSB);
+ES = std(ES);
+size(ES);    //-> 42
+ES[1];       //-> 8*A(1)+8*A(22)+A(1)^3
+ES[34];      //-> 8*A(40)-A(1)^2+A(1)*A(22)
+poly F = reduce(imap(Px,F),ES);  //A(1),A(22) both appear in F
+poly g = subst(F, A(22), -A(1)-(1/8)*A(1)^3); 
+for (int ii=1; ii<=44; ii++){ g = subst(g,A(ii),random(1,100)); }
+setring R;
+milnor(f);                //-> 57
+milnor(imap(ESSring,g));  //-> 57
+kill R,L,Px,M,ESSring,ii;