[#222 FramedNonAssociativeAlgebraFunctions2 and map] (nouveau)

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[#222 FramedNonAssociativeAlgebraFunctions2 and map] (nouveau)

billpage
Changes http://wiki.axiom-developer.org/222FramedNonAssociativeAlgebraFunctions2AndMap/diff
--
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


--
forwarded from http://wiki.axiom-developer.org/222FramedNonAssociativeAlgebraFunctions2AndMap#msg20051020105026-0500@...


_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer