Enum p3_uni_stark::SymbolicExpression

pub enum SymbolicExpression<F: Field> {
    Variable(SymbolicVariable<F>),
    IsFirstRow,
    IsLastRow,
    IsTransition,
    Constant(F),
    Add {
        x: Rc<Self>,
        y: Rc<Self>,
        degree_multiple: usize,
    },
    Sub {
        x: Rc<Self>,
        y: Rc<Self>,
        degree_multiple: usize,
    },
    Neg {
        x: Rc<Self>,
        degree_multiple: usize,
    },
    Mul {
        x: Rc<Self>,
        y: Rc<Self>,
        degree_multiple: usize,
    },
}

An expression over SymbolicVariables.

Variants

Variable(SymbolicVariable<F>)

IsFirstRow

IsLastRow

IsTransition

Constant(F)

Add

Fields

x: Rc<Self>

y: Rc<Self>

degree_multiple: usize

Sub

Fields

x: Rc<Self>

y: Rc<Self>

degree_multiple: usize

Neg

Fields

x: Rc<Self>

degree_multiple: usize

Mul

Fields

x: Rc<Self>

y: Rc<Self>

degree_multiple: usize

Implementations

impl<F: Field> SymbolicExpression<F>

pub const fn degree_multiple(&self) -> usize

Returns the multiple of n (the trace length) in this expression’s degree.

Trait Implementations

impl<F: Field> AbstractField for SymbolicExpression<F>

type F = F

fn zero() -> Self

fn one() -> Self

fn two() -> Self

fn neg_one() -> Self

fn from_f(f: Self::F) -> Self

fn from_bool(b: bool) -> Self

fn from_canonical_u8(n: u8) -> Self

fn from_canonical_u16(n: u16) -> Self

fn from_canonical_u32(n: u32) -> Self

fn from_canonical_u64(n: u64) -> Self

fn from_canonical_usize(n: usize) -> Self

fn from_wrapped_u32(n: u32) -> Self

fn from_wrapped_u64(n: u64) -> Self

fn generator() -> Self

A generator of this field’s entire multiplicative group.

fn double(&self) -> Self

fn square(&self) -> Self

fn cube(&self) -> Self

fn exp_u64(&self, power: u64) -> Self

Exponentiation by a u64 power.

fn exp_const_u64<const POWER: u64>(&self) -> Self

fn exp_power_of_2(&self, power_log: usize) -> Self

fn powers(&self) -> Powers<Self>

fn shifted_powers(&self, start: Self) -> Powers<Self>

fn powers_packed<P>(&self) -> PackedPowers<Self, P>

where P: PackedField<Scalar = Self>,

fn shifted_powers_packed<P>(&self, start: Self) -> PackedPowers<Self, P>

where P: PackedField<Scalar = Self>,

fn dot_product<const N: usize>(u: &[Self; N], v: &[Self; N]) -> Self

fn try_div<Rhs>(self, rhs: Rhs) -> Option<Self::Output>

where Rhs: Field, Self: Mul<Rhs>,

impl<F: Field> Add<F> for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Field> Add<SymbolicExpression<F>> for SymbolicVariable<F>

type Output = SymbolicExpression<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Field> Add<SymbolicVariable<F>> for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Field> Add for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Field> AddAssign<F> for SymbolicExpression<F>

fn add_assign(&mut self, rhs: F)

Performs the += operation.

impl<F: Field> AddAssign for SymbolicExpression<F>

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

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

fn clone(&self) -> SymbolicExpression<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 SymbolicExpression<F>

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

Formats the value using the given formatter.

impl<F: Field> Default for SymbolicExpression<F>

fn default() -> Self

Returns the “default value” for a type.

impl<F: Field> From<F> for SymbolicExpression<F>

fn from(value: F) -> Self

Converts to this type from the input type.

impl<F: Field> From<SymbolicVariable<F>> for SymbolicExpression<F>

fn from(value: SymbolicVariable<F>) -> Self

Converts to this type from the input type.

impl<F: Field> Mul<F> for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field> Mul<SymbolicExpression<F>> for SymbolicVariable<F>

type Output = SymbolicExpression<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field> Mul<SymbolicVariable<F>> for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field> Mul for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field> MulAssign<F> for SymbolicExpression<F>

fn mul_assign(&mut self, rhs: F)

Performs the *= operation.

impl<F: Field> MulAssign for SymbolicExpression<F>

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl<F: Field> Neg for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<F: Field> Product<F> for SymbolicExpression<F>

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

Method which takes an iterator and generates Self from the elements by multiplying the items.

impl<F: Field> Product for SymbolicExpression<F>

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

Method which takes an iterator and generates Self from the elements by multiplying the items.

impl<F: Field> Sub<F> for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F: Field> Sub<SymbolicExpression<F>> for SymbolicVariable<F>

type Output = SymbolicExpression<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F: Field> Sub<SymbolicVariable<F>> for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F: Field> Sub for SymbolicExpression<F>

type Output = SymbolicExpression<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F: Field> SubAssign<F> for SymbolicExpression<F>

fn sub_assign(&mut self, rhs: F)

Performs the -= operation.

impl<F: Field> SubAssign for SymbolicExpression<F>

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

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

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

Method which takes an iterator and generates Self from the elements by “summing up” the items.

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

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

Method which takes an iterator and generates Self from the elements by “summing up” the items.