Ralf Hemmecke wrote:
>
> On 05/25/2014 03:32 PM, Waldek Hebisch wrote:
> > There is 'HasCategory' function in 'interop.boot'. The first argument
> > has to be fully evaluated domain (that is domain vector).
>
> Of course, I don't have a "fully evaluated domain". All I have is an
> SExpression.
Lisp EVAL will evaluate given SExpression. You "just" need to
make sure it can be evaluated. There in code in compiler
and in HyperDoc for doing this.
> I.e. for a domain form like (Integer) how would I get the respective
> domain vector that I can use for HasCategory.
For '(Integer)' thet is easy:
(1) -> )lisp (setf *print-array* nil)
Value = NIL
(1) -> )lisp (EVAL '(|Integer|))
Value = #<(SIMPLE-VECTOR 131) {100488219F}>
You can also do:
EVAL(['Integer])$Lisp
but when done of command line, i-output.boot tries to print
result and gives up. In Spad that should work OK.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
