Synopsis Mathematical functions.
Usage
import util::Math;
Details abs arbInt arbRat arbReal arbSeed ceil cos denominator E exp floor ln log log10 log2 max min nroot numerator percent PI pow precision primes remainder round scale setPrecision sin sqrt tan toInt toRat toReal toString unscaled
Description The
Math library provides the following functions:
- abs: Absolute value of a number.
- arbInt: Generate a random integer value.
- arbRat: Generate an arbitrary rational value.
- arbReal: Generate a random real value in the interval [0.0,1.0).
- arbSeed: Define the seed for the generation of arbitrary values.
- ceil: Compute the smallest integer that is larger than a given number.
- cos: Calculate the cosine of a numeric value.
- denominator: Return the denominator of a rational value.
- E: The constant E.
- exp: Compute exp(x).
- floor: Compute the largest integer that is smaller than a given number.
- ln: Calculate the natural log of a numeric value.
- log: Calculate the logbase of a numeric value.
- log10: Compute the 10 based log(x).
- log2: Compute the 2 based log(x).
- max: Determine the largest of two numeric values.
- min: Determine the smallest of two numeric values.
- nroot: Calculate the nth root of a numeric value.
- numerator: Return the numerator of a rational value.
- percent: Compute the ratio between two numbers as a percentage.
- PI: The constant pi.
- pow: Calculate an arbitrary power of a numeric value.
- precision: Return the precision of a real number.
- primes: generate prime numbers up to a maximum
- remainder: Return the remainder of dividing the numerator by the denominator.
- round: Round a number to the nearest multiple of a given number (default 1).
- scale: Return the scale of a real number.
- setPrecision: Define the precision for numeric calculations; returns the previous precision.
- sin: Calculate the sine of a numeric value.
- sqrt: Calculate the square root of a numeric value.
- tan: Calculate the tangent of a numeric value.
- toInt: Convert a numeric value to an integer.
- toRat: Convert two numbers to a rational value (not supported on reals).
- toReal: Convert a numeric value to a real.
- toString: Convert a numeric value to a string.
- unscaled: Return the unscaled integer of a real.