OQMath to-dos

About

This page presents the tasks to be made to enhance OQMath. It provides, as well, a list of remaining issues.

Extra features

An OQMath content-dictionary has been introduced to support better Math-input. It is now possible to write an id for an OpenMath sub-term, to write verbatim floats, and use map-application. See the FAQ.

Documentation

  • A more complete documentation should be provided. This is also true for the QMath documentation.
  • Examples to usages of OQMath for other document-types than OMDoc should be made. In particular with respect to MathBook and MathML

Testing

  • We currently only test the complete processing...

Bugs

  • It might be that the Ant task does not report errors and still fails. This serious issue needs, currently, more observation. Half-fix: it reports that an internal error occurred and that debug has to be activated.
  • We could make oqmath/version oqmath/build-date oqmath/build-host symbols to get a user-level way of monitoring oqmath versions.
  • Sometimes math expressions can become too long... QMath now rewraps expressions.
  • QMath errors report a column number but that number is wrong, it should be adapted by OQMath but is not.