So as to promote OQMath, it is now possible to translate QMath source documents to OQMath. This facility has been introduced in OQMath 1.1.3. The conversion process requires lots of arguments and is not thought to be an everyday task.
The syntax is java -classpath OQMath.jar org.activemath.author.oqmath.QMathToOQMathfollowed by the arguments
(all required):
The process is very similar to the OQMath process, namely, it takes a source document, replaces all mathematical formulae with some markers, applies the QMath process, then re-injects the mathematical formulae.
This method is straight and not convoluted. For safety, we still output the intermediate files.
Also, this has the effect of exchanging math objects with text-objects which means
that Formal_version: math-objects will not work.
This conversion has not yet been widely tested. Please report bugs!