Changeset 6c524f in git for Tst/Short/bug_charseries.tst

Timestamp:

May 21, 2014, 10:04:39 AM (10 years ago)

Author:

Jakob Kröker <kroeker@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

2bd45fc26c7e962b468e9ee5a36f1169c6b8483b

Parents:

031e12cab7325e9d6859e6b33ed34000f6a8c1ba

Message:

added a test for empty char series

File:

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

Tst/Short/bug_charseries.tst

@@ -4 +4 @@
 
 LIB "primdec.lib";
+LIB("ehv.lib");
 ring r = 0,(x,y,z),lp;
 def p=z^2 + 1;
@@ -27 +28 @@
 sage31;
 
+// empty char series
+
+ideal I = -3*y^2-3, -3*x^2+1, -x*y+2*z^2;
+def L1 = primdecGTZ(I);
+def L2 = primdecSY(I);
+ASSUME(0, primDecsAreEquivalent(L1, L2) );
+L2;
+
 tst_status(1);$