Struct calcu_rs::polynomial::PolynomialView

pub struct PolynomialView<'a> {
    poly: &'a Expr,
    vars: &'a VarSet,
}

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

Fields

poly: &'a Expr

vars: &'a VarSet

Implementations

impl<'a> PolynomialView<'a>

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

pub fn check(&self) -> bool

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

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

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

pub fn coeffs_of(&self, v: &Expr) -> HashMap<Int, Expr, FxBuildHasher>

pub fn coeffs(&self) -> HashMap<VarPow, Expr, FxBuildHasher>

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

pub fn collect_terms(&self) -> Option<Expr>