On Jul 8, 10:05 pm, Rob Beezer <goo...@beezer.cotse.net> wrote: > So again, there is an assumption that the echelon matrix is unique. > Is there a critical reason free modules should be ordered at all?
No. Historically there was an expectation in Python that "<" defines a total ordering on objects, but with "complex" (exception on comparison) and sets (partial ordering) this is already not the case in practice. In Python 3, "<" is expected to throw an exception unless the operation makes sense. In analogy with sets one could argue that "<=" should test correspond to is_submodule. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
