Gaby,
OpenAxiom currently renders package calls in terms of the function $elt:
(1) -> parseString("x^1.2")$InputForm
(1) x^($elt(Float,float)(12,-1,10))
Type: InputForm
(2) -> unparse(%)$InputForm
(2) "x^($elt(Float,float)(12,-1,10))"
Type: String
Although this works in the interpreter (when $ is properly escaped),
"x^(_$elt(Float,float)(12,-1,10))", I noticed that 'unparse' in FriCAS
actually renders this as one would usually write it in the
interpreter:
(1) -> parse("x^1.2")$InputForm
(1) (^ x (($elt (Float) float) 12 - 1 10))
Type: InputForm
(2) -> unparse(%)$InputForm
(2) "x^float(12,-1,10)$Float"
Type: String
---
If you agree with this approach, I will try to port this change from
FriCAS. Should InputForm render like this or just unparse?
Regards,
Bill Page.
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
