[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).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]