1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61
use crate::integer::Integer;
use crate::natural::Natural;
use std::ops::Neg;
impl Neg for Natural {
type Output = Integer;
/// Negates a [`Natural`], taking it by value and returning an [`Integer`].
///
/// $$
/// f(x) = -x.
/// $$
///
/// # Worst-case complexity
/// Constant time and additional memory.
///
/// # Examples
/// ```
/// extern crate malachite_base;
///
/// use malachite_base::num::basic::traits::Zero;
/// use malachite_nz::natural::Natural;
///
/// assert_eq!(-Natural::ZERO, 0);
/// assert_eq!(-Natural::from(123u32), -123);
/// ```
fn neg(self) -> Integer {
Integer::from_sign_and_abs(self == 0, self)
}
}
impl<'a> Neg for &'a Natural {
type Output = Integer;
/// Negates a [`Natural`], taking it by reference and returning an [`Integer`].
///
/// $$
/// f(x) = -x.
/// $$
///
/// # Worst-case complexity
/// $T(n) = O(n)$
///
/// $M(n) = O(n)$
///
/// where $T$ is time, $M$ is additional memory, and $n$ is `self.significant_bits()`.
///
/// # Examples
/// ```
/// extern crate malachite_base;
///
/// use malachite_base::num::basic::traits::Zero;
/// use malachite_nz::natural::Natural;
///
/// assert_eq!(-&Natural::ZERO, 0);
/// assert_eq!(-&Natural::from(123u32), -123);
/// ```
fn neg(self) -> Integer {
Integer::from_sign_and_abs_ref(*self == 0, self)
}
}