First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

I tried with various engines (you can set the algoritmh parameter, see I.groebner_basis?), including singular itself, giac, naive implementation and they all agree. Are you sure about the meaning of lex order in Sage ?