use std::fmt;
use std::fmt::Display;
use std::ops::Neg;
use crate::Negateable;
use crate::non_zero::NonZeroSign;
use crate::rational::Ratio;
use crate::sign::Sign;
mod io;
pub(crate) mod ops;
mod absorb;
mod gcd;
mod narrow;
mod size;
macro_rules! rational {
($name:ident, $ity:ty, $uty:ty) => {
pub type $name = Ratio<Sign, $uty, $uty>;
impl Neg for $name {
type Output = Self;
#[inline]
fn neg(mut self) -> Self::Output {
Negateable::negate(&mut self.sign);
self
}
}
impl Neg for &$name {
type Output = $name;
#[inline]
fn neg(self) -> Self::Output {
Self::Output {
sign: !self.sign,
numerator: self.numerator,
denominator: self.denominator,
}
}
}
impl PartialEq for $name {
fn eq(&self, other: &Self) -> bool {
match (self.sign, other.sign) {
(Sign::Positive, Sign::Negative) |
(Sign::Negative, Sign::Positive) => false,
(Sign::Zero, Sign::Zero) => true,
(Sign::Positive, Sign::Positive) | (Sign::Negative, Sign::Negative) => {
self.numerator == other.numerator && self.denominator == other.denominator
}
(Sign::Zero, Sign::Positive | Sign::Negative) |
(Sign::Positive | Sign::Negative, Sign::Zero) => false,
}
}
}
impl Eq for $name {}
impl Display for $name {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match self.sign {
Sign::Positive => {}
Sign::Zero => return write!(f, "0"),
Sign::Negative => {
write!(f, "-")?;
}
}
write!(f, "{}", self.numerator)?;
if self.denominator != 1 {
write!(f, "/")?;
write!(f, "{}", self.denominator)?;
}
fmt::Result::Ok(())
}
}
}
}
rational!(Rational8, i8, u8);
rational!(Rational16, i16, u16);
rational!(Rational32, i32, u32);
rational!(Rational64, i64, u64);
rational!(RationalUsize, isize, usize);
rational!(Rational128, i128, u128);
macro_rules! rational_non_zero {
($name:ident, $ity:ty, $uty:ty) => {
pub type $name = Ratio<NonZeroSign, $uty, $uty>;
impl PartialEq for $name {
fn eq(&self, other: &Self) -> bool {
self.numerator == other.numerator &&
self.denominator == other.denominator &&
self.sign == other.sign
}
}
impl Eq for $name {}
}
}
rational_non_zero!(NonZeroRational8, i8, u8);
rational_non_zero!(NonZeroRational16, i16, u16);
rational_non_zero!(NonZeroRational32, i32, u32);
rational_non_zero!(NonZeroRational64, i64, u64);
rational_non_zero!(NonZeroRational128, i128, u128);
rational_non_zero!(NonZeroRationalUsize, isize, usize);
#[cfg(test)]
mod test {
use std::cmp::Ordering;
use std::str::FromStr;
use num_traits::{FromPrimitive, One, Zero};
use crate::{NonZero, NonZeroSign, NonZeroSigned, Rational128};
use crate::{R16, R32, R64, R8};
use crate::rational::{Ratio, Rational16, Rational32, Rational64, Rational8, Sign};
#[test]
fn test_new() {
assert_eq!(R8!(0, 2), Ratio { sign: Sign::Zero, numerator: 0_u8, denominator: 1 });
assert_eq!(R8!(2, 2), Ratio { sign: Sign::Positive, numerator: 1, denominator: 1 });
assert_eq!(R8!(6, 2), Ratio { sign: Sign::Positive, numerator: 3, denominator: 1 });
assert_eq!(R8!(-6, 2), Ratio { sign: Sign::Negative, numerator: 3, denominator: 1 });
}
#[test]
fn test_from() {
assert_eq!(<Rational8 as From<_>>::from(1_u8), Rational8::one());
assert_eq!(<Rational32 as From<_>>::from(1), Rational32::one());
assert_eq!(FromPrimitive::from_u64(16), Some(R8!(16)));
assert_eq!(FromPrimitive::from_u16(0), Some(Rational8::zero()));
assert_eq!(<Rational16 as FromPrimitive>::from_u32(u32::MAX), None);
assert_eq!(FromPrimitive::from_i32(i32::MAX), Some(R32!(i32::MAX, 1)));
assert_eq!(<Rational64 as FromPrimitive>::from_i128(i128::MAX), None);
assert_eq!(FromPrimitive::from_i16(-1), Some(R8!(-2, 2)));
assert_eq!(<Rational128 as FromPrimitive>::from_f64(f64::NAN), None);
assert_eq!(<Rational64 as FromPrimitive>::from_f64(f64::INFINITY), None);
assert_eq!(<Rational32 as FromPrimitive>::from_f64(f64::NEG_INFINITY), None);
assert_eq!(FromPrimitive::from_f64(-0_f64), Some(Rational8::zero()));
assert!(<Rational128 as FromPrimitive>::from_f64(u128::MAX as f64).is_none());
assert_eq!(<Rational32 as FromPrimitive>::from_i64(i64::MAX), None);
assert_eq!(Rational64::from((-1, 2)), R64!(-1, 2));
}
#[test]
fn test_nonzero() {
assert!(!Rational8::zero().is_not_zero());
assert_eq!(Rational16::zero().is_zero(), !Rational16::zero().is_not_zero());
assert_eq!(R8!(1).non_zero_signum(), NonZeroSign::Positive);
}
#[test]
#[should_panic]
fn test_sign_panic() {
R8!(0).non_zero_signum();
}
#[test]
fn test_one() {
assert!(Rational64::zero() < Rational64::one());
assert!(Rational64::one().is_one());
let mut x = Rational32::zero();
x.set_one();
assert_eq!(x, Rational32::one());
}
#[test]
fn test_cmp() {
assert!(R8!(12) < R8!(13));
assert!(R8!(1, 2) > R8!(1, 3));
assert_eq!(R8!(7, 11), R8!(7, 11));
assert!(R8!(3, 4) < R8!(5, 6));
assert!(R8!(13) > R8!(12));
assert_eq!(R32!(0), R32!(0));
assert_eq!(R32!(0).partial_cmp(&R32!(0)), Some(Ordering::Equal));
assert_eq!(R32!(12, 5).partial_cmp(&R32!(23, 10)), Some(Ordering::Greater));
assert!(!(R32!(7, 11) < R32!(7, 11)));
assert!(R64!(-3, 11) < R64!(3, 11));
assert_ne!(R64!(-9, 4), R64!(9, 4));
assert!(R8!(-3) < R8!(-2));
assert!(R8!(-3) < R8!(0));
assert!(R8!(-3) < R8!(2));
assert!(R8!(-3) < R8!(3));
assert!(Rational8::from_str("255/2").unwrap() < R8!(128));
}
#[test]
fn test_eq() {
assert_eq!(R8!(3), R8!(3));
assert_eq!(R8!(0), R8!(0));
assert_eq!(R8!(-1), R8!(-1));
assert_ne!(R8!(-1), R8!(0));
assert_ne!(R8!(-1), R8!(1));
assert_ne!(R8!(0), R8!(1));
}
#[test]
fn test_add() {
assert_eq!(Rational64::one() + Rational64::one(), R64!(2));
assert_eq!(R64!(3, 2) + R64!(3, 2), R64!(3));
assert_eq!(R64!(-3, 2) + R64!(3, 2), Rational64::zero());
assert_eq!(R64!(948, 64) + Rational64::zero(), R64!(948, 64));
assert_eq!(-Rational64::one() + Rational64::one(), Rational64::zero());
assert_eq!(Rational128::zero() + Rational128::one(), Rational128::one());
assert_eq!(Rational128::zero() + -Rational128::one(), -Rational128::one());
assert_eq!(&R32!(3, 9) + &R32!(-1, 3), R32!(0));
assert_eq!(R8!(4, 5) + R8!(1, 5), R8!(1));
assert_eq!(R8!(5, 1) + R8!(3, 2), R8!(13, 2));
assert_eq!(R8!(3, 4) + R8!(3), R8!(15, 4));
assert_eq!(R8!(3, 4) + R8!(17, 5), R8!(83, 20));
assert_eq!(R32!(3, 4) + R32!(3, 32), R32!(27, 32));
assert_eq!(R32!(-10) + R32!(9), R32!(-1));
let limit = 10;
for a in -limit..limit {
for b in 1..limit {
for c in -limit..limit {
for d in 1..limit {
assert_eq!(R32!(a, b as u32) + R32!(c, d as u32), R32!(a * d + c * b, b as u32 * d as u32), "{} / {} + {} / {}", a, b, c, d);
}
}
}
}
}
#[test]
fn test_sum() {
assert_eq!((0..10).map(Rational32::from).sum::<Rational32>(), R32!(45));
assert_eq!((0_i16..10).map(|i| Rational16::new(i, 2).unwrap()).sum::<Rational16>(), R16!(45, 2));
let vs = vec![
(R32!(23, 31), R32!(-699, 65)),
(R32!(29, 31), R32!(-30736, 1885)),
];
let product = vs.into_iter().map(|(a, b)| &a * &b).sum::<Rational32>();
let constant = R32!(-2826, 155);
assert_eq!(constant - product, R32!(5));
}
#[test]
fn test_sub() {
assert_eq!(Rational64::one() - Rational64::one(), R64!(0));
assert_eq!(R64!(3, 2) - R64!(3, 2), R64!(0));
assert_eq!(R64!(-3, 2) - R64!(3, 2), -R64!(3));
assert_eq!(R64!(948, 64) - Rational64::zero(), R64!(948, 64));
assert_eq!(-Rational64::one() - Rational64::one(), -R64!(2));
assert_eq!(Rational64::one() - Rational64::one(), -R64!(0));
assert_eq!(Rational128::zero() - Rational128::one(), -Rational128::one());
assert_eq!(Rational128::zero() - -Rational128::one(), Rational128::one());
assert_eq!(&R32!(3, 9) - &R32!(1, 3), R32!(0));
assert_eq!(R8!(4, 5) - R8!(1, 5), R8!(3, 5));
assert_eq!(R8!(5, 1) - R8!(3, 2), R8!(7, 2));
assert_eq!(R8!(3, 4) - R8!(3), R8!(-9, 4));
assert_eq!(R8!(3, 4) - R8!(17, 5), R8!(15 - 4 * 17, 20));
assert_eq!(R8!(17, 5) - R8!(3, 4), R8!(4 * 17 - 15, 20));
assert_eq!(R32!(3601, 155) - R32!(2826, 155), R32!(5));
assert_eq!(R32!(-2826, 155) - R32!(-3601, 155), R32!(5));
let limit = 10;
for a in -limit..limit {
for b in 1..limit {
for c in -limit..limit {
for d in 1..limit {
assert_eq!(R32!(a, b as u32) - R32!(c, d as u32), R32!(a * d - c * b, b as u32 * d as u32), "{} / {} - {} / {}", a, b, c, d);
}
}
}
}
}
#[test]
fn test_mul() {
assert_eq!(Rational64::one() * Rational64::one(), R64!(1));
assert_eq!(R64!(3, 2) * R64!(3, 2), R64!(9, 4));
assert_eq!(R64!(-3, 2) * R64!(3, 2), -R64!(9, 4));
assert_eq!(R64!(948, 64) * Rational64::zero(), R64!(0));
assert_eq!(-Rational64::one() * Rational64::one(), -R64!(1));
assert_eq!(Rational64::one() * Rational64::one(), R64!(1));
assert_eq!(Rational128::zero() * Rational128::one(), -Rational128::zero());
assert_eq!(Rational128::zero() * -Rational128::one(), Rational128::zero());
assert_eq!(R8!(3, 2) * R8!(4, 9), R8!(2, 3));
assert_eq!(R32!(27, 32) * R32!(2), R32!(27, 16));
let limit = 10;
for a in -limit..limit {
for b in 1..limit {
for c in -limit..limit {
for d in 1..limit {
assert_eq!(R32!(a, b as u32) * R32!(c, d as u32), R32!(a * c, b as u32 * d as u32), "{} / {} * {} / {}", a, b, c, d);
}
}
}
}
}
#[test]
fn test_div() {
assert_eq!(Rational64::one() / Rational64::one(), R64!(1));
assert_eq!(R64!(3, 2) / R64!(3, 2), R64!(1));
assert_eq!(R64!(-3, 2) / R64!(3, 2), -R64!(1));
assert_eq!(-Rational64::one() / Rational64::one(), -R64!(1));
assert_eq!(Rational128::zero() / Rational128::one(), -Rational128::zero());
assert_eq!(Rational128::zero() / -Rational128::one(), Rational128::zero());
}
#[test]
fn test_new_signed() {
assert_eq!(Rational64::new_signed(Sign::Positive, 6, 18), Some(R64!(1, 3)));
assert_eq!(Rational64::new_signed(Sign::Zero, 0, 6), Some(R64!(0)));
assert_eq!(Rational64::new_signed(Sign::Negative, 9, 18), Some(-R64!(1, 2)));
}
#[test]
fn test_new_signed_invalid() {
assert_eq!(Rational64::new_signed(Sign::Zero, 1, 1), None);
assert_eq!(Rational64::new_signed(Sign::Positive, 0, 1), None);
assert_eq!(Rational64::new_signed(Sign::Negative, 0, 1), None);
assert_eq!(Rational64::new_signed(Sign::Positive, 1, 0), None);
}
#[test]
fn test_display() {
assert_eq!(Rational64::one().to_string(), "1");
assert_eq!(Rational64::zero().to_string(), "0");
assert_eq!(R64!(1, 2).to_string(), "1/2");
assert_eq!(R64!(-1, 2).to_string(), "-1/2");
}
#[test]
fn test_from_str() {
assert_eq!(Rational8::from_str("8"), Ok(R8!(8)));
assert_eq!(Rational8::from_str("-8"), Ok(-R8!(8)));
assert_eq!(Rational16::from_str("-16/3"), Ok(R16!(-16, 3)));
assert_eq!(Rational16::from_str("16/4"), Ok(R16!(16, 4)));
assert_eq!(Rational32::from_str("4294967297"), Err("value was too large for this type"));
}
}