ExpressionToOpenMath(R)

openmath.spad line 1 [edit on github]

ExpressionToOpenMath provides support for converting objects of type Expression into OpenMath.

OMwrite : Expression(R) -> String

OMwrite : (Expression(R), Boolean) -> String

OMwrite : (OpenMathDevice, Expression(R)) -> Void

OMwrite : (OpenMathDevice, Expression(R), Boolean) -> Void