On 5/13/07, Nick Alexander <[EMAIL PROTECTED]> wrote: > > David Joyner <[EMAIL PROTECTED]> writes: > > > But shouldn't the rank of m (as a (ZZ/4ZZ)-module) be 1? > > I'm surprised someone implemented (if even bug-ily, if bug-ily ^^^^^^^^^^^^^^^^^^^^^^^^^^^
It turns out in this case that someone = Linbox. When we switched to linbox the linbox rank algorithm got called and didn't raise an error. I've changed SAGE to now only call that linbox routine when the base ring is a field. Otherwise it calls a generic routine, which, in this case, properly raises a NotImplementedError. See attached patch. > > is a word) a method for determining the rank of a (ZZ/mZZ)-module, > > for M is not a prime. > > Yes, that's the point. Either both should work, or both should be > errors, but one error and one silent failure is not acceptable :) Yep. William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
4534.patch
Description: Binary data
