Struct Expr

pub struct Expr<F: TowerField, const V: usize> { /* private fields */ }

A type representing an arithmetic expression composed over some table columns.

If the expression degree is 1, then it is a linear expression.

Implementations

impl<F: TowerField, const V: usize> Expr<F, V>

pub fn expr(&self) -> &ArithExpr<F>

impl<F: TowerField, const V: usize> Expr<F, V>

pub fn table_id(&self) -> TableId

impl<F: TowerField, const V: usize> Expr<F, V>

pub fn degree(&self) -> usize

Polynomial degree of the arithmetic expression.

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

Exponentiate the expression by a constant power.

Trait Implementations

impl<F: TowerField, const V: usize> Add<Col<F, V>> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

fn add(self, rhs: Col<F, V>) -> Self::Output

Performs the + operation.

impl<F: TowerField, const V: usize> Add<Expr<F, V>> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

fn add(self, rhs: Expr<F, V>) -> Self::Output

Performs the + operation.

impl<F: TowerField, const V: usize> Add<F> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: TowerField, const V: usize> Add for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

fn add(self, rhs: Expr<F, V>) -> Self::Output

Performs the + operation.

impl<F: Clone + TowerField, const V: usize> Clone for Expr<F, V>

fn clone(&self) -> Expr<F, V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + TowerField, const V: usize> Debug for Expr<F, V>

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

Formats the value using the given formatter.

impl<F: TowerField, const V: usize> From<Col<F, V>> for Expr<F, V>

fn from(value: Col<F, V>) -> Self

Converts to this type from the input type.

impl<F: TowerField, const V: usize> Mul<Col<F, V>> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

fn mul(self, rhs: Col<F, V>) -> Self::Output

Performs the * operation.

impl<F: TowerField, const V: usize> Mul<Expr<F, V>> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

fn mul(self, rhs: Expr<F, V>) -> Self::Output

Performs the * operation.

impl<F: TowerField, const V: usize> Mul<F> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: TowerField, const V: usize> Mul for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

fn mul(self, rhs: Expr<F, V>) -> Self::Output

Performs the * operation.

impl<F: TowerField, const V: usize> Sub<Col<F, V>> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

fn sub(self, rhs: Col<F, V>) -> Self::Output

Performs the - operation.

impl<F: TowerField, const V: usize> Sub<Expr<F, V>> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

fn sub(self, rhs: Expr<F, V>) -> Self::Output

Performs the - operation.

impl<F: TowerField, const V: usize> Sub<F> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F: TowerField, const V: usize> Sub for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

fn sub(self, rhs: Expr<F, V>) -> Self::Output

Performs the - operation.