1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
\DOC numerator
\TYPE {numerator : num -> num}
\SYNOPSIS
Returns numerator of rational number in canonical form.
\DESCRIBE
Given a rational number as supported by the {Num} library, {numerator} returns
the numerator $p$ from the rational number cancelled to its reduced form, $p/q$
where $q > 0$ and $p$ and $q$ have no common factor.
\FAILURE
Never fails.
\EXAMPLE
{
# numerator(Int 22 // Int 7);;
val it : num = 22
# numerator(Int 0);;
val it : num = 0
# numerator(Int 100);;
val it : num = 100
# numerator(Int 4 // Int(-2));;
val it : num = -2
}
\SEEALSO
denominator, numdom.
\ENDDOC
|
