Changeset f7286a in git for libpolys/polys

Timestamp:

Oct 31, 2012, 3:12:54 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

880433df635f3b50ff607d57901f88cba3333ebd

Parents:

6a05fd20a1813f28c0b8400fef5f3d7026c6334c

Message:

fix: idrCopyR need equal coeffs, fixed dim(i),dim(i,j) for ring-cf

Location:

libpolys/polys

Files:

• ext_fields/transext.cc (modified) (2 diffs)
• polys0.cc (modified) (1 diff)
• prCopy.cc (modified) (6 diffs)
• prCopyTemplate.cc (modified) (2 diffs)

libpolys/polys/ext_fields/transext.cc

@@ -158 +158 @@
   const poly num = NUM(t);
   assume(num != NULL);   /**< t != 0 ==> numerator(t) != 0 */
-  assume( p_Test(num, ntRing) );
+  assume( _p_Test(num, ntRing,1) );
 
   const poly den = DEN(t);
@@ -164 +164 @@
   if (den != NULL) // !DENIS1(f)
   {
-    assume( p_Test(den, ntRing) );
+    assume( _p_Test(den, ntRing,1) );
 
     if(p_IsConstant(den, ntRing) && (n_IsOne(pGetCoeff(den), ntRing->cf)))

libpolys/polys/polys0.cc

@@ -150 +150 @@
     while (p!=NULL)
     {
+      assume(!n_IsZero(p->coef,tailRing->cf));
       if ((p->coef==NULL)||n_GreaterZero(p->coef,tailRing->cf))
         StringAppendS("+");

libpolys/polys/prCopy.cc

@@ -144 +144 @@
 {
   if (id == NULL) return NULL;
+  assume(src_r->cf==dest_r->cf);
   poly p;
   ideal res = idInit(IDELEMS(id), id->rank);
@@ -159 +160 @@
 ideal idrCopyR(ideal id, ring src_r, ring dest_r)
 {
+  assume(src_r->cf==dest_r->cf);
   ideal res;
   prCopyProc_t prproc;
@@ -171 +173 @@
 ideal idrCopyR_NoSort(ideal id, ring src_r, ring dest_r)
 {
+  assume(src_r->cf==dest_r->cf);
   ideal res;
   prCopyProc_t prproc;
@@ -198 +201 @@
 idrMove(ideal &id, ring src_r, ring dest_r, prCopyProc_t prproc)
 {
+  assume(src_r->cf==dest_r->cf);
   if (id == NULL) return NULL;
   ideal res = id;
@@ -210 +214 @@
 ideal idrMoveR(ideal &id, ring src_r, ring dest_r)
 {
+  assume(src_r->cf==dest_r->cf);
   prCopyProc_t prproc;
   ideal res;
@@ -222 +227 @@
 ideal idrMoveR_NoSort(ideal &id, ring src_r, ring dest_r)
 {
+  assume(src_r->cf==dest_r->cf);
   prCopyProc_t prproc;
   ideal res;

libpolys/polys/prCopyTemplate.cc

@@ -10 +10 @@
 (poly &src, ring r_src, ring r_dest)
 {
+  if (src==NULL) return NULL;
   spolyrec dest_s;
   poly dest = &dest_s;
@@ -30 +31 @@
   p_Test(dest, r_dest);
   return dest;
-  (void)(r_src);
 }