amalie 0.1.2

Mathmatical library written for rust and python
Documentation
use super::ZZ;
use crate::unit::macro_util::*;
use std::ops::{Add, AddAssign};

impl_self_ref_comb!(ZZ, +, Add, add);

macro_rules! impl_add {
    ($($type:ident),*) => {
        $(
            impl_lhs_ref_comb!(ZZ, +, Add, add, $type);
            impl_rhs_ref_comb!(ZZ, +, Add, add, $type);

        )*
    }
}
impl_add!(isize, i8, i16, i32, i64, i128, usize, u8, u16, u32, u64, u128);

impl_self_ref_comb_assign!(ZZ, +=, AddAssign, add_assign);

macro_rules! impl_add_assign {
    ($($type:ident),*) => {
        $(
            impl_rhs_ref_comb_assign!(ZZ, +=, AddAssign, add_assign, $type);
        )*
    }
}
impl_add_assign!(isize, i8, i16, i32, i64, i128, usize, u8, u16, u32, u64, u128);

#[cfg(test)]
mod test {
    use crate::unit::zz::{zz, ZZ};

    #[test]
    fn basic_add() {
        let v: Vec<i32> = [-2, -1, 0, 1, 2, 21302183, 3612321].to_vec();
        for &t1 in v.iter() {
            for &t2 in v.iter() {
                let a: ZZ = ZZ::from(t1) + ZZ::from(t2);
                assert_eq!(a, t1 + t2);

                let a: ZZ = &ZZ::from(t1) + ZZ::from(t2);
                assert_eq!(a, t1 + t2);

                let a: ZZ = ZZ::from(t1) + &ZZ::from(t2);
                assert_eq!(a, t1 + t2);

                let a: ZZ = &ZZ::from(t1) + &ZZ::from(t2);
                assert_eq!(a, t1 + t2);

                let a: ZZ = ZZ::from(t1) + t2;
                assert_eq!(a, t1 + t2);

                let a: ZZ = t1 + ZZ::from(t2);
                assert_eq!(a, t1 + t2);
            }
        }

        assert_eq!(
            zz!(9836070282337477847351144893364761019994856058854208233910993662739237842381)
                + zz!(904328982400054548141880156497883654799155810107791425957596889023568242443),
            zz!(10740399264737532395493025049862644674794011868961999659868590551762806084824)
        );
    }
}