Module un_algebra::rational::rational

Algebraic trait implementations for rational numbers.

The rational numbers (ℚ) form a field. We assume the numerator and denominator of a rational number are unbounded signed integers. Rationals implemented using Rust integer types (e.g. i64) overflow too easily during generative testing.

In the absence of a rational number type in the Rust standard library, the "big rational" number type used here is from the very handy num crate.

Re-exports

pub use num::traits::*;

pub use num::rational::*;