Even more is true. If you connect to FriCAS and keep the connection
open. Then you probably just have to transfer the data once per session.
In other words, you basically talk from Haskell with the FriCAS interpreter.
I do not understand this.
I think, it is faster for DoCon to "talk" with
the compiled Spad function parseCall + applying this call +
read/write of Axiom for String and the two _named pipes_.
Oh, maybe I don't yet understand your design. Or maybe I don't
understand FriCAS, but I wouldn't know how to talk to fricas other than
via the interpreter.
Basically you send a string (the whole following line including
"parseCall" and the quotation marks"
parseCall "IN THIS STRING THE EXPRESSION FROM YOUR LAST MAIL"
and parseCall would return a string.
I would send one or more lines to the interpreter. The first few lines
would assign the types
Z := ...
Q := ...
...
and the last line would be something like
foo "THE EXPRESSION GOES HERE"
where foo is something like your parseCall. But since at that point, you
already have the argument and target types constructed, one would better
call something like
foo(RETTYPE, ARGTYPE1, ..., ARGTYPEn, "EXPRESSION")
Well,... I stop here, I haven't made up my mind completely of how to do
the parsing. Give me more time.
Ralf
--
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.
