help links subscribe changes refresh edit

	IssueTracker
#257 unable to restart from the cd ←	↑	→ #259 redhat update deamon

#258 RectangularMatrixCategory should have Finite when this is the case

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'.

Currently:

axiom
SquareMatrix(2, PF 5) has Finite

(1)

Type: Boolean

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