Struct Polynomial 

pub struct Polynomial { /* private fields */ }

Implementations

impl Polynomial

pub fn var(vindex: usize) -> Polynomial

pub fn sign(&self) -> Option<bool>

Determine the sign of this polynomial (if known). Here, positive sign indicates the polynomial can never evaluate to a negative number. In constrast, a negative sign indicates it cannot evalute to a (strictly) positive number. For example, 1+2x has positive sign, whilst -2x has negative sign.

pub fn constant(&self) -> isize

Determine the constant coefficient of this polynomial. For example, 1 is the constant component of 2x+1.

pub fn is_zero(&self) -> Option<bool>

Determine whether or not this polynomial could be zero (or not). For example, 2x+1 cannot be zero (i.e. given that x cannot be negative). However, x - y can be zero (e.g. when x=y). Note: just because this polynomial could evaluate to zero, it does not mean that it will.

pub fn above_zero(&self) -> Option<bool>

Determine whether or not this polynomial always evaluates to something above zero (or not).

pub fn below_zero(&self) -> Option<bool>

Determine whether or not this polynomial always evaluates to something below zero (or not).

pub fn negate(self) -> Self

Negate this polynomial. This is achieved by negating each term within the polynomial.

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

Add a given Polynomial onto this polynomial. For example, adding x+2 to 2x+1 gives 3x+3.

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

Subtract a given Polynomial from this polynomial.

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

pub fn equals(self, rhs: Polynomial) -> Constraint

Construct a constraint enforcing the equality of two polynomials.

pub fn not_equals(self, rhs: Polynomial) -> Constraint

Construct a constraint enforcing the non-equality of two polynomials.

pub fn less_than(self, rhs: Polynomial) -> Constraint

Construct a constraint enforcing that one polynomial is less than another.

pub fn less_than_or_equals(self, rhs: Polynomial) -> Constraint

Construct a constraint enforcing that one polynomial is less than or equal to another.

pub fn eval(&self, vals: &[usize]) -> isize

Evaluate this Polynomial at a given point.

pub fn substitute(&self, var: usize, val: &Polynomial) -> Polynomial

Substitute all occurrenes of a given variable in self with a given Polynomial. For example, substituting x:=x+1 into 2x + xy gives 2+2x+xy+y.

Trait Implementations

impl Add for Polynomial

type Output = Polynomial

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<usize> for Polynomial

type Output = Polynomial

The resulting type after applying the + operator.

fn add(self, rhs: usize) -> Self

Performs the + operation.

impl Clone for Polynomial

fn clone(&self) -> Polynomial

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Polynomial

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

Formats the value using the given formatter.

impl Display for Polynomial

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

Formats the value using the given formatter.

impl From<i32> for Polynomial

fn from(val: i32) -> Self

Converts to this type from the input type.

impl From<usize> for Polynomial

fn from(val: usize) -> Self

Converts to this type from the input type.

impl Mul for Polynomial

type Output = Polynomial

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<usize> for Polynomial

type Output = Polynomial

The resulting type after applying the * operator.

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

Performs the * operation.

impl PartialEq for Polynomial

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Polynomial

impl Sub for Polynomial

type Output = Polynomial

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<usize> for Polynomial

type Output = Polynomial

The resulting type after applying the - operator.

fn sub(self, rhs: usize) -> Self

Performs the - operation.