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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relations1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn>1</cn>
   <apply><csymbol cd="units_ops1">prefix</csymbol><csymbol cd="units_binaryprefix1">exbi</csymbol><ci>unit</ci></apply>
  </apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <apply><csymbol cd="arith1">power</csymbol><cn>2</cn><cn>60</cn></apply>
   <ci>unit</ci>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

relations1.eq(1 * units_ops1.prefix(units_binaryprefix1.exbi, $unit), 2 ^ 60 * $unit)

Rendered Presentation MathML

$$\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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relations1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn>1</cn>
   <apply><csymbol cd="units_ops1">prefix</csymbol><csymbol cd="units_binaryprefix1">pebi</csymbol><ci>unit</ci></apply>
  </apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <apply><csymbol cd="arith1">power</csymbol><cn>2</cn><cn>50</cn></apply>
   <ci>unit</ci>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

relations1.eq(1 * units_ops1.prefix(units_binaryprefix1.pebi, $unit), 2 ^ 50 * $unit)

Rendered Presentation MathML

$$\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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relations1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn>1</cn>
   <apply><csymbol cd="units_ops1">prefix</csymbol><csymbol cd="units_binaryprefix1">tebi</csymbol><ci>unit</ci></apply>
  </apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <apply><csymbol cd="arith1">power</csymbol><cn>2</cn><cn>40</cn></apply>
   <ci>unit</ci>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

relations1.eq(1 * units_ops1.prefix(units_binaryprefix1.tebi, $unit), 2 ^ 40 * $unit)

Rendered Presentation MathML

$$\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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relations1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn>1</cn>
   <apply><csymbol cd="units_ops1">prefix</csymbol><csymbol cd="units_binaryprefix1">gibi</csymbol><ci>unit</ci></apply>
  </apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <apply><csymbol cd="arith1">power</csymbol><cn>2</cn><cn>30</cn></apply>
   <ci>unit</ci>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

relations1.eq(1 * units_ops1.prefix(units_binaryprefix1.gibi, $unit), 2 ^ 30 * $unit)

Rendered Presentation MathML

$$\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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relations1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn>1</cn>
   <apply><csymbol cd="units_ops1">prefix</csymbol><csymbol cd="units_binaryprefix1">mebi</csymbol><ci>unit</ci></apply>
  </apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <apply><csymbol cd="arith1">power</csymbol><cn>2</cn><cn>20</cn></apply>
   <ci>unit</ci>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

relations1.eq(1 * units_ops1.prefix(units_binaryprefix1.mebi, $unit), 2 ^ 20 * $unit)

Rendered Presentation MathML

$$\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):

OpenMath XML (source)

<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>

Strict Content MathML

<math xmlns="http://www.w3.org/1998/Math/MathML">
 <apply><csymbol cd="relations1">eq</csymbol>
  <apply><csymbol cd="arith1">times</csymbol>
   <cn>1</cn>
   <apply><csymbol cd="units_ops1">prefix</csymbol><csymbol cd="units_binaryprefix1">kibi</csymbol><ci>unit</ci></apply>
  </apply>
  <apply><csymbol cd="arith1">times</csymbol>
   <apply><csymbol cd="arith1">power</csymbol><cn>2</cn><cn>10</cn></apply>
   <ci>unit</ci>
  </apply>
 </apply>
</math>

Prefix

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

Popcorn

relations1.eq(1 * units_ops1.prefix(units_binaryprefix1.kibi, $unit), 2 ^ 10 * $unit)

Rendered Presentation MathML

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

Signatures:

sts