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:


Found during experimentation with our Japanese guest and Mathias:

                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.1.1
 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
> eliminate(I,y);  // this is correct
// ** eliminate in q-ring: experimental

Change History (3)

comment:1 Changed 5 years ago by hannes

Resolution: fixed
Status: newclosed

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

Note: See TracTickets for help on using tickets.