Changeset b8027c in git

Timestamp:

Dec 9, 2006, 12:55:35 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

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

Children:

ab1d1cbf2127c32e349512cc14dbd970bcbf91e9

Parents:

bc49e512eda58a96a83ddfd550e0906f182ae01f

Message:

*hannes; ore extensions


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

Location:

kernel

Files:

• pInline1.h (modified) (2 diffs)
• pInline2.h (modified) (2 diffs)

kernel/pInline1.h

@@ -7 +7 @@
  *  Author:  obachman (Olaf Bachmann)
  *  Created: 8/00
- *  Version: $Id: pInline1.h,v 1.6 2006-06-07 18:44:24 wienand Exp $
+ *  Version: $Id: pInline1.h,v 1.7 2006-12-09 11:55:35 Singular Exp $
  *******************************************************************/
 #ifndef PINLINE1_H
@@ -150 +150 @@
   _pNext(np) = NULL;
   _pSetCoeff0(np, n_Copy(_pGetCoeff(p), r));
+  return np;
+}
+// set all exponents l..k to 0, assume exp. k+1..n and 1..l-1 are in 
+// different blocks
+// set coeff to 1
+PINLINE1 poly p_GetExp_k_n(poly p, int l, int k, ring r)
+{
+  if (p == NULL) return NULL;
+  p_LmCheckPolyRing1(p, r);
+  poly np;
+  omTypeAllocBin(poly, np, r->PolyBin);
+  p_SetRingOfLm(np, r);
+  p_ExpVectorCopy(np, p, r);
+  _pNext(np) = NULL;
+  _pSetCoeff0(np, n_Init(1, r));
+  int i;
+  for(i=l;i<=k;i++)
+  {
+    np->exp[(r->VarOffset[i] & 0xffffff)] =0;
+  }
+  p_Setm(np,r);
   return np;
 }

kernel/pInline2.h

@@ -7 +7 @@
  *  Author:  obachman (Olaf Bachmann)
  *  Created: 8/00
- *  Version: $Id: pInline2.h,v 1.6 2006-11-23 15:04:54 Singular Exp $
+ *  Version: $Id: pInline2.h,v 1.7 2006-12-09 11:55:35 Singular Exp $
  *******************************************************************/
 #ifndef PINLINE2_H
@@ -147 +147 @@
 #endif
 }
+// partial compare exponent
+// r->VarOffset encodes the position in p->exp (lower 24 bits)
+// and number of bits to shift to the right in the upper 8 bits
+PINLINE2 int p_Comp_k_n(poly a, poly b, int k, ring r)
+{
+  p_LmCheckPolyRing2(a, r);
+  p_LmCheckPolyRing2(b, r);
+  pAssume2(k > 0 && k <= r->N);
+  int i=k;
+  for(;i<=r->N;i++)
+  {
+    if(a->exp[(r->VarOffset[i] & 0xffffff)]
+    != b->exp[(r->VarOffset[i] & 0xffffff)])
+      return FALSE;
+  }
+  return TRUE;
+}
 PINLINE2 int p_SetExp(poly p, int v, int e, ring r)
 {