Dear John Cremona,
> I certainly want to be able to create 0x0 matrices, and would insist
> that the determinant is 1. So it seems consistent to say that such a
> matrix is invertible; and then there isn't much choice for the
> inverse!
Agreed !!! The following current behavior is indeed inconsistent:
sage: A = random_matrix(QQ,0,0)
sage:
sage: A^(-1)
---------------------------------------------------------------------------
ZeroDivisionError Traceback (most recent call last)
Ok ! I'll add these tests to my patch.
Cheers,
Florent
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
