Struct buchberger::F

pub struct F<T>(pub T)
 where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One;

Trait Implementations

impl Field for F<NotNan<f32>>

impl Field for F<NotNan<f64>>

impl<T: Clone> Clone for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn clone(&self) -> F<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: PartialEq> PartialEq<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn eq(&self, other: &F<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &F<T>) -> bool

This method tests for !=.

impl<T: Eq> Eq for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

impl<T: Copy> Copy for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

impl<T: Debug> Debug for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T: Display> Display for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T> Add<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

type Output = Self

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self

Performs the + operation.

impl<T> Sub<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

type Output = Self

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self

Performs the - operation.

impl<T> Mul<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

type Output = Self

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self

Performs the * operation.

impl<T> Div<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

type Output = Self

The resulting type after applying the / operator.

fn div(self, other: Self) -> Self

Performs the / operation.

impl<T> Neg for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<T> AddAssign<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<T> SubAssign<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<T> MulAssign<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl<T> DivAssign<F<T>> for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn div_assign(&mut self, other: Self)

Performs the /= operation.

impl<T> Zero for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn zero() -> Self

Returns the additive identity element of Self, 0. # Purity

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl<T> One for F<T> where
    T: Copy + Sized + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Eq + Zero + One, 

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool where
    Self: PartialEq<Self>, 

Returns true if self is equal to the multiplicative identity.