Changeset f92547 in git for kernel/polys.cc

Timestamp:

Mar 20, 2006, 9:33:57 PM (17 years ago)

Author:

Oliver Wienand <wienand@…>

Branches:

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

Children:

9a7b03d261325d1fc155f5625fe1867b6ef6432c

Parents:

f7cbb7696d6c24ac0b31ebc09c768d0a3df1a7a9

Message:

*oliver

kspoly.cc:
--> kscheckcoef
      * modified for zero divisors
--> ksCreateShortSPoly
      * create correct short s poly for rings
      * in case of rings, also calculate coeff

kstd2.cc:
--> bba
      * use different enterpairs method in case of rings
      * small changes (replaced p_ISet by p_NSet)

kutil.cc, kutil.h:
--> new enterpairs derivate, also downstreams are
     new derivates of functions
--> function to create extended s poly for rings
--> nComp fct, will be nGreater later, maybe
--> stub for chainCritRing

polys.cc:
--> chainCrit correct for rings, but not optimized

numbers.cc, rmodulo2m.cc, rmodulo2m.h:
--> gcd, ncd for zero divisor (att, not really a gcd or ncd)
--> IntDiv (att, just takes a machine div, allows to divide by zero div)
--> Greater (att, compares zero divisor exponent)


git-svn-id: file:///usr/local/Singular/svn/trunk@9026 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.7 2005-11-27 15:28:45 wienand Exp $ */
+/* $Id: polys.cc,v 1.8 2006-03-20 20:33:57 wienand Exp $ */
 
 /*
@@ -691 +691 @@
     }
   }
-#endif  
+#endif
   if (p1!=NULL)
   {
@@ -926 +926 @@
 
   if (lcm==NULL) return FALSE;
+  #ifdef HAVE_RING2TOM 
+  // In coefficient rings, the coefficient plays a role in chain crit TODO
+  if (currRing->cring == 1 && !pLmDivisibleByNoComp(p, lcm)) return FALSE;
+  #endif
 
   for (j=pVariables; j; j--)