Changeset a27116 in git for libpolys

Timestamp:

Mar 21, 2017, 2:09:16 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

109c06aba8e3ec0ed23238ce974bfbfda140184c

Parents:

366350fb915b4c50ed8408c25dca87c8fe414d12

Message:

add: rHasTDeg (ring.cc)

Location:

libpolys/polys/monomials

Files:

• ring.cc (modified) (2 diffs)
• ring.h (modified) (1 diff)

libpolys/polys/monomials/ring.cc

@@ -4437 +4437 @@
 }
 
+BOOLEAN rHasTDeg(ring r)
+{
+  int i;
+  if (r->typ!=NULL)
+  {
+    for(i=r->OrdSize-1;i>=0;i--)
+    {
+      if ((r->typ[i].ord_typ==ro_dp)
+      && (r->typ[i].data.dp.start==1)
+      && (r->typ[i].data.dp.end==r->N))
+      {
+        return TRUE;
+      }
+    }
+  }
+  return FALSE;
+}
+
 ring rAssure_TDeg(ring r, int &pos)
 {
@@ -4489 +4507 @@
   res->typ[res->OrdSize-1].data.dp.place=res->ExpL_Size-1;
   pos=res->ExpL_Size-1;
-  res->pOrdIndex=pos;
+  //res->pOrdIndex=pos; //NO: think of a(1,0),dp !
   extern void p_Setm_General(poly p, ring r);
   res->p_Setm=p_Setm_General;

libpolys/polys/monomials/ring.h

@@ -734 +734 @@
 ring   rAssure_SyzComp_CompLastBlock(const ring r, BOOLEAN complete = TRUE);
 ring   rAssure_TDeg(const ring r, int &pos);
+BOOLEAN rHasTDeg(const ring r);
 
 /// return the max-comonent wchich has syzIndex i