Re: [Axiom-mail] Data structure for object definition

[Martin Rubey]

Dear Gaby,

Gabriel Dos Reis <address@hidden> writes:

> Hi, 
> 
>   Is there an accessible algebra in Axiom that holds the
> internal representation of Axiom object?
> 
> Assume, I have
> 
>      (x:% - %:y):% == reduc(x -$Rep y, commonk(x, y))
> 
> Who to I get hold on the internal representation of "-"?
> 
> (SEX an EXPR do not see, to give me  what I want).

I'm a little worried: what do you really want to do? This doesn't look like the
way things should be done in Axiom or Aldor. Could you give an example, i.e.,
input plus desired output that explains *why* you want access to the internal
representation?

Martin