8.12
4.4 Numbers
Elle inherits the Scheme Numerical Tower. More precisely, Elle inherits Racket’s implementation of the Numerical Tower.
4.4.1 Types
Returns #true, if v is a number; #false, otherwise. This procedure is an alias for complex?, since all numbers are complex numbers.
Returns #true, if v is a complex number; #false, otherwise.
Returns #true, if v is a complex number whose imaginary part is zero.
Returns #true, if v is a rational number; #false, otherwise.
Returns #true, if v is an integer; #false, otherwise.
Returns #true, if v is a natural number; #false, otherwise.
Returns #true, if z is an exact number; #false, otherwise.
Returns #true, if z is an inexact number; #false, otherwise.
4.4.2 Generic Arithmethic
Returns the sum of the zs. In the special case of one z, this procedure is the identity. In the special case of zero zs, returns an exact zero.
Returns the differents of the zs. In the special case of one z, returns the additive inverse of the z.
Returns the product of the zs. In the special case of one z, this procedure is the identity. In the special case of zero zs, returns an exact one.
Returns the quotient of the zs. In the special case of one z, returns the multiplicative inverse (reciprocal) of z.
Returns #true, if z is exact or inexact zero; #false, otherwise.
4.4.2.1 Comparison
Returns #true, if all zs are numerically equivalent; #false, otherwise. Inexact numbers are coerced to exactness before comparison.
Returns #true, if all xs are ordered by numerically increasing value; #false, otherwise.
Returns #true, if all xs are ordered by numerically decreasing value; #false, otherwise.
Returns #true, if all xs are ordered by numerically nondecreasing value; #false, otherwise.
Returns #true, if all xs are ordered by numerically nonincreasing value; #false, otherwise.
4.4.2.2 Contracts
procedure
(number=/c x) → flat-contract?
x : real?
Returns a flat contract that requires a real number that is numerically equivalent to x.
procedure
(number</c x) → flat-contract?
x : real?
Returns a flat contract that requires a real number that numerically less than x.
procedure
(number>/c x) → flat-contract?
x : real?
Returns a flat contract that requires a real number that is numerically greater than x.
procedure
(number≤/c x) → flat-contract?
x : real?
Returns a flat contract that requires a real nummber that is either numerically equivalent or less than x.
procedure
(number≥/c x) → flat-contract?
x : real?
Returns a flat contract that requires a real number that is either numerically equivalent or greater than x.
procedure
(real-in x1 x2) → flat-contract?
x1 : real? x2 : real?
Returns a flat contract that requires a real number that is between x1 and x2, inclusive.
procedure
(integer-in i1 i2) → flat-contract?
i1 : integer? i2 : integer?
Returns a flat contract that requires an integer that is between i1 and i2, inclusive.