/usr/share/axiom-20170501/src/algebra/OM.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 | )abbrev category OM OpenMath
++ Author: Mike Dewar & Vilya Harvey
++ Basic Functions: OMwrite
++ References:
++ Corl00 According to Abramowitz and Stegun or arccoth needn't be Uncouth
++ Fate01a A Critique of OpenMath and Thoughts on Encoding Mathematics
++ Description:
++ \spadtype{OpenMath} provides operations for exporting an object
++ in OpenMath format.
OpenMath() : Category == SIG where
SIG ==> with
OMwrite : % -> String
++ OMwrite(u) returns the OpenMath XML encoding of \axiom{u} as a
++ complete OpenMath object.
OMwrite : (%, Boolean) -> String
++ OMwrite(u, true) returns the OpenMath XML encoding of \axiom{u}
++ as a complete OpenMath object; OMwrite(u, false) returns the
++ OpenMath XML encoding of \axiom{u} as an OpenMath fragment.
OMwrite : (OpenMathDevice, %) -> Void
++ OMwrite(dev, u) writes the OpenMath form of \axiom{u} to the
++ OpenMath device \axiom{dev} as a complete OpenMath object.
OMwrite : (OpenMathDevice, %, Boolean) -> Void
++ OMwrite(dev, u, true) writes the OpenMath form of \axiom{u} to
++ the OpenMath device \axiom{dev} as a complete OpenMath object;
++ OMwrite(dev, u, false) writes the object as an OpenMath fragment.
|