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.