[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2 |
Date: |
Thu, 20 Oct 2005 17:30:29 +0200 |
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