Re: [Axiom-developer] Polynomials, abstract objects, provisos

[Martin Rubey]

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