12.0.8 `print_ox_rfc100_xml_form'
---------------------------------

print_ox_rfc100_xml_form(S)
     :  It transforms S to a string which is compliant to OpenXM RFC
     100.
Example:
      print_ox_rfc100_xml_form(x^3-1);

   References:

      `www.openxm.org'

