OpenMath Content Dictionary: mathmltypes

Canonical URL:
http://www.openmath.org/cd/mathmltypes.ocd
CD File:
mathmltypes.ocd
CD as XML Encoded OpenMath:
mathmltypes.omcd
Defines:
complex_cartesian_type, complex_polar_type, constant_type, fn_type, integer_type, list_type, matrix_type, rational_type, real_type, set_type, type, vector_type
Date:
2001-03-12
Version:
2
Review Date:
2003-04-01
Status:
official

This CD holds symbols denoting various types of numbers, vectors and similar constructs. Principally these are required for compatibility with MathML.


type

A symbol to be used within an OpenMath attribute to specify the type of the object.

Example:
The variable z is attributed with a type for complex numbers, to be represented in polar notation.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="complex_polar_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type complex_polar_type ], z)

Signatures:
sts


[Next: integer_type] [Last: fn_type] [Top]

integer_type

A symbol to be used as the argument of the type symbol to convey the type of an integer.

Example:
The variable z is attributed with a type for integers.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="integer_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type integer_type ], z)

Signatures:
sts


[Next: real_type] [Previous: type] [Top]

real_type

A symbol to be used as the argument of the type symbol to convey the type of a real number.

Example:
The variable z is attributed with a type for real numbers.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="real_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type real_type ], z)

Signatures:
sts


[Next: rational_type] [Previous: integer_type] [Top]

rational_type

A symbol to be used as the argument of the type symbol to convey the type of a rational number.

Example:
The variable z is attributed with a type for rational numbers.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="rational_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type rational_type ], z)

Signatures:
sts


[Next: complex_cartesian_type] [Previous: real_type] [Top]

complex_cartesian_type

A symbol to be used as the argument of the type symbol to convey the type of a complex number specified in terms of its real and imaginary parts.

Example:
The variable z is attributed with a type for complex numbers represented in their Cartesian form.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="complex_cartesian_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type complex_cartesian_type ], z)

Signatures:
sts


[Next: complex_polar_type] [Previous: rational_type] [Top]

complex_polar_type

A symbol to be used as the argument of the type symbol to convey the type of a complex number specified in terms of its modulus and argument.

Example:
The variable z is attributed with a type for complex numbers represented in their polar form.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="complex_polar_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type complex_polar_type ], z)

Signatures:
sts


[Next: constant_type] [Previous: complex_cartesian_type] [Top]

constant_type

A symbol to be used as the argument of the type symbol to convey a type for the common constants, pi ~= 3.1415, e ~= 2.718, i = square root of -1, gamma ~= .5772, NaN, infinity (all in the nums cd), true and false (in the logic cd). Also for MathML variables declared to have type constant, as in <ci type="constant">x</ci>.

Example:
The variable z is attributed with a type for constants.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="constant_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type constant_type ], z)

Signatures:
sts


[Next: vector_type] [Previous: complex_polar_type] [Top]

vector_type

A symbol to be used as the argument of the type symbol to convey the type of a (column) vector, an n-tuple of entries.

Example:
The variable z is attributed with a type for vectors.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="vector_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type vector_type ], z)

Signatures:
sts


[Next: list_type] [Previous: constant_type] [Top]

list_type

A symbol to be used as the argument of the type symbol to convey the type for a list.

Example:
The variable z is attributed with a type for lists.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="list_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type list_type ], z)

Signatures:
sts


[Next: set_type] [Previous: vector_type] [Top]

set_type

A symbol to be used as the argument of the type symbol to convey the type for a set.

Example:
The variable z is attributed with a type for sets.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="set_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type set_type ], z)

Signatures:
sts


[Next: matrix_type] [Previous: list_type] [Top]

matrix_type

A symbol to be used as the argument of the type symbol to convey the type for a matrix (n tuple of rows, where each row is an m tuple for some m, it should be noted that each row must be the same length).

Example:
The variable z is attributed with a type for matrices.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="matrix_type"/>
    </OMATP>
    <OMV name="z"/>
  </OMATTR>
</OMOBJ>

Attrib([ type matrix_type ], z)

Signatures:
sts


[Next: fn_type] [Previous: set_type] [Top]

fn_type

A symbol to be used as the argument of the type symbol to convey the type for a function name.

Example:
The variable f is attributed to say it represents a function.
<OMOBJ>
  <OMATTR>
    <OMATP>
       <OMS cd="mathmltypes" name="type"/>
       <OMS cd="mathmltypes" name="fn_type"/>
    </OMATP>
    <OMV name="f"/>
  </OMATTR>
</OMOBJ>

Attrib([ type fn_type ], f)

Signatures:
sts


[First: type] [Previous: matrix_type] [Top]