Changeset d491e3 in git for kernel/tgb_obsolete.cc

Timestamp:

Jul 20, 2005, 1:12:43 PM (19 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

634dab087e9b393fec1655c78c584e20750b3db3

Parents:

cf2307dc9864719fabb9577ce88d785d229b1eea

Message:

*bricken: non commutative seems to work


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

File:

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

kernel/tgb_obsolete.cc

@@ -1 +1 @@
 #include "tgb_internal.h"
+static poly redNF (poly h,kStrategy strat, int &len)
+{
+  len=0;
+  if (h==NULL) return NULL;
+  int j;
+
+  len=pLength(h);
+  if (0 > strat->sl)
+  {
+    return h;
+  }
+  LObject P(h);
+  P.SetShortExpVector();
+  P.bucket = kBucketCreate(currRing);
+  kBucketInit(P.bucket,P.p,len /*pLength(P.p)*/);
+  //int max_pos=simple_posInS(strat,P.p);
+  loop
+    {
+      j=kFindDivisibleByInS(strat->S,strat->sevS,strat->sl,&P);
+      if (j>=0)
+      {
+        nNormalize(pGetCoeff(P.p));
+#ifdef KDEBUG
+        if (TEST_OPT_DEBUG)
+        {
+          PrintS("red:");
+          wrp(h);
+          PrintS(" with ");
+          wrp(strat->S[j]);
+        }
+#endif
+        number coef=kBucketPolyRed(P.bucket,strat->S[j],
+                                   strat->lenS[j]/*pLength(strat->S[j])*/,
+                                   strat->kNoether);
+        nDelete(&coef);
+        h = kBucketGetLm(P.bucket);
+        if (h==NULL) return NULL;
+        P.p=h;
+        P.t_p=NULL;
+        P.SetShortExpVector();
+#ifdef KDEBUG
+        if (TEST_OPT_DEBUG)
+        {
+          PrintS("\nto:");
+          wrp(h);
+          PrintLn();
+        }
+#endif
+      }
+      else
+      {
+        kBucketClear(P.bucket,&(P.p),&len);
+        kBucketDestroy(&P.bucket);
+        pNormalize(P.p);
+        return P.p;
+      }
+    }
+}
 int find_best(red_object* r,int l, int u, int &w, calc_dat* c){