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 is a word) a method for determining the rank of a (ZZ/mZZ)-module, for M is not a prime.
Nick Alexander wrote: > > sage: m = matrix(Integers(4), 2, 2, [2, 2, 2, 2]) > > sage: m > > [2 2] > [2 2] > > sage: m.row_space() > --------------------------------------------------------------------------- > <type 'exceptions.AttributeError'> Traceback (most recent call last) > > /Users/nalexand/emacs/<ipython console> in <module>() > > /Users/nalexand/emacs/matrix2.pyx in matrix2.Matrix.row_space() > > /Users/nalexand/emacs/matrix2.pyx in matrix2.Matrix.row_module() > > <type 'exceptions.AttributeError'>: 'FreeModule_ambient' object has no > attribute 'span' > > sage: m.rank() > 2 > > These should probably be consistent -- both work, or both errors. > > Nick > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] 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/ -~----------~----~----~----~------~----~------~--~---
