Possible Future Extensions

The desire to extend the OpenMath/MathML interface to include new functions or adapt to changes was paramount in the design process. Here we would like to mention some possible extensions which could be added in the future.

Evaluation of expressions:

It should be possible to extend the interface to allow evaluation of OpenMath and MathML expressions using REDUCE's computational power. This extension is possible because the intermediate representation was designed imitating REDUCE's internal representation of expressions. Without difficulty a procedure could be implemented which would evaluate an intermediate representation expression by mapping it to REDUCE's internal representation. The appropriate modules would then print out the evaluated intermediate representation as MathML or OpenMath.

Separate Interfaces to REDUCE:

For the same reasons as expressed above, it is possible to modify the interface so it offers a MathML to REDUCE interface and/or an OpenMath to REDUCE interface. This would allow a REDUCE user to import and export MathML or OpenMath expressions separately for use in calculations or for transmission on the Internet to other applications.

Interfaces to other Representations:

Because the system architecture is designed around the intermediate representation, it is possible to implement modules which transform the intermediate representation into other representations such as L^ATEX , TEX , HTML, or WEBTEX  [15], thus allowing translation from MathML or OpenMath to any of the mentioned representations.