Changeset 5faa0e1 in git

Timestamp:

Sep 11, 2014, 7:45:04 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

7df5dbe44d6ad4e3b6b80e8f74c0a85ec6452b3e

Parents:

922890d232f31c404a7e6e8fb0b4328c0bad1252

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-11 19:45:04+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-09-15 17:39:46+02:00

Message:

Fixing trac ticket #637 : non-constant 1st argument to nc_algebra

Files:

• Tst/New/nc_algebra_c_poly.res.gz.uu (added)
• Tst/New/nc_algebra_c_poly.stat (added)
• Tst/New/nc_algebra_c_poly.tst (added)
• libpolys/polys/nc/old.gring.cc (modified) (2 diffs)

libpolys/polys/nc/old.gring.cc

@@ -2864 +2864 @@
   if (CN != NULL)       /* create matrix C = CN * Id */
   {
+    if (!p_IsConstant(CN,curr))
+    {
+      Werror("Incorrect input : non-constants are not allowed as coefficients (first argument)");
+      return TRUE;
+    }
+    assume(p_IsConstant(CN,curr));
+     
     nN = p_GetCoeff(CN, curr);
     if (n_IsZero(nN, curr))
@@ -2911 +2918 @@
           qN = NULL;
         else
+        {   
+          if (!p_IsConstant(MATELEM(CC,i,j),curr))
+          {
+            Werror("Incorrect input : non-constants are not allowed as coefficients (first argument at [%d, %d])", i, j);
+            return TRUE;
+          }           
+          assume(p_IsConstant(MATELEM(CC,i,j),curr));
           qN = p_GetCoeff(MATELEM(CC,i,j),curr);
+        }
+         
 
         if ( qN == NULL )   /* check the consistency: Cij!=0 */