A | |
| abs_rat [Rat] |
Returns the absolute value of a rational.
|
| add_rat [Rat] |
Adds two rationals.
|
C | |
| coef_deg_list_of_poly [Rat_poly] | |
| cons_list [List_1] |
Constructs from the given pair (x, lx) the list whose first element is x and
whose rest is lx.
|
| cons_open [Rat_inter] |
Constructs the non-empty open interval (a, b) from the given pair (a, b) of rationals.
|
| cons_poly [Rat_poly] |
Constructs the polynomial a + Xp given the pair (a, p) where a is a rational and p is a
polynomial.
|
| cons_rat [Rat] |
Constructs the rational a / b from the given pair of strings whose first and second
elements denote the integers a and b respectively.
|
| cons_single [Rat_inter] |
Constructs the singleton that contains the given rational.
|
| cut_in_half [Rat_inter] |
Returns given the interval (a, b) the pair ((a, c), (c, b)) of intervals where c is the
midpoint of (a, b).
|
D | |
| div_rat [Rat] |
Returns the rational a / b given the pair (a, b) of rationals.
|
E | |
| empty_list [List_1] |
Constructs an empty list.
|
| eq_rat [Rat] |
Tests two rationals for equality.
|
G | |
| ge_rat [Rat] |
Tests whether a >= b given the pair (a, b) of rationals.
|
| gt_rat [Rat] |
Tests whether a > b given the pair (a, b) of rationals.
|
H | |
| head [List_1] |
Returns the first element of a list.
|
I | |
| inv_cons_poly [Rat_poly] |
Returns the pair (a, p) given the polynomial a + Xp.
|
| is_empty_list [List_1] |
Tests whether a list is empty.
|
| is_null_poly [Rat_poly] |
Tests whether a polynomial is the polynomial zero.
|
| is_open [Rat_inter] |
Tests whether an interval is open.
|
L | |
| le_rat [Rat] |
Tests whether a <= b given the pair (a, b) of rationals.
|
| lower_bound [Rat_inter] |
Returns the lower bound of an interval.
|
| lt_rat [Rat] |
Tests whether a < b given the pair (a, b) of rationals.
|
M | |
| midpoint [Rat_inter] |
Returns the midpoint of an interval.
|
| mult_rat [Rat] |
Multiply two rationals.
|
N | |
| null_poly [Rat_poly] |
Constructs the polynomial zero.
|
O | |
| opp_rat [Rat] |
Returns the opposite (or additive inverse) of a rational.
|
P | |
| pr_inter [Rat_inter] | |
| pr_poly [Rat_poly] | |
| pr_rat [Rat] | |
| print_rat [Rat] |
Prints a string representation of a rational.
|
| print_rat_inter [Rat_inter] |
Prints a string representation of an interval.
|
| print_rat_poly [Rat_poly] |
Prints a string representation of a polynomial.
|
R | |
| reciproc_rat [Rat] |
Returns the reciprocal (or multiplicative inverse) of a rational.
|
S | |
| string_approx_rat [Rat] |
Returns a string representation of a decimal approximation of a rational
according to a given precision (the number of digits after the decimal point).
|
| string_of_poly [Rat_poly] |
Returns a string representation of a polynomial.
|
| string_of_rat [Rat] |
Returns a string representation of a rational, using fractional notation.
|
| string_of_rat_inter [Rat_inter] |
Returns a string representation of an interval.
|
| sub_rat [Rat] |
Returns the rational a - b given the pair (a, b) of rationals.
|
T | |
| tail [List_1] |
Returns the given list without its first element.
|
U | |
| upper_bound [Rat_inter] |
Returns the upper bound of an interval.
|
W | |
| width [Rat_inter] |
Returns the width of an interval.
|