Changeset 14219d9 in git

Timestamp:

Sep 18, 2018, 12:10:03 PM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

1adfacf6826d2b0c6660854e9fa7689b6adf75385d8e331fcb813018f2bb05575ee549b5cf23cee7

Parents:

c473b7d5f94198ce106b390fb456aa61fad34961

Message:

fix: elim::elim cannot handle elimination in qring

File:

• Singular/LIB/elim.lib (modified) (1 diff)

Singular/LIB/elim.lib

@@ -428 +428 @@
     ERROR("## specify variables to be eliminated");
   }
+  if (isQuotientRing(basering))
+  {
+    ERROR("`elim` cannot eliminate in qring, use `eliminate`");
+  }
   int pr = printlevel - voice + 2;   //for ring display if printlevel > 0
   def BR = basering;