Struct calcu_rs::polynomial::MonomialView

pub struct MonomialView<'a> {
    monom: &'a Expr,
    vars: &'a VarSet,
}

View the expression as a monomial in one or multiple generalized variables

Fields

monom: &'a Expr

vars: &'a VarSet

Implementations

impl<'a> MonomialView<'a>

pub fn new(monom: &'a Expr, vars: &'a VarSet) -> Self

pub fn check(&self) -> bool

pub fn degree(&self) -> Option<Int>

pub fn coeff(&self) -> Option<(Expr, VarPow)>

pub fn degree_of(&self, v: &Expr) -> Option<Int>