-- Automatically generated from content dictionary nums1.ocd.  Do not change.
module Text.OpenMath.Dictionary.Nums1 where

import Text.OpenMath.Symbol

-- | List of symbols defined in nums1 dictionary
nums1List :: [Symbol]
nums1List = [basedIntegerSymbol, rationalSymbol, infinitySymbol, eSymbol, iSymbol, piSymbol, gammaSymbol, naNSymbol]

{-| This symbol represents the constructor function for integers, specifying
the base. It takes two arguments, the first is a positive integer to denote
the base to which the number is represented, the second argument is a string
which contains an optional sign and the digits of the integer, using 0-9a-z
(as a consequence of this no radix greater than 35 is supported). Base 16 and
base 10 are already covered in the encodings of integers. -}
basedIntegerSymbol :: Symbol
basedIntegerSymbol = makeSymbol "nums1" "based_integer"

{-| This symbol represents the constructor function for rational numbers. It
takes two arguments, the first is an integer p to denote the numerator and the
second a nonzero integer q to denote the denominator of the rational p/q. -}
rationalSymbol :: Symbol
rationalSymbol = makeSymbol "nums1" "rational"

{-| A symbol to represent the notion of infinity. -}
infinitySymbol :: Symbol
infinitySymbol = makeSymbol "nums1" "infinity"

{-| This symbol represents the base of the natural logarithm, approximately
2.718. See Abramowitz and Stegun, Handbook of Mathematical Functions, section
4.1. -}
eSymbol :: Symbol
eSymbol = makeSymbol "nums1" "e"

{-| This symbol represents the square root of -1. -}
iSymbol :: Symbol
iSymbol = makeSymbol "nums1" "i"

{-| A symbol to convey the notion of pi, approximately 3.142. The ratio of the
circumference of a circle to its diameter. -}
piSymbol :: Symbol
piSymbol = makeSymbol "nums1" "pi"

{-| A symbol to convey the notion of the gamma constant as defined in
Abramowitz and Stegun, Handbook of Mathematical Functions, section 6.1.3. It
is the limit of 1 + 1/2 + 1/3 + ... + 1/m - ln m as m tends to infinity, this
is approximately 0.5772 15664. -}
gammaSymbol :: Symbol
gammaSymbol = makeSymbol "nums1" "gamma"

{-| A symbol to convey the notion of not-a-number. The result of an ill-posed
floating computation. See IEEE standard for floating point representations. -}
naNSymbol :: Symbol
naNSymbol = makeSymbol "nums1" "NaN"