Ralf Hemmecke <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
