use crate::ext::xmpq;
use crate::ext::xmpz;
use crate::rational::big;
use crate::rational::ParseRationalError;
#[cfg(try_from)]
use crate::rational::TryFromFloatError;
use crate::{Assign, Integer, Rational};
use std::cmp::Ordering;
#[cfg(try_from)]
use std::convert::TryFrom;
#[cfg(try_from)]
use std::error::Error;
use std::fmt::{
self, Binary, Debug, Display, Formatter, LowerHex, Octal, UpperHex,
};
use std::hash::{Hash, Hasher};
use std::i32;
use std::mem;
use std::ptr;
use std::str::FromStr;
impl Default for Rational {
#[inline]
fn default() -> Rational {
Rational::new()
}
}
impl Clone for Rational {
#[inline]
fn clone(&self) -> Rational {
let mut dst: Rational;
unsafe {
dst = mem::uninitialized();
let (num, den) = dst.as_mut_numer_denom_no_canonicalization();
xmpz::init_set(num, self.numer());
xmpz::init_set(den, self.denom());
}
dst
}
#[inline]
fn clone_from(&mut self, src: &Rational) {
self.assign(src);
}
}
impl Drop for Rational {
#[inline]
fn drop(&mut self) {
unsafe {
xmpq::clear(self);
}
}
}
impl Hash for Rational {
fn hash<H>(&self, state: &mut H)
where
H: Hasher,
{
self.numer().hash(state);
self.denom().hash(state);
}
}
impl FromStr for Rational {
type Err = ParseRationalError;
#[inline]
fn from_str(src: &str) -> Result<Rational, ParseRationalError> {
Ok(Rational::from(Rational::parse(src)?))
}
}
impl Display for Rational {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
fmt_radix(self, f, 10, false, "")
}
}
impl Debug for Rational {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
fmt_radix(self, f, 10, false, "")
}
}
impl Binary for Rational {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
fmt_radix(self, f, 2, false, "0b")
}
}
impl Octal for Rational {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
fmt_radix(self, f, 8, false, "0o")
}
}
impl LowerHex for Rational {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
fmt_radix(self, f, 16, false, "0x")
}
}
impl UpperHex for Rational {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
fmt_radix(self, f, 16, true, "0x")
}
}
impl Assign for Rational {
#[inline]
fn assign(&mut self, src: Rational) {
mem::drop(mem::replace(self, src));
}
}
impl Assign<&Rational> for Rational {
#[inline]
fn assign(&mut self, src: &Rational) {
xmpq::set(self, Some(src));
}
}
impl From<&Rational> for Rational {
#[inline]
fn from(src: &Rational) -> Self {
let mut dst = <Self as Default>::default();
dst.assign(src);
dst
}
}
impl<Num> Assign<Num> for Rational
where
Integer: Assign<Num>,
{
#[inline]
fn assign(&mut self, src: Num) {
let num_den = unsafe { self.as_mut_numer_denom_no_canonicalization() };
num_den.0.assign(src);
<Integer as Assign<u32>>::assign(num_den.1, 1);
}
}
impl<Num> From<Num> for Rational
where
Integer: From<Num>,
{
#[inline]
fn from(src: Num) -> Self {
let mut dst: Rational;
unsafe {
dst = mem::uninitialized();
let (num, den) = dst.as_mut_numer_denom_no_canonicalization();
ptr::write(num, Integer::from(src));
xmpz::init_set_u32(den, 1);
}
dst
}
}
impl<Num, Den> Assign<(Num, Den)> for Rational
where
Integer: Assign<Num> + Assign<Den>,
{
#[inline]
fn assign(&mut self, src: (Num, Den)) {
self.mutate_numer_denom(move |num, den| {
num.assign(src.0);
den.assign(src.1);
})
}
}
impl<Num, Den> From<(Num, Den)> for Rational
where
Integer: From<Num> + From<Den>,
{
#[inline]
fn from(src: (Num, Den)) -> Self {
let mut dst: Rational = unsafe { mem::uninitialized() };
dst.mutate_numer_denom(move |num, den| unsafe {
ptr::write(num, Integer::from(src.0));
ptr::write(den, Integer::from(src.1));
assert_ne!(den.cmp0(), Ordering::Equal, "division by zero");
});
dst
}
}
impl<'a, Num, Den> Assign<&'a (Num, Den)> for Rational
where
Integer: Assign<&'a Num> + Assign<&'a Den>,
{
#[inline]
fn assign(&mut self, src: &'a (Num, Den)) {
self.mutate_numer_denom(|num, den| {
num.assign(&src.0);
den.assign(&src.1);
});
}
}
impl<'a, Num, Den> From<&'a (Num, Den)> for Rational
where
Integer: From<&'a Num> + From<&'a Den>,
{
#[inline]
fn from(src: &'a (Num, Den)) -> Self {
let mut dst: Rational = unsafe { mem::uninitialized() };
dst.mutate_numer_denom(move |num, den| unsafe {
ptr::write(num, Integer::from(&src.0));
ptr::write(den, Integer::from(&src.1));
assert_ne!(den.cmp0(), Ordering::Equal, "division by zero");
});
dst
}
}
#[cfg(try_from)]
impl TryFrom<f32> for Rational {
type Error = TryFromFloatError;
fn try_from(value: f32) -> Result<Self, TryFromFloatError> {
Rational::from_f32(value).ok_or(TryFromFloatError { _unused: () })
}
}
#[cfg(try_from)]
impl TryFrom<f64> for Rational {
type Error = TryFromFloatError;
fn try_from(value: f64) -> Result<Self, TryFromFloatError> {
Rational::from_f64(value).ok_or(TryFromFloatError { _unused: () })
}
}
fn fmt_radix(
r: &Rational,
f: &mut Formatter<'_>,
radix: i32,
to_upper: bool,
prefix: &str,
) -> fmt::Result {
let mut s = String::new();
big::append_to_string(&mut s, r, radix, to_upper);
let neg = s.starts_with('-');
let buf = if neg { &s[1..] } else { &s[..] };
f.pad_integral(!neg, prefix, buf)
}
impl Display for ParseRationalError {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
Debug::fmt(self, f)
}
}
#[cfg(try_from)]
impl Error for TryFromFloatError {
fn description(&self) -> &str {
"conversion of infinite or NaN value attempted"
}
}
#[cfg(try_from)]
impl Display for TryFromFloatError {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
Display::fmt(self.description(), f)
}
}
unsafe impl Send for Rational {}
unsafe impl Sync for Rational {}
#[cfg(test)]
#[allow(clippy::float_cmp)]
mod tests {
use crate::{Assign, Rational};
#[cfg(try_from)]
use std::convert::TryFrom;
#[test]
fn check_assign() {
let mut r = Rational::from((1, 2));
assert_eq!(r, (1, 2));
let other = Rational::from((-2, 3));
r.assign(&other);
assert_eq!(r, (-2, 3));
r.assign(-other);
assert_eq!(r, (2, 3));
}
#[cfg(try_from)]
#[test]
fn check_fallible_conversions() {
use crate::tests::{F32, F64};
use Rational;
for &f in F32 {
let r = Rational::try_from(f);
assert_eq!(r.is_ok(), f.is_finite());
#[cfg(feature = "float")]
{
if let Ok(r) = r {
assert_eq!(r, f);
}
}
}
for &f in F64 {
let r = Rational::try_from(f);
assert_eq!(r.is_ok(), f.is_finite());
#[cfg(feature = "float")]
{
if let Ok(r) = r {
assert_eq!(r, f);
}
}
}
}
}