|
|
last edited 16 years ago by japp |
1 2 3 4 5 6 7 | ||
Editor: kratt6
Time: 2007/12/20 02:27:17 GMT-8 |
||
Note: fixed in FriCAS svn repository |
added:
From kratt6 Thu Dec 20 02:27:17 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 02:27:17 -0800
Subject: fixed in FriCAS svn repository
Message-ID: <20071220022717-0800@axiom-wiki.newsynthesis.org>
Status: open => fix proposed
Currently:
axiomSquareMatrix(2, PF 5) has Finite
(1) |
It is straightforward to implement this, though. The appropriate category would be RectangularMatrixCategory
in matcat.spad.pamphlet
.