Changeset c06ecc in git for Tst/Short/bug_primdec.tst

Timestamp:

Oct 15, 2014, 6:31:01 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

2ce9848f1ee079e74077e0d40f8e3680757066cf2f4dd5a87dcf29d41537f40a475736e40e368990

Parents:

18f7ec4086c8cf26381fcff05f5d5583122db84d9816f392b7b239b26d4d6f3758f36db684ebdb07

Message:

Merge pull request #654 from surface-smoothers/fix.primdec.isSBproperty

fixed one more isSB property issue

File:

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

Tst/Short/bug_primdec.tst

@@ -6 +6 @@
 list pr= prepareAss(i);
 pr;
+
+////////////////////////////////////////////////////////////////
+// test that one more 'is no standard basis' warning is gone away
+system("random",1452807367);
+proc primdecMinpolyExample()
+{
+    ring rng = (7,vv),(x,y,z,u),dp;
+    minpoly =  vv^2+vv+3;
+    ideal I = (-3*vv-1)*u^2+2,2*x*z+(2*vv-2)*x+(2*vv+1),(vv+2)*x^2*u+(2*vv+1)*z^2*u+(vv)*z*u^2;
+    list result = minAssGTZ (I);
+}
+
+// increase call depth:
+proc testPrimdecMinpolyExample()  {    return( primdecMinpolyExample() );   }
+testPrimdecMinpolyExample();
+
+
 LIB "tst.lib"; tst_status(1);
 $