login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:16:21-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

Currently:

axiom
SquareMatrix(2, PF 5) has Finite

\label{eq1} \mbox{\rm true} (1)
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

Status: fix proposed => fixed somewhere

no patch avaliable

http://fricas.svn.sourceforge.net/viewvc/fricas?view=rev&revision=153

Status: fixed somewhere => fix proposed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: