OpenMath Translation

Documentation

OpenMath Translation Servlet

Available services

Communication with the Servlet

There are three different methods to communicate with this servlet:

1. Post data to the appropiate URL to get the required translation

   Post the data to /[servicename]/[actionname]/

   All available servicenames can be found in the list of available services above.

   The available actionnames for each service can be found by following the link in the list above.

   For an example using this type of communication, follow one of the links above and select one of the listed actions.

2. Post all information in XML-format directly to this URL

   Post the XML data to /

   Content-type text/xml is expected

   Each request should be of the form

   <request>
   <output></output>
   ...
</request>


   where <output>...</output> is optional and may have value xml or text:

   • xml : a full text/xml result (default)
   • text : a plain/text result with only the output data.

   There a three types of request that can be made:

   1. Requesting the available services:

      XML input data:

      Result:

   2. Requesting the available actions for a service:

      XML input data:

      Result:

   3. Request the result after performing an action on the sent data:

      XML input data:

      Result:

3. Post all information using forms to this URL

   Post the form to /

   The servlet listens for the fieldnames 'output', 'service', 'action' and 'data'

   
   

   Form: output --- xml text service --- action --- data

   Iframe with result submitted form: