Changeset 9f5fca in git for kernel/kstd2.cc

Timestamp:

Dec 10, 2008, 8:48:51 PM (15 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

18c24555fbf92664b228c6d8d5ea653490aef960

Parents:

1dfd7613337c8c2ac8c4636dda564d8899289dbd

Message:

*levandov: shrinking in nonhomog letterplace


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

File:

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

kernel/kstd2.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kstd2.cc,v 1.77 2008-11-12 16:07:45 Singular Exp $ */
+/* $Id: kstd2.cc,v 1.78 2008-12-10 19:48:51 levandov Exp $ */
 /*
 *  ABSTRACT -  Kernel: alg. of Buchberger
@@ -1420 +1420 @@
     {
       strat->P.GetP(strat->lmBin); // because shifts are counted with .p structure
-      /* assume strat->P.t_p != NULL */
       /* in the nonhomog case we have to shrink the polynomial */
       assume(strat->P.t_p!=NULL);
@@ -1660 +1659 @@
 
   /* check whether the ideal is in V */
-  if (! ideal_isInV(I,lVblock) )
-  {
-    PrintS("ERROR: The input ideal contains incorrectly encoded elements! ");
+
+  if (0)
+  //  if (! ideal_isInV(I,lVblock) )
+  {
+    WerrorS("The input ideal contains incorrectly encoded elements! ");
     return(NULL);
   }
@@ -1719 +1720 @@
 #endif
     ksReducePoly(h, &(strat->T[j]), strat->kNoetherTail(), NULL, strat);
+
 #ifdef KDEBUG
     if (TEST_OPT_DEBUG)