Name:
readxml
reads an expression written as a MathML-Content-Tree in a file
Library name:
sollya_obj_t sollya_lib_readxml(sollya_obj_t)
Usage:
readxml(filename) : string -> function | error
Parameters:
- filename represents a character sequence indicating a file name
Description:
- The command readxml is now considered DEPRECATED in Sollya.
- readxml(filename) reads the first occurrence of a lambda
application with one bounded variable on applications of the supported
basic functions in file filename and returns it as a Sollya
functional expression.
If the file filename does not contain a valid MathML-Content tree,
readxml tries to find an "annotation encoding" markup of type
"sollya/text". If this annotation contains a character sequence
that can be parsed by parse, readxml returns that expression. Otherwise
readxml displays a warning and returns an error variable of type
error.
Example 1:
> readxml("readxmlexample.xml");
2 + x + exp(sin(x))
Go back to the list of commands