Enum zkp_stark::RationalExpression

pub enum RationalExpression {
    X,
    Constant(FieldElement),
    Trace(usize, isize),
    Polynomial(DensePolynomial, Box<RationalExpression>),
    Add(Box<RationalExpression>, Box<RationalExpression>),
    Neg(Box<RationalExpression>),
    Mul(Box<RationalExpression>, Box<RationalExpression>),
    Inv(Box<RationalExpression>),
    Exp(Box<RationalExpression>, usize),
}

Variants

X

Constant(FieldElement)

Trace(usize, isize)

Polynomial(DensePolynomial, Box<RationalExpression>)

Add(Box<RationalExpression>, Box<RationalExpression>)

Neg(Box<RationalExpression>)

Mul(Box<RationalExpression>, Box<RationalExpression>)

Inv(Box<RationalExpression>)

Exp(Box<RationalExpression>, usize)

Methods

impl RationalExpression

pub fn neg(&self) -> Self

pub fn inv(&self) -> Self

pub fn pow(&self, exponent: usize) -> Self

impl RationalExpression

pub fn degree(&self, trace_degree: usize) -> (usize, usize)

Numerator and denominator degree of the expression in X.

Calculates an upper bound. Cancelations may occur.

pub fn trace_degree(&self) -> (usize, usize)

pub fn evaluate(
    &self,
    x: &FieldElement,
    trace: &dyn Fn(usize, isize) -> FieldElement
) -> FieldElement

Trait Implementations

impl Clone for RationalExpression

fn clone(&self) -> RationalExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<i32> for RationalExpression

fn from(value: i32) -> Self

Performs the conversion.

impl<'_> From<&'_ FieldElement> for RationalExpression

fn from(value: &FieldElement) -> Self

Performs the conversion.

impl Add<RationalExpression> for RationalExpression

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

impl Sub<RationalExpression> for RationalExpression

type Output = Self

The resulting type after applying the - operator.

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

Performs the - operation.

impl Mul<RationalExpression> for RationalExpression

type Output = Self

The resulting type after applying the * operator.

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

Performs the * operation.

impl Div<RationalExpression> for RationalExpression

type Output = Self

The resulting type after applying the / operator.

fn div(self, other: Self) -> Self

Performs the / operation.

impl Debug for RationalExpression

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

Formats the value using the given formatter.

impl Sum<RationalExpression> for RationalExpression

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

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