Struct Polynom 

pub struct Polynom<C: Coef> { /* private fields */ }

Represents a polynomial. Contains additional data structures to allow for fast variable substitution.

Implementations

impl<C: Coef> Polynom<C>

pub fn new(m: Mod) -> Self

pub fn with_max_mod() -> Self

pub fn from_monoms(m: Mod, monoms: impl Iterator<Item = (C, Term)>) -> Self

pub fn size(&self) -> usize

pub fn is_zero(&self) -> bool

pub fn get_mod(&self) -> Mod

pub fn change_mod(&mut self, new_m: Mod)

Currently only allows for increating the mod coefficient!

pub fn sorted_monom_vec(&self) -> Vec<(C, Term)>

pub fn replace_var(&mut self, target: VarIndex, mons: &[(C, Term)])

pub fn coef_sum(&self) -> C

The sum (modulo M) across all coefficient of the polynomial. Since we are in the digital domain this is the maximum value the polynomial could ever evaluate to.

pub fn iter_vars(&self) -> impl Iterator<Item = VarIndex>

An iterator over all unique variables contained in this polynomial.

impl<C: Coef> Polynom<C>

Routines to replace specific gate types

pub fn replace_and(&mut self, out: VarIndex, a: VarIndex, b: VarIndex)

pub fn replace_or(&mut self, out: VarIndex, a: VarIndex, b: VarIndex)

pub fn replace_xor(&mut self, out: VarIndex, a: VarIndex, b: VarIndex)

pub fn replace_not(&mut self, out: VarIndex, a: VarIndex)

pub fn replace_identity(&mut self, out: VarIndex, a: VarIndex)

pub fn replace_true(&mut self, out: VarIndex)

pub fn replace_false(&mut self, out: VarIndex)

impl<C: Coef> Polynom<C>

Algebra routines built on core functionality.

pub fn add_assign(&mut self, other: &Self)

Adds the other polynomial to self.

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

Creates a new polynomial which is the product of self and other.

pub fn scale(&mut self, coef: &C)

Scale all monomials with the given coefficient.

Trait Implementations

impl<C: Clone + Coef> Clone for Polynom<C>

fn clone(&self) -> Polynom<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug + Coef> Debug for Polynom<C>

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

Formats the value using the given formatter.

impl<C: Coef + Display> Display for Polynom<C>

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

Formats the value using the given formatter.

impl<C: Coef> From<PhaseOptPolynom<C>> for Polynom<C>

fn from(value: PhaseOptPolynom<C>) -> Self

Converts to this type from the input type.

impl<C: Coef> From<Polynom<C>> for PhaseOptPolynom<C>

fn from(inner: Polynom<C>) -> Self

Converts to this type from the input type.

impl<C: Coef> FromStr for Polynom<C>

type Err = ()

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.