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

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

I don't know if it's false but in FramedNonAssociativeAlgebraFunctions2?:

    Implementation ==> add
      map(fn : R -> S, u : AR): AS ==
        rank()$AR > rank()$AS => error("map: ranks of algebras do not fit")
        vr : V R := coordinates u
        vs : V S := map(fn,vr)$VectorFunctions2(R,S)
        rank()$AR = rank()$AR => represents(vs)$AS
        ba := basis()$AS
        represents(vs,[ba.i for i in 1..rank()$AR])

rank()$AR = rank()$AR => represents(vs)$AS

has may be to be changed to:

rank()$AR = rank()$AS => represents(vs)$AS

property change --greg, Thu, 20 Oct 2005 12:58:09 -0500 reply
Status: fix proposed => pending (next release)

naalg.patch

The fix, as proposed, now reads: rank()$AR = rank()$AS => represents(vs)$AS

property change --greg, Tue, 01 Nov 2005 12:16:23 -0600 reply
Status: pending (next release) => closed




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