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