Changeset 9b10a76 in git for kernel/polys.cc

Timestamp:

Jul 23, 2007, 4:01:27 PM (16 years ago)

Author:

Motsak Oleksandr <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

5d7a3b71b24413b5b1944dd621e4da4cb4a50320

Parents:

b529d9012a2f0139b1d63038125da10ba6fd7f90

Message:

*motsak: procedure p_Read: squares are zeroes in SCA!


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

File:

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

kernel/polys.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: polys.cc,v 1.23 2007-07-23 13:58:56 Singular Exp $ */
+/* $Id: polys.cc,v 1.24 2007-07-23 14:01:27 motsak Exp $ */
 
 /*
@@ -228 +228 @@
       if (((unsigned long)i) >  r->bitmask)
       {
-        // exponent to large: it is not a monomial
+        // exponent to large: it is not a monomial
         p_DeleteLm(&rc,r);
         return s_save;
@@ -246 +246 @@
   else
   {
+    // in super-commutative ring
+    // squares of anti-commutative variables are zeroes!
+    if(rIsSCA(r))
+    {
+      const unsigned int iFirstAltVar = scaFirstAltVar(r);
+      const unsigned int iLastAltVar  = scaLastAltVar(r);
+
+      assume(rc != NULL);
+
+      for(unsigned int k = iFirstAltVar; k <= iLastAltVar; k++)
+        if( p_GetExp(rc, k, r) > 1 )
+        {
+          p_DeleteLm(&rc, r);
+          goto finish;
+        }
+      }
+    
     p_Setm(rc,r);
   }
+finish:  
   return s;
 }