Changeset 0b7852 in git for Tst

Timestamp:

Nov 1, 2017, 3:03:17 AM (6 years ago)

Author:

Janko Boehm <boehm@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

960633f71842b0e1bbd77a0f4b2babbe11f8b0f2

Parents:

728911aca5463039a24395ef4abdea9751320992

Message:

New test file for realclassify.lib

File:

• Tst/Short/realclassify_s.tst (modified) (2 diffs)

Tst/Short/realclassify_s.tst

@@ -2 +2 @@
 tst_init();
 
-LIB "realclassify.lib";
+LIB "realclassify2.lib";
 
 ring r = 0, (x,y,z), ds;
 poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
-realclassify(f, "nice");
-
 realmorsesplit(f);
 
@@ -17 +15 @@
 determinacy(g);
 
+
+ring R = 0, (x,y),ls;
+map phi = R, x+x*y+y^2+x^2+x^2*y+y^3,y+y*x+y^2*x+y^3+y^4+x^2+x^3;
+
+
+
+
+poly p = x^2*y+y^3;  // D4+
+p = phi(p);
+realclassify(p);
+
+
+poly p = x^2*y-y^3;  // D4-
+p = phi(p);
+realclassify(p);
+basering;
+
+poly p = x^2*y+y^7;  // D8+
+p = phi(p);
+realclassify(p);
+
+
+poly p = x^2*y-y^7;  // D8-
+p = phi(p);
+realclassify(p);
+
+poly p = x^3+y^4;  // E6+
+p = phi(p);
+realclassify(p);
+
+
+poly p = x^3-y^4;  // E6-
+p = phi(p);
+realclassify(p);
+
+poly p = x^3+x*y^3;  // E7
+p = phi(p);
+realclassify(p);
+
+poly p = x^3+y^5;  // E8
+p = phi(p);
+realclassify(p);
+
+poly p = x^3-2*x*y^4;  // J10
+p = phi(p);
+realclassify(p);
+
+poly p = x^3+3*y^6;  // J10   n=1;
+p = phi(p);
+realclassify(p);
+
+poly p = x^3+x*y^4;  // J10   n=1;
+p = phi(p);
+milnornumber(p);
+realclassify(p);
+
+
+poly p = x^3-3*x*y^4-y^6;  // J10  n=3
+p = phi(p);
+realclassify(p);
+
+poly p = x^3-3*x*y^4+y^6;  // J10  n=3
+p = phi(p);
+realclassify(p);
+
+poly p = x^3+10*x^2*y^2-x*y^4;  // J10  n=3
+p = phi(p);
+realclassify(p);
+
+poly f  = x^3+x^2*y^2+4*y^9;  //J[13]+
+f=phi(f);
+realclassify(f);
+
+poly f  = x^3-3*x^2*y^2+4*y^9;  //J[13]-
+f=phi(f);
+realclassify(f);
+
+
+poly f  = -x^4-3*x^2*y^2+3*y^9;  //X[14]--
+f=phi(f);
+realclassify(f);
+
+poly f  = x^4-x^2*y^2+3*y^9;  //X[14]+-
+f=phi(f);
+realclassify(f);
+
+poly f  = -x^4+x^2*y^2+3*y^9;  //X[14]-+
+f=phi(f);
+realclassify(f);
+
+poly f  = x^4+x^2*y^2+3*y^9;  //X[14]++
+f=phi(f);
+realclassify(f);
+
+
+poly f  = x^3+y^7+3*x*y^5;  // E[12]
+f=phi(f);
+realclassify(f);
+
+poly f  = 3*x^3+y^7+3*x*y^5;  // E[12]
+f=phi(f);
+realclassify(f);
+
+poly f  = x^3+x*y^5+4*y^8;  // E[13]
+f=phi(f);
+realclassify(f);
+
+poly f  = 3*x^3+x*y^5+4*y^8;  // E[13]
+f=phi(f);
+realclassify(f);
+
+poly f  = x^3+y^8+2*x*y^6;  // E[14]+
+f=phi(f);
+realclassify(f);
+
+// ?????
+poly f  = 3*x^3-y^8+2*x*y^6;  // E[14]-
+f=phi(f);
+realclassify(f);
+
+poly f  = x^3*y+y^5+5*x*y^4;  // Z[11]
+f=phi(f);
+realclassify(f);
+
+
+poly f  = 3*x^3*y+y^5+5*x*y^4;  // Z[11]
+f=phi(f);
+realclassify(f);
+
+poly f  = x^3*y+x*y^4+6*x^2*y^3;  // Z[12]
+f=phi(f);
+realclassify(f);
+
+poly f  = 3*x^3*y+x*y^4+6*x^2*y^3;  // Z[12]
+f=phi(f);
+realclassify(f);
+
+poly f  = x^3*y-y^6+2*x*y^5;  // Z[13]-
+f=phi(f);
+realclassify(f);
+
+poly f  = 3*x^3*y+y^6+2*x*y^5;  // Z[13]+
+f=phi(f);
+realclassify(f);
+
+poly f  = x^4+y^5+x^2*y^3;  // W[12]+
+f=phi(f);
+realclassify(f);
+
+poly f  = -3*x^4+y^5+x^2*y^3;  // W[12]-
+f=phi(f);
+realclassify(f);
+
+poly f  = -x^4+x*y^4+y^6;  // W[13]-
+f=phi(f);
+realclassify(f);
+
+poly f  = 3*x^4+x*y^4+y^6;  // W[13]+
+f=phi(f);
+realclassify(f);
+
+poly p = 5*x^2*y^2+x^7+y^7; // Y7,7
+p=phi(p);
+realmorsesplit(p,7);
+realclassify(p);
+
+poly p = 5*x^2*y^2+x^6+y^7; // Y6,7
+p = phi(p);
+realclassify(p);
+
+poly p = -3*x^2*y^2+2*x^6+y^8; // Y6,8
+p = phi(p);
+realclassify(p);
+
+
+poly p = -x^2*y^2-x^6-y^8; // Y6,8
+p = phi(p);
+realclassify(p);
+
+poly p = x^2*y^2+x^5+y^9; // Y5,9
+p = phi(p);
+realclassify(p);
+
+poly p = 5*(x^2-2*y^2)^2+y^7;
+p = phi(p);
+realclassify(p);
+
+poly p = (x^2-2*y^2)^2+y^8;
+p = phi(p);
+realclassify(p);
+
+poly p = 5*(x^2+y^2)^2+y^7; // \tildeY7
+p = phi(p);
+realclassify(p);
+
+poly p = 5*(x^2+y^2)^2+y^8; // \tildeY8
+p = phi(p);
+realclassify(p);
+
+//case X9
+poly p = x^4-x^2*y^2+5*y^4+x*y^3+x^3*y;
+realclassify(p);
+poly p = -x^4-x^2*y^2+5*y^4+x*y^3;
+realclassify(p);
+poly p = x^4-x^2*y^2-5*y^4+x*y^3;
+realclassify(p);
+poly p = -x^4-x^2*y^2-5*y^4+x*y^3;
+realclassify(p);
+
+
+  ring r = 0, (x,y,z), ds;
+  poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
+  list NFR = realclassify(f);
+  NFR;
+  addnondegeneratevariables(NFR[1]);
+
+
+
 tst_status(1);$