Changeset cc07066 in git for Tst/Short/pfd.tst

Timestamp:

Aug 31, 2020, 11:57:27 AM (4 years ago)

Author:

Janko Boehm <bohem@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

fdea544a15d2eb16f952ba088de11e5efa5494d9

Parents:

6924d452049dc8bfbb851672c4b3ceac05081b6c

Message:

update

File:

• Tst/Short/pfd.tst (modified) (5 diffs)

Tst/Short/pfd.tst

@@ -6 +6 @@
 example pfd;
 
-/* pfd(poly,poly) */
+// pfd(poly,poly) //////////////////////////////////////////////////////////////
 ring r1 = 0, x(1..5), dp;
 poly f = -2*x(1)*x(3)+3*x(3)*x(4)+x(2)*x(5)+x(3)*x(5)-x(4)*x(5);
@@ -32 +32 @@
 kill dec;
 
+
+// pfd(poly,list) (denominator = ideal of factors & intvec of exponents) ///////
 ring r3 = 5, (x,y,z), dp;
-poly f = 2*x^3-x^2*y+x*y^2+y^3-2*x^2*z-2*x*y*z-y^2*z+2*x*z^2+y*z^2-2*z^3;
-poly g = (x^2+3*y)^2*(x-2*y^2)*(x+y+1)^3*(2*x+3*y+4)*(x^2-x*y+y^2);
+poly f = x+y+z+1;
+list g = list(ideal((x^2+y^2+z^2),(x+y^2),(y+z^2),(z+x^2)), intvec(2,1,1,1));
+list dec = pfd(f,g);
+displaypfd(dec);
+checkpfd(list(f,g), dec);
+checkpfd(list(f,g), dec, 10);
+kill dec;
+
+// different ordering, same polynomials:
+ring r4 = 5, (x,y,z), lp;
+poly f = fetch(r3,f);
+list g = fetch(r3,g);
 list dec = pfd(f,g);
 displaypfd(dec);
@@ -41 +53 @@
 kill dec;
 
-ring r4 = 5, (x,y,z), lp;
-poly f = fetch(r3,f);
-poly g = fetch(r3,g);
-list dec = pfd(f,g);
-displaypfd(dec);
-checkpfd(list(f,g), dec);
-checkpfd(list(f,g), dec,10);
-kill dec;
 
-/* pfd(list) */
+// pfd(list) ///////////////////////////////////////////////////////////////////
 ring s1 = 0, (x,y,z), dp;
 poly f1 = x*y+y*z+z*x-x-y-z+1;
@@ -68 +72 @@
 kill dec;
 
-/* pfd(matrix) */
+// pfd(matrix) /////////////////////////////////////////////////////////////////
 ring s2 = 3, (x,y,z), dp;
 poly f11 = (x+y+z+1)^3;
@@ -85 +89 @@
 displaypfd(dec[2][1]);
 displaypfd(dec[2][2]);
-checkpfd(list(f11,g11), dec[1][1]);
-checkpfd(list(f12,g12), dec[1][2]);
-checkpfd(list(f21,g21), dec[2][1]);
-checkpfd(list(f22,g22), dec[2][2]);
+checkpfd(list(f1,g1), dec[1][1]);
+checkpfd(list(f2,g2), dec[1][2]);
+checkpfd(list(f3,g3), dec[2][1]);
+checkpfd(list(f4,g4), dec[2][2]);
 kill dec;