axiom-mail
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: root
Subject: Re: [Axiom-mail] Data structure for object definition
Date: Wed, 27 Sep 2006 20:12:15 -0400

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

All of the things you want are available as lisp objects.
Ultimately Spad is just a cover language for lisp.
If you compile a spad file you can see the functions in
the NRLIB/code.lsp file. You can manipulate them directly
using code such as is found in src/interp/monitor.lisp.pamphlet

Types created at runtime can also be accessed.

What you'd need to do is define a package which exports a set
of functions you'd like which give you the ability you need.
Once these functions are defined we can certainly create the
lisp functions which implement them. Your package can then call
these lisp functions at the spad level to let you do anything 
you'd like.

What functions do you need and why do you need them?

t






reply via email to

[Prev in Thread] Current Thread [Next in Thread]