Edit detail for #222 FramedNonAssociativeAlgebraFunctions2 and map revision 1 of 1

changed:
-
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



From greg Thu Oct 20 12:58:09 -0500 2005
From: greg
Date: Thu, 20 Oct 2005 12:58:09 -0500
Subject: property change
Message-ID: <20051020125809-0500@wiki.axiom-developer.org>

Status: fix proposed => pending (next release) 


<a href="naalg.patch">naalg.patch</a>


From TimDaly Fri Oct 21 11:03:52 -0500 2005
From: Tim Daly
Date: Fri, 21 Oct 2005 11:03:52 -0500
Subject: 
Message-ID: <20051021110352-0500@wiki.axiom-developer.org>

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


From greg Tue Nov 1 12:16:23 -0600 2005
From: greg
Date: Tue, 01 Nov 2005 12:16:23 -0600
Subject: property change
Message-ID: <20051101121623-0600@wiki.axiom-developer.org>

Status: pending (next release) => closed 

    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])