OpenMath Content Dictionary: units_binaryprefix1

Canonical URL:

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

CD File:

units_binaryprefix1.ocd

CD as XML Encoded OpenMath:

units_binaryprefix1.omcd

Defines:

exbi, gibi, kibi, mebi, pebi, tebi

Date:

2003-08-22

Version:

1

Review Date:

2004-04-01

Status:

experimental

Uses CD:

arith1, relations1, units_ops1

This CD defines symbols for the IEC binary prefixes to indicate unit multiplication by a power of 2.

exbi

Description:

This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^60$. The full technical name is exabinary.

Commented Mathematical property (CMP):

This is unit multiplication by $2^60$

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="exbi" cd="units_binaryprefix1"/>
      <OMV name="unit"/>
    </OMA>
  </OMA>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMA>
      <OMS name="power" cd="arith1"/>
      <OMI> 2 </OMI>
      <OMI> 60 </OMI>
    </OMA>
    <OMV name="unit"/>
  </OMA>
</OMA>
</OMOBJ>

eq (times ( 1 , prefix (exbi, unit) ) , times (power ( 2 , 60 ) , unit) )

$$\mathrm{eq}(1\mathrm{prefix}(\mathrm{exbi},\mathrm{unit}),2^{60}\mathrm{unit})$$

Signatures:

sts

pebi

Description:

This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^50$. The full technical name is petabinary.

Commented Mathematical property (CMP):

This is unit multiplication by $2^50$

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="pebi" cd="units_binaryprefix1"/>
      <OMV name="unit"/>
    </OMA>
  </OMA>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMA>
      <OMS name="power" cd="arith1"/>
      <OMI> 2 </OMI>
      <OMI> 50 </OMI>
    </OMA>
    <OMV name="unit"/>
  </OMA>
</OMA>
</OMOBJ>

eq (times ( 1 , prefix (pebi, unit) ) , times (power ( 2 , 50 ) , unit) )

$$\mathrm{eq}(1\mathrm{prefix}(\mathrm{pebi},\mathrm{unit}),2^{50}\mathrm{unit})$$

Signatures:

sts

tebi

Description:

This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^40$. The full technical name is terabinary.

Commented Mathematical property (CMP):

This is unit multiplication by $2^40$

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="tebi" cd="units_binaryprefix1"/>
      <OMV name="unit"/>
    </OMA>
  </OMA>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMA>
      <OMS name="power" cd="arith1"/>
      <OMI> 2 </OMI>
      <OMI> 40 </OMI>
    </OMA>
    <OMV name="unit"/>
  </OMA>
</OMA>
</OMOBJ>

eq (times ( 1 , prefix (tebi, unit) ) , times (power ( 2 , 40 ) , unit) )

$$\mathrm{eq}(1\mathrm{prefix}(\mathrm{tebi},\mathrm{unit}),2^{40}\mathrm{unit})$$

Signatures:

sts

gibi

Description:

This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^30$. The full technical name is gigabinary.

Commented Mathematical property (CMP):

This is unit multiplication by $2^30$

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="gibi" cd="units_binaryprefix1"/>
      <OMV name="unit"/>
    </OMA>
  </OMA>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMA>
      <OMS name="power" cd="arith1"/>
      <OMI> 2 </OMI>
      <OMI> 30 </OMI>
    </OMA>
    <OMV name="unit"/>
  </OMA>
</OMA>
</OMOBJ>

eq (times ( 1 , prefix (gibi, unit) ) , times (power ( 2 , 30 ) , unit) )

$$\mathrm{eq}(1\mathrm{prefix}(\mathrm{gibi},\mathrm{unit}),2^{30}\mathrm{unit})$$

Signatures:

sts

mebi

Description:

This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^20$. The full technical name is megabinary.

Commented Mathematical property (CMP):

This is unit multiplication by $2^20$

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="mebi" cd="units_binaryprefix1"/>
      <OMV name="unit"/>
    </OMA>
  </OMA>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMA>
      <OMS name="power" cd="arith1"/>
      <OMI> 2 </OMI>
      <OMI> 20 </OMI>
    </OMA>
    <OMV name="unit"/>
  </OMA>
</OMA>
</OMOBJ>

eq (times ( 1 , prefix (mebi, unit) ) , times (power ( 2 , 20 ) , unit) )

$$\mathrm{eq}(1\mathrm{prefix}(\mathrm{mebi},\mathrm{unit}),2^{20}\mathrm{unit})$$

Signatures:

sts

kibi

Description:

This symbol represents the fact that the subsequent unit has been effectively multiplied by $2^10$. The full technical name is kilobinary.

Commented Mathematical property (CMP):

This is unit multiplication by $2^10$

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="kibi" cd="units_binaryprefix1"/>
      <OMV name="unit"/>
    </OMA>
  </OMA>
  <OMA>
    <OMS name="times" cd="arith1"/>
    <OMA>
      <OMS name="power" cd="arith1"/>
      <OMI> 2 </OMI>
      <OMI> 10 </OMI>
    </OMA>
    <OMV name="unit"/>
  </OMA>
</OMA>
</OMOBJ>

eq (times ( 1 , prefix (kibi, unit) ) , times (power ( 2 , 10 ) , unit) )

$$\mathrm{eq}(1\mathrm{prefix}(\mathrm{kibi},\mathrm{unit}),2^{10}\mathrm{unit})$$

Signatures:

sts