Sorry for the previous mail !!! I didn't paste everything I meant to. 

> > 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: A.det()
1
sage: ~A
[]
sage: A^(-1)
---------------------------------------------------------------------------
ZeroDivisionError                         Traceback (most recent call last)

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
-~----------~----~----~----~------~----~------~--~---

Reply via email to