USING: help math math-internals ;

HELP: ratio f
{ $description "The class of rational numbers with denominator not equal to 1." } ;

HELP: rational f
{ $description "The class of rational numbers, a disjoint union of integers and ratios." } ;

HELP: numerator "( a/b -- a )"
{ $values { "a/b" "a rational number" } { "a" "an integer" } }
{ $description "Outputs the numerator of a rational number. Acts as the identity on integers." } ;

HELP: denominator "( a/b -- b )"
{ $values { "a/b" "a rational number" } { "b" "a positive integer" } }
{ $description "Outputs the denominator of a rational number. Always outputs 1 with integers." } ;

HELP: >fraction "( a/b -- a b )"
{ $values { "a/b" "a rational number" } { "a" "an integer" } { "b" "a positive integer" } }
{ $description "Extracts the numerator and denominator of a rational number." } ;

HELP: 2>fraction "( a/b c/d -- a c b d )"
{ $values { "a/b" "a rational number" } { "a" "an integer" } { "c" "an integer" } { "b" "a positive integer" } { "d" "a positive integer" } }
{ $description "Extracts the numerator and denominator of two rational numbers at once." } ;