Ideas.Text.OpenMath.Dictionary.Nums1

Documentation

nums1List :: [Symbol]

List of symbols defined in nums1 dictionary

basedIntegerSymbol :: Symbol

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.

rationalSymbol :: Symbol

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.

infinitySymbol :: Symbol

A symbol to represent the notion of infinity.

eSymbol :: Symbol

This symbol represents the base of the natural logarithm, approximately 2.718. See Abramowitz and Stegun, Handbook of Mathematical Functions, section 4.1.

iSymbol :: Symbol

This symbol represents the square root of -1.

piSymbol :: Symbol

A symbol to convey the notion of pi, approximately 3.142. The ratio of the circumference of a circle to its diameter.

gammaSymbol :: Symbol

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 + 12 + 13 + ... + 1/m - ln m as m tends to infinity, this is approximately 0.5772 15664.

naNSymbol :: Symbol

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.