Changeset eb55f8a in git for Singular/maps_ip.cc

Timestamp:

Sep 16, 2014, 4:56:19 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

5b45a4ff15d0998cc64c730af75c1c1f773d4a77

Parents:

4ec0f01d431893a4c0997d2bdfab87cb8d37e03e

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-16 16:56:19+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-23 20:10:49+02:00

Message:

There should be no *Test in assume call (and no assume in *Test definition)

File:

• Singular/maps_ip.cc (modified) (3 diffs)

Singular/maps_ip.cc

@@ -265 +265 @@
 
       number d = n_GetDenom(p_GetCoeff(p, currRing), currRing);
-      assume( p_Test((poly)NUM(d), R) );
+      p_Test((poly)NUM(d), R);
 
       if ( n_IsOne (d, currRing->cf) )
@@ -280 +280 @@
       memset(&tmpW,0,sizeof(sleftv));
       tmpW.rtyp = POLY_CMD;
-      assume( p_Test((poly)NUM(num), R) );
+      p_Test((poly)NUM(num), R);
 
       tmpW.data = NUM (num); // a copy of this poly will be used
@@ -318 +318 @@
       memset(&tmpW,0,sizeof(sleftv));
       tmpW.rtyp = POLY_CMD;
-      assume( p_Test((poly)num, R) );
+      p_Test((poly)num, R);