[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#258 RectangularMatrixCategory should have Finite whe
|
From: |
kratt6 |
|
Subject: |
[Axiom-developer] [#258 RectangularMatrixCategory should have Finite when this is the case] (nouveau) |
|
Date: |
Fri, 27 Jan 2006 06:41:11 -0600 |
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/address@hidden
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#258 RectangularMatrixCategory should have Finite when this is the case] (nouveau),
kratt6 <=