Changes
http://wiki.axiom-developer.org/258RectangularMatrixCategoryShouldHaveFiniteWhenThisIsTheCase/diff
--
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'.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
