elim in qring

[ren]

Found during experimentation with our Japanese guest and Mathias:

                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.1.1
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Feb 2018
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
> ring r = 0,(x,y),dp;
> qring s = y-1;
> ideal I = x;
> LIB "elim.lib";
[...]
> elim(I,y); // this is wrong
_[1]=1
> eliminate(I,y);  // this is correct
// ** eliminate in q-ring: experimental
_[1]=x

[hannes]

"elim" simply did not handle the case of a qring, while "eliminate" does. "elim" will now return an error in case of a qring. (see 14219d93b6658fbdcbbf8e3830b34ab82f20e67c)

[ren]

I see, then I also suggest changing the library documentation, which says "works also in qring":

https://www.singular.uni-kl.de/Manual/latest/sing_1135.htm#SEC1211

[hannes]

doc changed with 5d8e331fcb813018f2bb05575ee549b5cf23cee7