[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Polynomials, abstract objects, provisos
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] Polynomials, abstract objects, provisos |
Date: |
29 Jul 2006 14:20:54 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
Ralf Hemmecke <address@hidden> writes:
> > I have no idea what you are talking about, sorry. I was referring to Tim's
> > (?)
> > idea that we could say something like:
> > p: Abstract POLY INT
> > i.e., not assign p a value,
>
> Sorry, then I did not understand that.
Huu, email has its complications. Great!
>
> > and still do interesting things with it. And I doubt that this is something
> > within reach, as it is, in my opinion, rather orthogonal to the philosophy
> > of
> > the current Axiom Algebra.
>
> > Something easier to grasp is probably:
> > z: Abstract Complex INT
> > and then be able to say w := conjugate z.
> > In other words: there would be no data representation as we are used to
> > currently.
>
> I don't believe your last statement. Somewhere it must be stored that w and z
> are connected via "conjugate", so there must be some storage involved.
Quite right. That's why I added "as we are used to currently".
> Now the question is who is going to remember these relations?
> Since I don't want the interpreter be too smart, I would like to encode such
> things in the library. And that could be done (theoretically at least).
Yes, we are of the same opinion (modulo email).
Martin
- RE: [Axiom-developer] sbcl and Axiom, (continued)
- RE: [Axiom-developer] sbcl and Axiom, C Y, 2006/07/25
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, C Y, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- [Axiom-developer] Poster at Mathinfo 06, Martin Rubey, 2006/07/26
- Re: [Axiom-developer] Poster at Mathinfo 06, Ralf Hemmecke, 2006/07/27
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, Martin Rubey, 2006/07/28
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, Ralf Hemmecke, 2006/07/28
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, Martin Rubey, 2006/07/29
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, Ralf Hemmecke, 2006/07/29
- Re: [Axiom-developer] Polynomials, abstract objects, provisos,
Martin Rubey <=
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, root, 2006/07/29
- Re: [Axiom-developer] Polynomials, abstract objects, provisos, Ralf Hemmecke, 2006/07/29
- Re: [Axiom-developer] sbcl and Axiom, Antoine Hersen, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- RE: [Axiom-developer] sbcl and Axiom, Page, Bill, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, Alfredo Portes, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- [Axiom-developer] Provisos, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26