Struct Poly 

pub struct Poly { /* private fields */ }

A multivariable polynomial with integer coefficients in canonical form, $\mathbb{Z}[x_1,x_2 \dots x_i]$.

For example, $4x^2y^5 - 7xz + 3y + 1$.

use sirius::solver::poly::poly;

assert_eq!(poly!(a^2 - b^2).try_divide(&poly!(a - b)), Some(poly!(a + b)));
assert_eq!(poly!(2*x + 5).substitute('x', &poly!(z^2 + 1)), poly!(2*z^2 + 7));

Implementations

impl Poly

pub fn add(&self, rhs: &Self) -> Self

pub fn mul(&self, rhs: &Self) -> Self

pub fn mul_scalar<T: Into<Coef>>(&self, c: T) -> Self

pub fn pow(&self, e: u32) -> Self

pub fn neg(&self) -> Self

pub fn sub(&self, rhs: &Self) -> Self

pub fn compound_divide(&self, divisors: &[Self]) -> (Vec<Self>, Self)

Via polynomial long division.

pub fn try_divide(&self, divisor: &Self) -> Option<Self>

impl Poly

pub fn display_with(&self, var_names: Option<&[&str]>) -> String

impl Poly

pub fn zero() -> Self

pub fn is_zero(&self) -> bool

pub fn constant<T: Into<Coef>>(c: T) -> Self

pub fn var<T: Into<Var>>(v: T, p: Pow) -> Self

pub fn term<T: Into<Coef>>(c: T, m: Mono) -> Self

pub fn terms(&self) -> Vec<(Coef, Mono)>

pub fn from_terms(terms: impl IntoIterator<Item = (Coef, Mono)>) -> Self

pub fn total_degree(&self) -> Pow

pub fn degree_in<T: Into<Var>>(&self, v: T) -> Pow

pub fn leading_term(&self) -> (Coef, Mono)

pub fn eval(&self, point: impl FnMut(Var) -> i128) -> Coef

pub fn map_vars(&self, f: impl FnMut(Var) -> Self) -> Self

pub fn substitute<T: Into<Var>>(&self, v: T, q: &Self) -> Self

pub fn coef_gcd(&self) -> Coef

pub fn coef_lcm(&self) -> Coef

pub fn divide_coefs<T: Into<Coef>>(&self, d: T) -> Option<Self>

pub fn as_constant(&self) -> Option<Coef>

pub fn vars(&self) -> Vec<Var>

pub fn always_nonneg(&self, nonneg: &dyn Fn(Var) -> bool) -> bool

pub fn assert_canonical(&self)

Trait Implementations

impl Clone for Poly

fn clone(&self) -> Poly

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Poly

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

Formats the value using the given formatter.

impl Eq for Poly

impl Hash for Poly

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Poly

fn eq(&self, other: &Poly) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Poly