Changeset 342c80 in git for kernel/gr_kstd2.cc

Timestamp:

Jul 29, 2008, 2:38:52 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

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

Children:

36b9efc4d8a1bd0251f35066f946290b49d1bced

Parents:

d42b51540898000893023b8114f71bad09c3c7c2

Message:

*hannes: ratGB


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

File:

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

kernel/gr_kstd2.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: gr_kstd2.cc,v 1.21 2008-07-29 07:48:01 Singular Exp $ */
+/* $Id: gr_kstd2.cc,v 1.22 2008-07-29 12:38:52 Singular Exp $ */
 /*
 *  ABSTRACT -  Kernel: noncomm. alg. of Buchberger
@@ -28 +28 @@
 #include "gring.h"
 #include "sca.h"
+#include "ratgring.h"
 
 #if 0
@@ -298 +299 @@
       }
 #endif
-      if ((c_j==-1)||(c_e>=0))
+      if ((c_j<0)||(c_e>=0))
       {
         c_e=-1; c_j=j;
@@ -317 +318 @@
       }
 #endif
-      if ((c_e==-1)||(c_e>a_e))
+      if ((c_j<0)||(c_e>a_e))
       {
         c_e=a_e; c_j=j;
         pDelete(&c_p);
-        c_p = nc_CreateSpoly(pCopy(strat->S[c_j]),pCopy((*h).p), currRing);
+        //c_p = nc_CreateSpoly(pCopy(strat->S[c_j]),pCopy((*h).p), currRing);
+        c_p=nc_rat_ReduceSpolyNew(strat->S[c_j],(*h).p,currRing->real_var_start-1,currRing);
       }
       else if (c_e == a_e)
       {
-         poly cc_pp= nc_CreateSpoly(pCopy(strat->S[j]),pCopy((*h).p), currRing);
+         //poly cc_pp= nc_CreateSpoly(pCopy(strat->S[j]),pCopy((*h).p), currRing);
+         poly cc_pp=nc_rat_ReduceSpolyNew(strat->S[c_j],(*h).p,currRing->real_var_start-1,currRing);
          if (((cc_pp==NULL)&&(c_p!=NULL)) || (pCmp(cc_pp,c_p)==-1))
          {