OpenMath Content Dictionary: minmax1

Canonical URL:
http://www.openmath.org/cd/minmax1.ocd
CD File:
minmax1.ocd
CD as XML Encoded OpenMath:
minmax1.omcd
Defines:
max, min
Date:
2001-03-12
Version:
2
Review Date:
2003-04-01
Status:
official
Uses CD:
relation1, set1

This CD holds the definitions of min and max.


min

This symbol denotes the unary minimum function which takes a set as its argument and returns the minimum element in that set.

Example:
Representation of the equation minimum{1,9,5} = 1.
<OMOBJ>
  <OMA>
    <OMS cd="relation1" name="eq"/>
    <OMA>
      <OMS cd="minmax1" name="min"/>
      <OMA>
        <OMS cd="set1" name="set"/>
        <OMI> 1 </OMI>
        <OMI> 9 </OMI>
        <OMI> 5 </OMI>
      </OMA>
    </OMA>
    <OMI> 1 </OMI>
  </OMA>
</OMOBJ>

eq (min (set ( 1 , 9 , 5 ) ) , 1 )

Signatures:
sts


[Next: max] [Last: max] [Top]

max

This symbol denotes the unary maximum function which takes a set as its argument and returns the maximum element in that set.

Example:
Representation of the equation maximum{1,9,5} = 9.
<OMOBJ>
  <OMA>
    <OMS cd="relation1" name="eq"/>
    <OMA>
      <OMS cd="minmax1" name="max"/>
      <OMA>
        <OMS cd="set1" name="set"/>
        <OMI> 1 </OMI>
        <OMI> 9 </OMI>
        <OMI> 5 </OMI>
      </OMA>
    </OMA>
    <OMI> 9 </OMI>
  </OMA>
</OMOBJ>

eq (max (set ( 1 , 9 , 5 ) ) , 9 )

Signatures:
sts


[First: min] [Previous: min] [Top]