On Wed, 18 Mar 2015, Jeroen Demeyer wrote:
So would it make sense to have an optional parameter sorted=None, which one could set to 'lex' or 'revlex' to get them in a desired order. The documentation could warn about the issues you just raised.
If there is a general agreement on this, I could add such an option in #17920.
What should be the default? Somehow I think that by default one should have "nice", "easy", "simple" etc. results, and by optional parameter "fast", "optimized", "not stable between Sage releases" etc.
But I haven't looked at this specific case. -- Jori Mäntysalo
