Changeset 1cd0f4 in git

Timestamp:

Feb 25, 2014, 3:59:50 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

8968c1705d85c26166eb14a273dabcdba2291bd0

Parents:

37693d1129265efd8305f91280e6de711af0cade

Message:

fix: allow (const) denom. in minpoly

File:

• Singular/ipassign.cc (modified) (2 diffs)

Singular/ipassign.cc

@@ -254 +254 @@
   if( currRing->cf->extRing->qideal != NULL ) id_Delete(&(A.r->qideal),A.r);
   ideal q = idInit(1,1);
-  if ((p==NULL) ||(DEN((fraction)(p)) != NULL) ||(NUM((fraction)p)==NULL))
+  if ((p==NULL) ||(NUM((fraction)p)==NULL))
   {
     Werror("Could not construct the alg. extension: minpoly==0");
@@ -261 +261 @@
     return TRUE;
   }
-
-  assume( DEN((fraction)(p)) == NULL ); // minpoly must be a fraction with poly numerator...!!
+  if (DEN((fraction)(p)) != NULL) // minpoly must be a fraction with poly numerator...!!
+  {
+    poly z=NUM((fraction)p);
+    poly n=DEN((fraction)(p));
+    z=p_Mult_nn(z,pGetCoeff(n),currRing->cf->extRing);
+    NUM((fraction)p)=z;
+    DEN((fraction)(p))=NULL;
+    p_Delete(&n,currRing->cf->extRing);
+  }
 
   q->m[0] = NUM((fraction)p);