[Axiom-developer] coerce to SEX

[Tim Daly]

SEX, SEXOF, and SEXCAT are Axiom cover functions for lisp S-expressions.

Thus if you want to construct something you have to build it up from
the primitives using things like:

-> m:=[1::SEX, 2::SEX]
     [1,2]
                 Type: List SExpression

having this primitive you can "upgrade" it to a list structure with:

-> n:=m::SEX
     (1 2)
                 Type: SExpression

and then you can operate on it:

-> car(n)
     1
                 Type: SExpression

do a ")show SEX" and you can see the ways you can manipulate the SExpression.

SEX is pretty low level stuff. It is essentially lisp list manipulation
at the Axiom level.

Tim