MathAction #222 FramedNonAssociativeAlgebraFunctions2 and map

Topics

• FrontPage
  • IssueTracker
    • #222 FramedNonAssociativeAlgebraFunctions2 and map <-- You are here.

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

Status: fix proposed => pending (next release)

naalg.patch

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

Status: pending (next release) => closed