inertia-core 0.4.0

/*
 *  Copyright (C) 2021 William Youmans
 *
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU 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 General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */

use crate::*;
use flint_sys::fq_default_poly::*;
use inertia_algebra::ops::*;

impl_cmp! {
    eq
    FinFldPoly
    {
        fn eq(&self, rhs: &FinFldPoly) -> bool {
            unsafe {
                self.context() == rhs.context() && 
                    fq_default_poly_equal(
                        self.as_ptr(),
                        rhs.as_ptr(),
                        self.ctx_as_ptr()
                    ) != 0
            }
        }
    }
}

/* FIXME: need degree, get_coeff
impl_cmp! {
    eq
    FinFldPoly, FinFldElem
    {
        fn eq(&self, rhs: &FinFldElem) -> bool {
            self.context() == rhs.context() 
                && self.degree() == 0 
                && self.get_coeff(0) == rhs
        }
    }
}
*/

impl_unop_unsafe! {
    ctx
    FinFldPoly
    Neg {neg}
    NegAssign {neg_assign}
    fq_default_poly_neg
}

impl_binop_unsafe! {
    ctx
    FinFldPoly, FinFldPoly, FinFldPoly

    Add {add}
    AddAssign {add_assign}
    AddFrom {add_from}
    AssignAdd {assign_add}
    fq_default_poly_add;

    Sub {sub}
    SubAssign {sub_assign}
    SubFrom {sub_from}
    AssignSub {assign_sub}
    fq_default_poly_sub;

    Mul {mul}
    MulAssign {mul_assign}
    MulFrom {mul_from}
    AssignMul {assign_mul}
    fq_default_poly_mul;
}