[Axiom-developer] Re: coerce to SEX

[William Sit]

Tim: 

I cannot coerce a domain into a SExpression, which is needed to call the
function any from ANY to coerce an object to Any.

SEX::SEX

  Cannot convert the type Domain to SExpression for value SExpression()

William

---

Tim Daly wrote:
> 
> 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

-- 
William Sit
Department of Mathematics..............Email: address@hidden
City College of New York..........................Tel: 212-650-5179
Convent Ave at West 138th Street..................Fax: 212-862-0004
New York, NY 10031............Axiom, A Scientific Computation Sytem
USA..........................http://www.nongnu.org/axiom/index.html