[ Arithmetic | Reference Manual | Alphabetic Index ]

denominator(+Number, -Result)

-Result is denominator(+Number)

Extracts the denominator of the rational Number and unifies the resulting integer with Result.
Number
An integer or rational number.
Result
Output: integer.

Description

Extracts the denominator of the rational Number and unifies the resulting integer with Result.

This predicate can be used as a function in arithmetic expressions. In coroutining mode, if Number is uninstantiated, the call to denominator/2 is delayed until this variable is instantiated.

Modes and Determinism

Exceptions

(4) instantiation fault
Number is not instantiated (non-coroutining mode only).
(5) type error
Number is a float or breal.
(24) number expected
Number is not of a numeric type.

Examples

Success:
    Result is denominator(3_4).		% gives Result = 4
    Result is denominator(9_12).	% gives Result = 4
    Result is denominator(-3_4).	% gives Result = 4
    Result is denominator(25).		% gives Result = 1

Error:
    Result is denominator(2.5).		% type error

See Also

is / 2, numerator / 2, rational / 2