Changeset 086688b in git

Timestamp:

Feb 11, 2015, 11:14:18 PM (9 years ago)

Author:

Jakob Kröker <kroeker@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

a49981325f042bf9961a55c3012172f3ad525719

Parents:

ba68419b3ac117ee2dadc0972c99d83101aa359b

Message:

fix assume in zerodec

File:

• Singular/LIB/primdec.lib (modified) (1 diff)

Singular/LIB/primdec.lib

@@ -7392 +7392 @@
   ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(2, dim(groebner(I))==1 );
+  ASSUME(2, dim(groebner(I))==0 );
   if(attrib(basering,"global")!=1)
   {