> Wouldn't it make sense to use option(redSB) for the doc tests, since > otherwise the result is mathematically not well defined?
I disagree. The result is well defined, its just not necessarily precise :) Also, we are testing the behaviour of the groebner() function in that doctest and thus IMHO it should reflect the natural behaviour of groebner(). If that changed in 3.1 then I guess its fine we'll change the doctest once 3.1 is out and we switch. Thoughts? Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---