[Axiom-developer] [#222 FramedNonAssociativeAlgebraFunctions2 and map]

[greg]

Changes 
http://wiki.axiom-developer.org/222FramedNonAssociativeAlgebraFunctions2AndMap/diff
--

??changed:
-        rank()$AR > rank()$AS => error("map: ranks of algebras do not fit")
        rank()\$AR > rank()\$AS => error("map: ranks of algebras do not fit")

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

??changed:
-rank()$AR = rank()$AS => represents(vs)$AS
-
-
rank()\$AR = rank()\$AS => represents(vs)\$AS



--
forwarded from http://wiki.axiom-developer.org/address@hidden