[Axiom-mail] Data structure for object definition

[Gabriel Dos Reis]

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

-- Gaby