[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: coerce to SEX
From: |
William Sit |
Subject: |
[Axiom-developer] Re: coerce to SEX |
Date: |
Thu, 01 Jul 2004 12:14:40 -0400 |
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