Changeset 3ed6cb7 in git for kernel/kutil.cc

Timestamp:

Aug 6, 2013, 3:57:54 PM (11 years ago)

Author:

Adrian Popescu <adi_popescum@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

80b5a4f4abeb4677a1aeb9571235feed5da2f137

Parents:

c25b56c93e1f5abb74b2bc879f2484f1796dfdd7

git-author:

Adrian Popescu <adi_popescum@yahoo.de>2013-08-06 15:57:54+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-08-06 18:36:05+02:00

Message:

Hilbert Criterion in local degree orderings for inhomogemous ideals

File:

• kernel/kutil.cc (modified) (1 diff)

kernel/kutil.cc

@@ -7240 +7240 @@
 void initHilbCrit(ideal/*F*/, ideal /*Q*/, intvec **hilb,kStrategy strat)
 {
+
+  //if the ordering is local, then hilb criterion 
+  //can be used also if tzhe ideal is not homogenous
+  if((currRing->OrdSgn == -1) && (currRing->MixedOrder == 0 ))
+  #ifdef HAVE_RINGS
+  {
+  if(rField_is_Ring(currRing))
+        *hilb=NULL;
+  else
+        return;
+  }
+#endif
   if (strat->homog!=isHomog)
   {