-- Automatically generated from content dictionary nums1.ocd. Do not change. module Ideas.Text.OpenMath.Dictionary.Nums1 where import Ideas.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"