Well, it seems like neither OutputForm nor SExpression are rich enough
to deal with the following case (see below).
The only thing I can do here is to let TexFormat turn this into
\theMap{?}
But what actually is bad is that I actually didn't expect anything that
is not fitting into SExpression. Yes, it's certainly Lisp, but not
SExpression.
I hope some people help to add more examples to my testsuite.
Live is though. :-(
Ralf
====================================================================
addx x == ((y: Integer): Integer +-> x + y)
addx 10
(2) -> fx := addx 10
Compiling function addx with type PositiveInteger -> (Integer ->
Integer)
(2)
theMap
#<FUNCTION (LAMBDA (#:G719 |envArg|) :IN |*1;addx;1;initial|)
{1004405F2B}
>
,
655
Type: (Integer ->
Integer)
(3) -> s := (fx::OutputForm) pretend SExpression
(3)
(theMap
#<FUNCTION (LAMBDA (#:G719 |envArg|) :IN |*1;addx;1;initial|)
{1004405F2B}>
655)
Type:
SExpression
(4) -> s2 := car cdr s
(4)
#<FUNCTION (LAMBDA (#:G719 |envArg|) :IN |*1;addx;1;initial|)
{1004405F2B}>
Type:
SExpression
(5) -> atom? s2
(5) true
Type:
Boolean
(6) -> symbol? s2
(6) false
Type:
Boolean
(7) -> string? s2
(7) false
Type:
Boolean
(8) -> integer? s2
(8) false
Type:
Boolean
--
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.
