login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#257 unable to restart from the cd  ← ↑ →  #259 redhat update deamon

#258 RectangularMatrixCategory should have Finite when this is the case
  
last edited 17 years ago by japp

Edit detail for #258 RectangularMatrixCategory should have Finite when this is the case revision 7 of 7
1 2 3 4 5 6 7
Editor: japp
Time: 2008/10/16 13:39:46 GMT-7
Note: 
added:

From japp Thu Oct 16 13:39:46 -0700 2008
From: japp
Date: Thu, 16 Oct 2008 13:39:46 -0700
Subject: 
Message-ID: <20081016133946-0700@axiom-wiki.newsynthesis.org>

Status: fixed somewhere => fix proposed

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

Currently:

fricas
(1) -> 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

... --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
http://fricas.svn.sourceforge.net/viewvc/fricas?view=rev&revision=153

... --japp, Thu, 16 Oct 2008 13:39:46 -0700 reply
Status: fixed somewhere => fix proposed