Hi,
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
Cheers,
Greg
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
