login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #258 RectangularMatrixCategory should have Finite when this is the case revision 1 of 7

1 2 3 4 5 6 7
Editor:
Time: 2007/11/17 22:16:21 GMT-8
Note:

changed:
-
Currently:

\begin{axiom}
SquareMatrix(2, PF 5) has Finite
\end{axiom}

It is straightforward to implement this, though. The appropriate category would be 'RectangularMatrixCategory' in 'matcat.spad.pamphlet'.

Submitted by : (unknown) at: 2007-11-17T22:16:21-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

Currently:

axiom
SquareMatrix(2, PF 5) has Finite
LatexWiki Image(1)
Type: Boolean

It is straightforward to implement this, though. The appropriate category would be RectangularMatrixCategory in matcat.spad.pamphlet.