Changeset f6c50d in git

Timestamp:

May 23, 2011, 3:26:45 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

fab2cca2c0bc1394ddf0712513e994b18368d0f1

Parents:

70b4f4613db72f20d5dc20493b7b6ff6414e661b

Message:

 add assume to pDivide

git-svn-id: file:///usr/local/Singular/svn/trunk@14236 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/polys.cc (modified) (2 diffs)

kernel/polys.cc

@@ -104 +104 @@
 poly pDivide(poly a, poly b)
 {
+  assume((pGetComp(a)==pGetComp(b)) || (pGetComp(b)==0));
   int i;
   poly result = pInit();
@@ -169 +170 @@
     if (pDivisibleBy(b,a))
     {
+      assume((pGetComp(a)==pGetComp(b)) || (pGetComp(b)==0));
       for(i=(int)pVariables; i; i--)
          pSubExp(a,i, pGetExp(b,i));