Opened 5 years ago

Closed 5 years ago

Last modified 5 years ago

#839 closed bug (fixed)

elim in qring

Reported by: ren Owned by: somebody
Priority: major Milestone: 4-2-0 and higher
Component: dontKnow Version: 4-1-1
Keywords: Cc:

Description

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

Change History (3)

comment:1 Changed 5 years ago by hannes

Resolution: → fixed
Status: new → closed

"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)

comment:2 Changed 5 years ago by 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

Note: See TracTickets for help on using tickets.