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

[Gabriel Dos Reis]

root <address@hidden> writes:

| >   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 don't understand the question. Please give more detail. --t

Basically I would like functionalities similar to those in
mkfunc.spad, but that lets me inspect (using SPAD code) category,
domain, and package definitions as SPAD objects.

-- Gaby