// Copyright © 2024 Mikhail Hogrefe // // This file is part of Malachite. // // Malachite is free software: you can redistribute it and/or modify it under the terms of the GNU // Lesser General Public License (LGPL) as published by the Free Software Foundation; either version // 3 of the License, or (at your option) any later version. See . use malachite_base::num::basic::signeds::PrimitiveSigned; use malachite_base::num::basic::unsigneds::PrimitiveUnsigned; use malachite_base::test_util::generators::{signed_pair_gen, unsigned_pair_gen_var_27}; use malachite_q::test_util::generators::{rational_signed_pair_gen, rational_unsigned_pair_gen}; use malachite_q::Rational; use rug; use std::str::FromStr; #[test] fn test_partial_eq_u32() { let test = |s, v: u32, out| { let u = Rational::from_str(s).unwrap(); assert_eq!(u == v, out); assert_eq!(rug::Rational::from_str(s).unwrap() == v, out); assert_eq!(v == u, out); assert_eq!(v == rug::Rational::from_str(s).unwrap(), out); }; test("0", 0, true); test("0", 5, false); test("123", 123, true); test("-123", 123, false); test("123", 5, false); test("-123", 5, false); test("1000000000000", 123, false); test("-1000000000000", 123, false); test("22/7", 123, false); test("-22/7", 123, false); } #[test] fn test_partial_eq_u64() { let test = |s, v: u64, out| { let u = Rational::from_str(s).unwrap(); assert_eq!(u == v, out); assert_eq!(rug::Rational::from_str(s).unwrap() == v, out); assert_eq!(v == u, out); assert_eq!(v == rug::Rational::from_str(s).unwrap(), out); }; test("0", 0, true); test("0", 5, false); test("123", 123, true); test("-123", 123, false); test("123", 5, false); test("-123", 5, false); test("1000000000000", 1000000000000, true); test("-1000000000000", 1000000000000, false); test("1000000000000", 1000000000001, false); test("-1000000000000", 1000000000001, false); test("1000000000000000000000000", 1000000000000, false); test("-1000000000000000000000000", 1000000000000, false); test("22/7", 123, false); test("-22/7", 123, false); } #[test] fn test_partial_eq_i32() { let test = |s, v: i32, out| { let u = Rational::from_str(s).unwrap(); assert_eq!(u == v, out); assert_eq!(rug::Rational::from_str(s).unwrap() == v, out); assert_eq!(v == u, out); assert_eq!(v == rug::Rational::from_str(s).unwrap(), out); }; test("0", 0, true); test("0", 5, false); test("123", 123, true); test("-123", -123, true); test("-123", 123, false); test("123", 5, false); test("-123", -5, false); test("1000000000000", 123, false); test("-1000000000000", -123, false); test("22/7", 123, false); test("22/7", -123, false); test("-22/7", 123, false); test("-22/7", -123, false); } #[test] fn test_partial_eq_i64() { let test = |s, v: i64, out| { let u = Rational::from_str(s).unwrap(); assert_eq!(u == v, out); assert_eq!(rug::Rational::from_str(s).unwrap() == v, out); assert_eq!(v == u, out); assert_eq!(v == rug::Rational::from_str(s).unwrap(), out); }; test("0", 0, true); test("0", 5, false); test("123", 123, true); test("-123", -123, true); test("-123", 123, false); test("123", 5, false); test("-123", -5, false); test("1000000000000", 1000000000000, true); test("-1000000000000", -1000000000000, true); test("1000000000000", 1000000000001, false); test("-1000000000000", -1000000000001, false); test("1000000000000000000000000", 1000000000000, false); test("-1000000000000000000000000", -1000000000000, false); test("22/7", 123, false); test("22/7", -123, false); test("-22/7", 123, false); test("-22/7", -123, false); } // Extra refs necessary for type inference #[allow(clippy::cmp_owned, clippy::op_ref, clippy::trait_duplication_in_bounds)] fn partial_eq_primitive_int_properties_helper_unsigned< T: PartialEq + PartialEq + PrimitiveUnsigned, >() where Rational: From + PartialEq, rug::Rational: PartialEq, { rational_unsigned_pair_gen::().test_properties(|(n, u)| { let eq = n == u; assert_eq!(rug::Rational::from(&n) == u, eq); assert_eq!(&n == &Rational::from(u), eq); assert_eq!(u == n, eq); assert_eq!(u == rug::Rational::from(&n), eq); assert_eq!(&Rational::from(u) == &n, eq); }); unsigned_pair_gen_var_27::().test_properties(|(x, y)| { assert_eq!(Rational::from(x) == y, x == y); assert_eq!(x == Rational::from(y), x == y); }); } // Extra refs necessary for type inference #[allow(clippy::cmp_owned, clippy::op_ref, clippy::trait_duplication_in_bounds)] fn partial_eq_primitive_int_properties_helper_signed< T: PartialEq + PartialEq + PrimitiveSigned, >() where Rational: From + PartialEq, rug::Rational: PartialEq, { rational_signed_pair_gen::().test_properties(|(n, i)| { let eq = n == i; assert_eq!(rug::Rational::from(&n) == i, eq); assert_eq!(&n == &Rational::from(i), eq); assert_eq!(i == n, eq); assert_eq!(i == rug::Rational::from(&n), eq); assert_eq!(&Rational::from(i) == &n, eq); }); signed_pair_gen::().test_properties(|(x, y)| { assert_eq!(Rational::from(x) == y, x == y); assert_eq!(x == Rational::from(y), x == y); }); } #[test] fn partial_eq_primitive_int_properties() { apply_fn_to_unsigneds!(partial_eq_primitive_int_properties_helper_unsigned); apply_fn_to_signeds!(partial_eq_primitive_int_properties_helper_signed); }