ideas-1.6: Feedback services for intelligent tutoring systems

Ideas.Text.OpenMath.Dictionary.Nums1

Synopsis

# Documentation

List of symbols defined in nums1 dictionary

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.

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.

A symbol to represent the notion of infinity.

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

This symbol represents the square root of -1.

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

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.

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.