Re: [Axiom-developer] CAS for the masses

[Gabriel Dos Reis]

Waldek Hebisch <address@hidden> writes:

[...]

| I am not aware of any Spad level support for runtime modification of
| domains.  OTOH it is hard to do _anything_ in pure Spad without using
| Lisp domain (note that Axiom library implements most of its primitive
| operations via Lisp, so pure Spad in practice implies using no
| of Axiom library ).

I would like to see the use of the Lisp domain significantly reduced.

Think of Lisp as the assembly language for the Axiom abstract machine;
we would like the direct use of assembly instructions reduced the bare
minimum.  We should augment Spad with constructs that we think are
missing. 

-- Gaby