Changeset 86aa6a1 in git for kernel/tgb_internal.h

Timestamp:

Jun 27, 2008, 2:10:58 PM (15 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

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

Children:

bb7a4d8ceb25776da1ef2e024e02fd76ff2928e4

Parents:

3b7e975b373f57a1e6cb135cc3765f937f180e12

Message:

+ deg in exp


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

File:

• kernel/tgb_internal.h (modified) (5 diffs)

kernel/tgb_internal.h

@@ -5 +5 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: tgb_internal.h,v 1.71 2008-06-25 08:49:22 bricken Exp $ */
+/* $Id: tgb_internal.h,v 1.72 2008-06-27 12:10:58 bricken Exp $ */
 /*
  * ABSTRACT: tgb internal .h file
@@ -181 +181 @@
 {
   public:
-    slimgb_alg(ideal I, int syz_comp,BOOLEAN F4);
+    slimgb_alg(ideal I, int syz_comp,BOOLEAN F4,int deg_pos);
                 void introduceDelayedPairs(poly* pa,int s);
     virtual ~slimgb_alg();
@@ -241 +241 @@
   int lastDpBlockStart;
   int lastCleanedDeg;
+  int deg_pos;
   BOOLEAN use_noro;
   BOOLEAN use_noro_last_block;
@@ -254 +255 @@
   #endif
   unsigned long pTotaldegree(poly p){
-      return ::pTotaldegree(p,this->r);
+      pTest(p);
+      //assume(pDeg(p,r)==::pTotaldegree(p,r));
+      assume(::pTotaldegree(p,r)==p->exp[deg_pos]);
+      return p->exp[deg_pos];
+      //return ::pTotaldegree(p,this->r);
   }
   int pTotaldegree_full(poly p){
@@ -301 +306 @@
 static void do_this_spoly_stuff(int i,int j,slimgb_alg* c);
 //ideal t_rep_gb(ring r,ideal arg_I);
+ideal do_t_rep_gb(ring r,ideal arg_I, int syz_comp, BOOLEAN F4_mode,int deg_pos);
 static BOOLEAN has_t_rep(const int & arg_i, const int & arg_j, slimgb_alg* state);
 static int* make_connections(int from, poly bound, slimgb_alg* c);