On Tue, 14 Apr 2015, Vincent Delecroix wrote:
It would indeed be better to also support a cardinality method for
`MatrixSpace` (be careful to return a Sage integer there) and to support the
following
sage: MatrixSpace(GF(3),4,5) in FiniteSets()
True
(this is currently returning False)
I made a ticket of this: http://trac.sagemath.org/ticket/18186 . For the
last point a marked it as a defect, not as an enhancement.
Is .cardinality() almost one-line function (+docs), or does categories
make some complications?
--
Jori Mäntysalo
