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

Topics

• FrontPage
  • IssueTracker
    • #258 RectangularMatrixCategory should have Finite when this is the case <-- You are here.

Currently:

(1) -> SquareMatrix(2, PF 5) has Finite

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

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