To answer my own question...
InputFormFunctions1(R:Type):with
...
interpret : InputForm -> R
++ interpret(f) passes f to the interpreter, and transforms
++ the result into an object of type R.
Ralf
(16) -> ex:=sin(cos(x+2)+3)+exp(x+2)+sqrt(x)
+-+ x + 2
(16) sin(cos(x + 2) + 3) + \|x + %e
Type:
Expression(Integer)
(17) -> exi := ex::InputForm
(17) (+ (sin (+ (cos (+ x 2)) 3)) (+ (^ x (/ 1 2)) (exp (+ x 2))))
Type:
InputForm
(18) -> d1 := destruct exi
(18) [+,(sin (+ (cos (+ x 2)) 3)),(+ (^ x (/ 1 2)) (exp (+ x 2)))]
Type:
List(InputForm)
(19) -> l2 := [first d1, first rest d1, first rest destruct first rest
rest d1]
(19) [+,(sin (+ (cos (+ x 2)) 3)),(^ x (/ 1 2))]
Type:
List(InputForm)
(20) -> inf := convert l2
(20) (+ (sin (+ (cos (+ x 2)) 3)) (^ x (/ 1 2)))
Type:
InputForm
(21) -> interpret inf
+-+
(21) sin(cos(x + 2) + 3) + \|x
Type:
Expression(Integer)
--
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.
