Struct PhaseOptPolynom 

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

Represent a polynomial which internally uses the phase change optimization from the FMCAD’24 paper: “Symbolic Computer Algebra for Multipliers Revisited - It’s All About Orders and Phases” Note that replace_var is not directly supported. Instead, you will need to use the replace_... methods specialized for particular gate types.

Implementations

impl<C: Coef> PhaseOptPolynom<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

impl<C: Coef> PhaseOptPolynom<C>

Operations that transparently call the corresponding method in the underlying polynom.

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!

impl<C: Coef> PhaseOptPolynom<C>

Phase information and manipulation

pub fn is_inverted(&self, var: VarIndex) -> bool

pub fn invert(&mut self, var: VarIndex)

impl<C: Coef> PhaseOptPolynom<C>

Routines to replace specific gate types

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

out = a && !b

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

out = !a && !b

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)

Trait Implementations

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

fn clone(&self) -> PhaseOptPolynom<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 PhaseOptPolynom<C>

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

Formats the value using the given formatter.

impl<C: Coef + Display> Display for PhaseOptPolynom<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.