FramedNonAssociativeAlgebraFunctions2

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
8 messages Options
Reply | Threaded
Open this post in threaded view
|

FramedNonAssociativeAlgebraFunctions2

Gregory Vanuxem
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
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: 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



_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

RE: FramedNonAssociativeAlgebraFunctions2

Gregory Vanuxem
Hi,

> -----Message d'origine-----
> De : Martin Rubey [mailto:[hidden email]]
> 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
>
>




_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: FramedNonAssociativeAlgebraFunctions2

daly
Greg,

Clearly this is a bug because the line:

    rank()$AR = rank()$AR => represents(vs)$AS

is always true and cannot be the intended meaning. The line you propose

    rank()$AR = rank()$AS => represents(vs)$AS

seems to be correct according to my reading of the file. That is, if the
rank of the algebras is the same then we can use the vector basis of AS.
If they are of different rank then we need to return a smaller basis.

I've make this fix in the current system.

Tim


_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: FramedNonAssociativeAlgebraFunctions2

Martin Rubey
Dear Tim,

could you put the patch also on IssueTracker, please. (If you don't want to,
tell me and I'll do it.)

I suppose that you added

 > The line you propose
 >
 >     rank()$AR = rank()$AS => represents(vs)$AS
 >
 > seems to be correct according to my reading of the file. That is, if the
 > rank of the algebras is the same then we can use the vector basis of AS.
 > If they are of different rank then we need to return a smaller basis.

to the pamphlet.

Thanks, Martin




_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

open source aldor

Bill Page-2
*;

Some good news about Aldor!

I received a private email from Steven Watt today confirming
that: "we are now contemplating adopting a complete open source
license for everyone" and also since that might take some time
to accomplish, as an interim measure he is still willing to
proceed on the basis of individual requests.

Regards,
Bill Page.




_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: open source aldor

daly
excellent.


_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Reply | Threaded
Open this post in threaded view
|

Re: FramedNonAssociativeAlgebraFunctions2

daly
In reply to this post by Martin Rubey
done


_______________________________________________
Axiom-developer mailing list
[hidden email]
http://lists.nongnu.org/mailman/listinfo/axiom-developer