Struct MPoly 

pub struct MPoly { /* private fields */ }

A polynomial over the run’s slots with real algebraic coefficients: each monomial by its exponents, listed once, in order, none with a zero coefficient.

Implementations

impl MPoly

pub fn zero(width: usize) -> MPoly

pub fn constant(width: usize, a: Algebraic) -> MPoly

pub fn slot(width: usize, i: usize) -> MPoly

The value of slot i.

pub fn from_terms(width: usize, terms: Vec<(Vec<u32>, Algebraic)>) -> MPoly

pub fn width(&self) -> usize

pub fn terms(&self) -> &[(Vec<u32>, Algebraic)]

pub fn is_zero(&self) -> bool

pub fn add(&self, o: &MPoly) -> MPoly

pub fn neg(&self) -> MPoly

pub fn sub(&self, o: &MPoly) -> MPoly

pub fn scale(&self, k: &Algebraic) -> MPoly

pub fn mul(&self, o: &MPoly) -> MPoly

pub fn partial(&self, i: usize) -> MPoly

∂/∂xᵢ.

pub fn lie(&self, field: &[MPoly]) -> MPoly

The derivative along field: Σᵢ ∂/∂xᵢ · fieldᵢ.

pub fn reads_slot(&self, i: usize) -> bool

pub fn reads(&self) -> Vec<usize>

The slots some monomial reads, ascending.

pub fn eval<R: Ring>(&self, x: &[R]) -> Result<R, String>

pub fn proportional_to(&self, o: &MPoly) -> Option<Algebraic>

The k ≠ 0 with self = k·o.

Trait Implementations

impl Clone for MPoly

fn clone(&self) -> MPoly

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MPoly

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

Formats the value using the given formatter.

impl PartialEq for MPoly

fn eq(&self, other: &MPoly) -> 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 Eq for MPoly

impl StructuralPartialEq for MPoly