qfall-math 0.1.1

// Copyright © 2023 Marvin Beckmann
//
// This file is part of qFALL-math.
//
// qFALL-math is free software: you can redistribute it and/or modify it under
// the terms of the Mozilla Public License Version 2.0 as published by the
// Mozilla Foundation. See <https://mozilla.org/en-US/MPL/2.0/>.

//! Default value for a [`PolyOverQ`].

use super::PolyOverQ;
use flint_sys::fmpq_poly::fmpq_poly_init;
use std::mem::MaybeUninit;

impl Default for PolyOverQ {
    /// Initializes a [`PolyOverQ`] as the zero polynomial.
    ///
    /// # Examples
    /// ```
    /// use qfall_math::rational::PolyOverQ;
    ///
    /// let zero = PolyOverQ::default();
    /// ```
    fn default() -> Self {
        let mut poly = MaybeUninit::uninit();
        unsafe {
            fmpq_poly_init(poly.as_mut_ptr());
            let poly = poly.assume_init();
            Self { poly }
        }
    }
}

/// Ensure that default initializes an empty polynomial
#[cfg(test)]
mod test_default {
    use crate::rational::PolyOverQ;

    /// Ensure that [`Default`] initializes the zero polynomial appropriately
    #[test]
    fn init_zero() {
        let poly_over_zero = PolyOverQ::default();

        assert_eq!(PolyOverQ::default(), poly_over_zero);
    }
}