We define an abstract syntax representation of openmath objects.
‣ MitM_OMRecToGAP( r ) | ( operation ) |
Returns: a record
Attempts to convert an OpenMath Record to a GAP Object. Currently only supports a limited number of Math in the Middle interface CDs. The argument r can be obtained from an XML string using MitM_XMLToOMRec (???)
As output, this function returns a record containing some of the following components, which describe the outcome of the conversion attempt:
success: a boolean describing whether the request was successfully received by the server;
result: body of the information sent by the server (only if success = true);
error: human-readable string saying what went wrong (only if success = false).
generated by GAPDoc2HTML