|
|
last edited 16 years ago by japp |
1 2 3 4 5 6 7 | ||
Editor: japp
Time: 2008/10/16 13:39:36 GMT-7 |
||
Note: From Fricas |
added:
From japp Thu Oct 16 13:39:36 -0700 2008
From: japp
Date: Thu, 16 Oct 2008 13:39:36 -0700
Subject: From Fricas
Message-ID: <20081016133936-0700@axiom-wiki.newsynthesis.org>
http://fricas.svn.sourceforge.net/viewvc/fricas?view=rev&revision=153
Currently:
SquareMatrix(2, PF 5) has Finite
(1) |
It is straightforward to implement this, though. The appropriate category would be RectangularMatrixCategory
in matcat.spad.pamphlet
.
no patch avaliable