MathAction #258 RectangularMatrixCategory should have Finite when this is the case

Topics

Currently:

axiom

SquareMatrix(2, PF 5) has Finite

$\label{eq1} \mbox{\rm true}$

Type: Boolean

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

fixed in FriCAS svn repository --kratt6, Thu, 20 Dec 2007 02:27:17 -0800 reply

Status: open => fix proposed

... --gdr, Sun, 18 May 2008 12:48:27 -0700 reply

Status: fix proposed => fixed somewhere

no patch avaliable

From Fricas --japp, Thu, 16 Oct 2008 13:39:36 -0700 reply

... --japp, Thu, 16 Oct 2008 13:39:46 -0700 reply

Status: fixed somewhere => fix proposed