RE: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2

[Vanuxem Grégory]

Hi,

> -----Message d'origine-----
> De : Martin Rubey [mailto:address@hidden
> Envoyé : jeudi 20 octobre 2005 17:30
> À : Vanuxem Grégory
> Cc : Axiom-Developer
> Objet : Re: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2
>
>
> 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

I filed an issue but no patch since I'm not sure.

Cheers,

Greg

>   (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
>
>