Enum Expr

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

Represents an arithmetic expression that can be evaluated symbolically.

Variants

Const(F)

Var(usize)

Add(Box<Expr<F>>, Box<Expr<F>>)

Mul(Box<Expr<F>>, Box<Expr<F>>)

Pow(Box<Expr<F>>, u64)

Implementations

impl<F: Field> Expr<F>

pub fn n_vars(&self) -> usize

pub fn degree(&self) -> usize

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

Trait Implementations

impl<F> Add for Expr<F>

where F: Field,

type Output = Expr<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F> Mul for Expr<F>

where F: Field,

type Output = Expr<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F> Sub for Expr<F>

where F: Field,

type Output = Expr<F>

The resulting type after applying the - operator.

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

Performs the - operation.