Changeset 5d8e33 in git for Singular/LIB/elim.lib

Timestamp:

Sep 18, 2018, 1:31:08 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '73c62e0961bcfc8f1a00420b41eec2ea3c0ef6e9')

Children:

61f5c3f021c7740ff9d3ee6caa28688131dbc792

Parents:

14219d93b6658fbdcbbf8e3830b34ab82f20e67c

Message:

fix: eliminate in qring: elim: doc, elim1: error message

File:

• Singular/LIB/elim.lib (modified) (2 diffs)

Singular/LIB/elim.lib

@@ -403 +403 @@
 RETURN: ideal/module obtained from id by eliminating either the variables
         with indices appearing in v or the variables appearing in p.
-        Works also in a qring.
+        Does not work in a qring.
 METHOD: elim uses elimRing to create a ring with an elimination ordering for
         the variables to be eliminated and then applies std if \"std\"
@@ -622 +622 @@
 {
    def br = basering;
-   if ( size(ideal(br)) != 0 )
-   {
-      ERROR ("elim1 cannot eliminate in a qring");
+   if (isQuotientRing(br))
+   {
+      ERROR ("elim1 cannot eliminate in a qring, use eliminate");
    }
 //------------- create product vars of variables to be eliminated -------------