Dear William,
Sorry to bother you again with those stupid error messages... You'll
probably think I'm a kind of lawyer after that :-) I still needs a
confirmation... We agreed that:
> 2. Any nx0 or 0xn (n != 0) matrix is not invertible and should raise a
> **ValueError** "matrix must be square" if one tries to invert it. I'll add
> support for this in the file matrix0.pyx. I'll also try to make generic
> test for this behavior.
Which contradict the following doc from matrix0.pyx(2688):
Raises a \code{ZeroDivisionError} if the matrix has zero
determinant, and raises an \code{**ArithmeticError**}, if the
inverse doesn't exist because the matrix is nonsquare. Also,
note, e.g., that the inverse of a matrix over $\ZZ$ is always
a matrix defined over $\Q$ (even if the entries are integers).
I'm reluctant to change this behavior for backward compatibility reasons...
So are you ok to change the code and the doc ? Or should I follow the doc and
raise an ArithmeticError. Note that the same question holds for power,
determinants and characteristic polynomials...
Cheers,
Florent, ready for a lots of tags-query-replace :-)
--~--~---------~--~----~------------~-------~--~----~
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://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
