On Mon, Mar 12, 2012 at 10:48:51AM +0100, Ralf Hemmecke wrote:
> http://groups.google.com/group/fricas-devel/msg/d109ed12f6cc13d6
------------------------------ t.spad -----------------------------
)abbrev package FOO Foo
Foo() : with
f : () -> SExpression
==
add
f() ==
e1 := convert("ab" :: Symbol) $SExpression
e2 := convert("cd" :: Symbol) $SExpression
convert([e1, e2]) $SExpression
-------------------------------------------------------------------
1. Why in the last line the comipler insists on "()" ?
2. Is this natural that the first line of
("ab" :: Symbol) :: SExpression
is not compiled?
3. As there are `coerce' and `::', why does Spad need `convert' ?
4. I define coerce(s : String) : SExpression ==
convert(s :: Symbol) $SExpression
and use "ab" :: SExpression.
Is this a good way out?
3. Sometimes `g :: OutputForm' does not work in Spad, while
coerce(g) :: OutputForm does work.
What is the difference?
Thanks,
------
Sergei
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
