Re: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2

[Martin Rubey]

Dear Greg,

Thank you for finding this bug! Do you actually use one of the related domains?
If yes, you will become the maintainer :-)

Could you please

* file an issue on MathAction -- ideally showing an example where the mistake
  leads to an unintended result

  (category: Axiom Library, fix proposed, normal)

* produce a patch and send it to Tim and include it into the issue above.

Thank you,

Martin

Vanuxem Grégory writes:
 > 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