Changeset 108e2ec in git for Singular/ipassign.cc

Timestamp:

Feb 7, 2012, 4:09:09 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

e820b2742576b9439413aa208f1adc443953838f

Parents:

ae816e1c041b7e2bc87647e5ca3d90eb79662487

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-02-07 16:09:09+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-02-07 19:23:15+01:00

Message:

allow setting minpoly to 0 due to legacy Singular

CHG: in the case of transcendental ground field minpoly is already 0 thus nothing is to be done...

File:

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

Singular/ipassign.cc

@@ -194 +194 @@
   if ( !nCoeff_is_transExt(currRing->cf) )
   {
-    WerrorS("no minpoly allowed over non-transcendental ground field");
-    return TRUE;
+//    return TRUE;
+#ifndef NDEBUG
+    WarnS("Trying to set minpoly over non-transcendental ground field...");
+#endif
   }
 
   if ( currRing->idroot != NULL )
   {
+//    return TRUE;
 #ifndef NDEBUG      
-//    return TRUE;
-  idhdl p = currRing->idroot;
-     
-  WarnS("no minpoly allowed if there are local objects belonging to the basering: ");
-  while(p != NULL)
-  {
-    Print(p->String(TRUE)); PrintLn();
-    p = p->next;
-  }    
+    idhdl p = currRing->idroot;
+
+    WarnS("no minpoly allowed if there are local objects belonging to the basering: ");
+
+    while(p != NULL)
+    {
+      Print(p->String(TRUE)); PrintLn();
+      p = p->next;
+    }    
 #endif
   }
@@ -220 +223 @@
   {
     n_Delete(&p, currRing);
-    WerrorS("cannot set minpoly to 0");
-    return TRUE;
+
+    
+    if( nCoeff_is_transExt(currRing->cf) )
+    {
+#ifndef NDEBUG      
+      WarnS("minpoly is already 0...");
+#endif
+      return FALSE;
+    }
+
+    WarnS("cannot set minpoly to 0 / alg. extension?");
+    
+//    return TRUE;
   }