Crate unified_real

Re-exports

pub use property::Kind;

pub use property::Property;

pub use real::Real;

Modules

property

real

traits

Functions

extract_square

Returns r1 and r2 such that n = r1^2 * r2.

parse_rational

Constructs a BigRational from a string representation.

rational_digits_required

Returns the number of digits to the right of the decimal point required to represent the rational exactly, if possible.

rational_truncated

Returns a string representation of the rational number, truncated to n decimal places. Rounded to zero.

reduce_trig_arg