ExpressionToOpenMath RΒΆ

openmath.spad line 1 [edit on github]

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

OMwrite: (Expression R, Boolean) -> String

OMwrite: (OpenMathDevice, Expression R) -> Void

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

OMwrite: Expression R -> String