Enum ArithExpr

pub enum ArithExpr<F: Field> {
    Const(F),
    Var(usize),
    Add(Arc<ArithExpr<F>>, Arc<ArithExpr<F>>),
    Mul(Arc<ArithExpr<F>>, Arc<ArithExpr<F>>),
    Pow(Arc<ArithExpr<F>>, u64),
}

A builder for arithmetic expressions.

This is a simple representation of multivariate polynomials. The user can explicitly specify which subexpressions are shared by using Arc to wrap them. The same subexpressions are guaranteed to be converted to the same steps ArithCircuit after the conversion.

Variants

Const(F)

Var(usize)

Add(Arc<ArithExpr<F>>, Arc<ArithExpr<F>>)

Mul(Arc<ArithExpr<F>>, Arc<ArithExpr<F>>)

Pow(Arc<ArithExpr<F>>, u64)

Implementations

impl<F: Field> ArithExpr<F>

pub fn pow(self, exp: u64) -> Self

pub const fn zero() -> Self

pub const fn one() -> Self

Trait Implementations

impl<F> Add<Arc<ArithExpr<F>>> for ArithExpr<F>

where F: Field,

type Output = ArithExpr<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F> Add for ArithExpr<F>

where F: Field,

type Output = ArithExpr<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F> AddAssign<Arc<ArithExpr<F>>> for ArithExpr<F>

where F: Field,

fn add_assign(&mut self, rhs: Arc<Self>)

Performs the += operation.

impl<F> AddAssign for ArithExpr<F>

where F: Field,

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl<F: Clone + Field> Clone for ArithExpr<F>

fn clone(&self) -> ArithExpr<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for ArithExpr<F>

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

Formats the value using the given formatter.

impl<F> Default for ArithExpr<F>

where F: Field,

fn default() -> Self

Returns the “default value” for a type.

impl<F: Field + Display> Display for ArithExpr<F>

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

Formats the value using the given formatter.

impl<F: Field> From<&ArithCircuit<F>> for ArithExpr<F>

fn from(circuit: &ArithCircuit<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<&ArithExpr<F>> for ArithCircuit<F>

fn from(expr: &ArithExpr<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<ArithCircuit<F>> for ArithExpr<F>

fn from(circuit: ArithCircuit<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<ArithExpr<F>> for ArithCircuit<F>

fn from(expr: ArithExpr<F>) -> Self

Converts to this type from the input type.

impl<F: Hash + Field> Hash for ArithExpr<F>

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<F> Mul<Arc<ArithExpr<F>>> for ArithExpr<F>

where F: Field,

type Output = ArithExpr<F>

The resulting type after applying the * operator.

fn mul(self, rhs: Arc<Self>) -> Self

Performs the * operation.

impl<F> Mul for ArithExpr<F>

where F: Field,

type Output = ArithExpr<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F> MulAssign<Arc<ArithExpr<F>>> for ArithExpr<F>

where F: Field,

fn mul_assign(&mut self, rhs: Arc<Self>)

Performs the *= operation.

impl<F> MulAssign for ArithExpr<F>

where F: Field,

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl<F: PartialEq + Field> PartialEq for ArithExpr<F>

fn eq(&self, other: &ArithExpr<F>) -> 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<F: Field> Product for ArithExpr<F>

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl<F> Sub<Arc<ArithExpr<F>>> for ArithExpr<F>

where F: Field,

type Output = ArithExpr<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F> Sub for ArithExpr<F>

where F: Field,

type Output = ArithExpr<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F> SubAssign<Arc<ArithExpr<F>>> for ArithExpr<F>

where F: Field,

fn sub_assign(&mut self, rhs: Arc<Self>)

Performs the -= operation.

impl<F> SubAssign for ArithExpr<F>

where F: Field,

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl<F: Field> Sum for ArithExpr<F>

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<F: Eq + Field> Eq for ArithExpr<F>

impl<F: Field> StructuralPartialEq for ArithExpr<F>