OpenMath

omcat.spad line 1 [edit on github]

OpenMath provides operations for exporting an object in OpenMath format.

OMwrite : % -> String

OMwrite(u) returns the OpenMath XML encoding of u as a complete OpenMath object.

OMwrite : (%, Boolean) -> String

OMwrite(u, true) returns the OpenMath XML encoding of u as a complete OpenMath object; OMwrite(u, false) returns the OpenMath XML encoding of u as an OpenMath fragment.

OMwrite : (OpenMathDevice, %) -> Void

OMwrite(dev, u) writes the OpenMath form of u to the OpenMath device dev as a complete OpenMath object.

OMwrite : (OpenMathDevice, %, Boolean) -> Void

OMwrite(dev, u, true) writes the OpenMath form of u to the OpenMath device dev as a complete OpenMath object; OMwrite(dev, u, false) writes the object as an OpenMath fragment.