Changeset 0ffc823 in git for kernel/gr_kstd2.cc

Timestamp:

Feb 27, 2009, 8:30:47 PM (14 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

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

Children:

8066e80d7cea5de772f7b10b2b1930521cb72523

Parents:

f58aa61ada5934435d94d1d486fb70912543c11a

Message:

*levandov: early unit detection in rational GB


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

File:

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

kernel/gr_kstd2.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: gr_kstd2.cc,v 1.35 2009-02-27 16:56:51 levandov Exp $ */
+/* $Id: gr_kstd2.cc,v 1.36 2009-02-27 19:30:47 levandov Exp $ */
 /*
 *  ABSTRACT -  Kernel: noncomm. alg. of Buchberger
@@ -1190 +1190 @@
       /* enter P.p into s and L */
       {
+/* quick unit detection in the rational case */
+#ifdef HAVE_RATGRING
+        if( rIsRatGRing(currRing) )
+        {
+          if ( p_LmIsConstantRat(strat->P.p, currRing) )
+          {
+#ifdef PDEBUG
+             Print("unit element detected:"); 
+             p_wrp(strat->P.p,currRing);
+#endif
+            p_Delete(&strat->P.p,currRing, strat->tailRing);
+            strat->P.p = pOne();
+          }
+      }
+#endif
         strat->P.sev=0;
         int pos=posInS(strat,strat->sl,strat->P.p, strat->P.ecart);