OpenMath Content Dictionary: units_ops1

Canonical URL:

http://www.openmath.org/cd/units_ops1.ocd

CD File:

units_ops1.ocd

CD as XML Encoded OpenMath:

units_ops1.omcd

Defines:

prefix

Date:

2003-08-21

Version:

1

Review Date:

2004-04-01

Status:

experimental

Uses CD:

arith1, relations1, units_siprefix1

This CD defines various symbols for use in the manipulation of units.

prefix

Description:

This symbol represents the fact that the subsequent unit has been effectively multiplied by 1,000 ($10^{3}$)

Commented Mathematical property (CMP):

This is unit multiplication by 1,000

Formal Mathematical property (FMP):

xml prefix mathml

<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
  <OMS name="eq" cd="relations1"/>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMI> 1 </OMI>
    <OMA>
      <OMS name="prefix" cd="units_ops1"/>
      <OMS name="kilo" cd="units_siprefix1"/>
      <OMV name="unit"/>
    </OMA>
  </OMA>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMA>
      <OMS name="power" cd="arith1"/>
      <OMI> 10 </OMI>
      <OMI> 3 </OMI>
    </OMA>
    <OMV name="unit"/>
  </OMA>
</OMA>
</OMOBJ>

eq (times ( 1 , prefix (kilo, unit) ) , times (power ( 10 , 3 ) , unit) )

$$\mathrm{eq}(1\mathrm{prefix}(\mathrm{kilo},\mathrm{unit}),{10}^3\mathrm{unit})$$

Signatures:

sts