ExpressionToOpenMath RΒΆ
openmath.spad line 1 [edit on github]
R: Join(OpenMath, OrderedSet, Ring)
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