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

Edit detail for #258 RectangularMatrixCategory should have Finite when this is the case revision 5 of 7

1 2 3 4 5 6 7
Editor: japp
Time: 2008/10/16 13:38:59 GMT-7
Note:

changed:
-From alfredo Thu Oct 16 03:44:38 -0700 2008
-From: alfredo
-Date: Thu, 16 Oct 2008 03:44:38 -0700
-Subject: Patch from Fricas
-Message-ID: <20081016034438-0700@axiom-wiki.newsynthesis.org>
-
-http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/algebra/matcat.spad.pamphlet?r1=20&r2=153&view=patch


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

Currently:

axiom
SquareMatrix(2, PF 5) has Finite
LatexWiki Image(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