2021-05-28 11:58:40 +02:00
|
|
|
/* OpenTally: Open-source election vote counting
|
|
|
|
* Copyright © 2021 Lee Yingtong Li (RunasSudo)
|
|
|
|
*
|
|
|
|
* This program is free software: you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU Affero General Public License as published by
|
|
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
|
|
* (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU Affero General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU Affero General Public License
|
|
|
|
* along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
2021-05-30 10:28:39 +02:00
|
|
|
use super::{Assign, Number};
|
2021-05-28 19:01:07 +02:00
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
use num_bigint::{BigInt, ParseBigIntError};
|
|
|
|
use num_rational::BigRational; // TODO: Can we do Ratio<IBig> and combine with ibig?
|
|
|
|
use num_traits::{Num, One, Signed, Zero};
|
2021-05-28 11:58:40 +02:00
|
|
|
|
2021-05-29 18:28:52 +02:00
|
|
|
use std::cmp::{Ord, Ordering, PartialEq, PartialOrd};
|
2021-05-28 11:58:40 +02:00
|
|
|
use std::fmt;
|
|
|
|
use std::ops;
|
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
pub struct Rational(BigRational);
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
impl Number for Rational {
|
2021-05-30 15:00:28 +02:00
|
|
|
fn new() -> Self { Self(BigRational::zero()) }
|
2021-05-28 11:58:40 +02:00
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
fn from(n: usize) -> Self { Self(BigRational::from_integer(BigInt::from(n))) }
|
2021-05-28 11:58:40 +02:00
|
|
|
|
2021-05-29 09:51:45 +02:00
|
|
|
fn floor_mut(&mut self, dps: usize) {
|
|
|
|
if dps == 0 {
|
2021-05-30 15:00:28 +02:00
|
|
|
self.0 = self.0.floor();
|
2021-05-29 09:51:45 +02:00
|
|
|
} else {
|
2021-05-30 15:00:28 +02:00
|
|
|
let factor = BigRational::from_integer(BigInt::from(10)).pow(dps as i32);
|
2021-05-29 09:51:45 +02:00
|
|
|
self.0 *= &factor;
|
2021-05-30 15:00:28 +02:00
|
|
|
self.0 = self.0.floor();
|
2021-05-29 09:51:45 +02:00
|
|
|
self.0 /= factor;
|
|
|
|
}
|
|
|
|
}
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Num for Rational {
|
2021-05-30 15:00:28 +02:00
|
|
|
//type FromStrRadixErr = ParseRatioError;
|
|
|
|
type FromStrRadixErr = ParseBigIntError;
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
fn from_str_radix(str: &str, radix: u32) -> Result<Self, Self::FromStrRadixErr> {
|
2021-05-30 15:00:28 +02:00
|
|
|
//match BigRational::from_str_radix(str, radix) {
|
|
|
|
match BigInt::from_str_radix(str, radix) {
|
|
|
|
Ok(value) => Ok(Self(BigRational::from_integer(value))),
|
2021-05-28 11:58:40 +02:00
|
|
|
Err(err) => Err(err)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Assign for Rational {
|
2021-05-30 15:00:28 +02:00
|
|
|
fn assign(&mut self, src: Self) { self.0 = src.0 }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Assign<&Rational> for Rational {
|
2021-05-30 15:00:28 +02:00
|
|
|
fn assign(&mut self, src: &Rational) { self.0 = src.0.clone() }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Clone for Rational {
|
|
|
|
fn clone(&self) -> Self { Self(self.0.clone()) }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Display for Rational {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
if let Some(precision) = f.precision() {
|
|
|
|
if precision == 0 {
|
2021-05-30 15:00:28 +02:00
|
|
|
let result = self.0.round().to_integer().to_string();
|
2021-05-28 11:58:40 +02:00
|
|
|
return f.write_str(&result);
|
|
|
|
} else {
|
2021-05-30 15:00:28 +02:00
|
|
|
let base = BigInt::from(10).pow(precision as u32);
|
|
|
|
let mut result = (&self.0 * base).abs().round().to_integer().to_string();
|
2021-05-29 09:51:45 +02:00
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
let should_add_minus = (self.0 < BigRational::zero()) && result != "0";
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
// Add leading 0s
|
|
|
|
result = format!("{0:0>1$}", result, precision + 1);
|
|
|
|
|
|
|
|
// Add the decimal point
|
|
|
|
result.insert(result.len() - precision, '.');
|
|
|
|
|
2021-05-29 09:51:45 +02:00
|
|
|
// Add the sign
|
|
|
|
if should_add_minus {
|
|
|
|
result.insert(0, '-');
|
|
|
|
}
|
|
|
|
|
2021-05-28 11:58:40 +02:00
|
|
|
return f.write_str(&result);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
return self.0.fmt(f);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl One for Rational {
|
2021-05-30 15:00:28 +02:00
|
|
|
fn one() -> Self { Self(BigRational::one()) }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Zero for Rational {
|
|
|
|
fn zero() -> Self { Self::new() }
|
2021-05-30 15:00:28 +02:00
|
|
|
fn is_zero(&self) -> bool { self.0.is_zero() }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
2021-05-29 18:28:52 +02:00
|
|
|
impl Eq for Rational {}
|
2021-05-28 11:58:40 +02:00
|
|
|
impl PartialEq for Rational {
|
2021-05-29 18:28:52 +02:00
|
|
|
fn eq(&self, other: &Self) -> bool { self.0 == other.0 }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Ord for Rational {
|
2021-05-30 15:00:28 +02:00
|
|
|
fn cmp(&self, other: &Self) -> Ordering { self.0.partial_cmp(&other.0).unwrap() }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl PartialOrd for Rational {
|
|
|
|
fn partial_cmp(&self, other: &Self) -> Option<Ordering> { self.0.partial_cmp(&other.0) }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Neg for Rational {
|
|
|
|
type Output = Rational;
|
2021-05-28 19:01:07 +02:00
|
|
|
fn neg(self) -> Self::Output { Self(-self.0) }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Add for Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn add(self, _rhs: Self) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Sub for Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn sub(self, _rhs: Self) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Mul for Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn mul(self, _rhs: Self) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Div for Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn div(self, _rhs: Self) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Rem for Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
|
|
|
|
fn rem(self, _rhs: Self) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Add<&Rational> for Rational {
|
|
|
|
type Output = Rational;
|
2021-05-28 19:01:07 +02:00
|
|
|
fn add(self, rhs: &Rational) -> Self::Output { Self(self.0 + &rhs.0) }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Sub<&Rational> for Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn sub(self, _rhs: &Rational) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Mul<&Rational> for Rational {
|
|
|
|
type Output = Rational;
|
2021-05-30 15:00:28 +02:00
|
|
|
fn mul(self, rhs: &Rational) -> Self::Output { Rational(self.0 * &rhs.0) }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Div<&Rational> for Rational {
|
|
|
|
type Output = Rational;
|
2021-05-30 15:00:28 +02:00
|
|
|
fn div(self, rhs: &Rational) -> Self::Output { Rational(self.0 / &rhs.0) }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Rem<&Rational> for Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn rem(self, _rhs: &Rational) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::AddAssign for Rational {
|
|
|
|
fn add_assign(&mut self, rhs: Self) { self.0 += rhs.0 }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::SubAssign for Rational {
|
2021-05-28 16:43:58 +02:00
|
|
|
fn sub_assign(&mut self, rhs: Self) { self.0 -= rhs.0 }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::MulAssign for Rational {
|
|
|
|
fn mul_assign(&mut self, _rhs: Self) {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::DivAssign for Rational {
|
|
|
|
fn div_assign(&mut self, rhs: Self) {
|
|
|
|
self.0 /= &rhs.0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::RemAssign for Rational {
|
|
|
|
fn rem_assign(&mut self, _rhs: Self) {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::AddAssign<&Rational> for Rational {
|
2021-05-28 16:43:58 +02:00
|
|
|
fn add_assign(&mut self, rhs: &Rational) { self.0 += &rhs.0 }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::SubAssign<&Rational> for Rational {
|
2021-05-28 16:43:58 +02:00
|
|
|
fn sub_assign(&mut self, rhs: &Rational) { self.0 -= &rhs.0 }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::MulAssign<&Rational> for Rational {
|
|
|
|
fn mul_assign(&mut self, _rhs: &Rational) {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::DivAssign<&Rational> for Rational {
|
|
|
|
fn div_assign(&mut self, _rhs: &Rational) {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::RemAssign<&Rational> for Rational {
|
|
|
|
fn rem_assign(&mut self, _rhs: &Rational) {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-05-28 16:43:58 +02:00
|
|
|
impl ops::Neg for &Rational {
|
|
|
|
type Output = Rational;
|
2021-05-30 15:00:28 +02:00
|
|
|
fn neg(self) -> Self::Output { Rational(-&self.0) }
|
2021-05-28 16:43:58 +02:00
|
|
|
}
|
|
|
|
|
2021-05-28 11:58:40 +02:00
|
|
|
impl ops::Add<&Rational> for &Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn add(self, _rhs: &Rational) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Sub<&Rational> for &Rational {
|
|
|
|
type Output = Rational;
|
2021-05-30 15:00:28 +02:00
|
|
|
fn sub(self, rhs: &Rational) -> Self::Output { Rational(&self.0 - &rhs.0) }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Mul<&Rational> for &Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn mul(self, _rhs: &Rational) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Div<&Rational> for &Rational {
|
|
|
|
type Output = Rational;
|
2021-05-30 15:00:28 +02:00
|
|
|
fn div(self, rhs: &Rational) -> Self::Output { Rational(&self.0 / &rhs.0) }
|
2021-05-28 11:58:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ops::Rem<&Rational> for &Rational {
|
|
|
|
type Output = Rational;
|
|
|
|
fn rem(self, _rhs: &Rational) -> Self::Output {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2021-05-30 15:00:28 +02:00
|
|
|
impl ops::Add<&&NativeFloat> for &NativeFloat {
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
impl ops::Sub<&&NativeFloat> for &NativeFloat {
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
impl ops::Mul<&&NativeFloat> for &NativeFloat {
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
impl ops::Div<&&NativeFloat> for &NativeFloat {
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-05-30 15:00:28 +02:00
|
|
|
impl ops::Rem<&&NativeFloat> for &NativeFloat {
|
2021-05-28 11:58:40 +02:00
|
|
|
|
|
|
|
}
|
|
|
|
*/
|