Changeset 6b82bf in git for Tst/Short/bug_tr659.tst

Timestamp:

Nov 4, 2014, 10:28:59 AM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

53544c2220f4d563930efa6defb2bfc482709a2a

Parents:

d1b07bbb98d7132b6aa0cda7d48dc948e89dae434f93661dc83e60199c1b7ddf3a991c3509497da2

Message:

Merge pull request #668 from surface-smoothers/update.test656

Update.test656

File:

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

Tst/Short/bug_tr659.tst

@@ -26 +26 @@
 
 // tr.656 (incomplete primary decomp with primdecSY)
-ring rng = (0),(y,g,t,b),dp;
-ideal I = -11658/12181*g*t*b-8219/674*g*b^2,307/3906*y^2+20884/14685*g^3+21229/26747*g,-3493/11608*y+13440/12053*g*t-1161/3359*b-1377/857;
-def L1 =  primdecSY(I,0);
-L1;
-def pc1 =  primdecSY(L1[1][1],0);
-pc1;
-size(pc1); // must be 1
+proc test656()
+{
+    ring rng656 = (0),(xy,xg,xt,xb),dp;
+    ideal I = -11658/12181*xg*xt*xb-8219/674*xg*xb^2,
+    307/3906*xy^2+20884/14685*xg^3+21229/26747*xg,
+    -3493/11608*xy+13440/12053*xg*xt-1161/3359*xb-1377/857;
+    def L1 =  primdecSY(I,0);
+    def pc1 =  primdecSY(L1[1][1],0);
+    ASSUME(0, size(pc1)==1);
+}
+int i ; 
+// repeat test, since the computation originaly failed occasionally, independent of random seed...
+for (i=1; i<12; i++)     {    test656();  }
 
 tst_status(1);$