Struct folding::expressions::Term

pub struct Term<C: FoldingConfig> {
    pub exp: FoldingExp<C>,
    pub sign: Sign,
}

A term of a polynomial For instance, in the polynomial 3 X_{1} X_{2} + 2 X_{3}, the terms are 3 X_{1} X_{2} and 2 X_{3}. The sign is used to encode the sign of the term at the expression level. It is used to split a polynomial in its terms/monomials of degree 0, 1 and 2.

Fields

exp: FoldingExp<C>

sign: Sign

Trait Implementations

impl<C> Clone for Term<C>where C: FoldingConfig,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C> Debug for Term<C>where C: Debug + FoldingConfig,

fn fmt(&self, __f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<C: FoldingConfig> Mul<&Term<C>> for &Term<C>

type Output = Term<C>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl<C: FoldingConfig> Neg for Term<C>

type Output = Term<C>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.