Trait ExtensionAirBuilder 

pub trait ExtensionAirBuilder: BaseAirBuilder {
    // Provided methods
    fn assert_ext_eq<I: Into<Self::Expr>>(
        &mut self,
        left: BinomialExtension<I>,
        right: BinomialExtension<I>,
    ) { ... }
    fn assert_is_base_element<I: Into<Self::Expr> + Clone>(
        &mut self,
        element: BinomialExtension<I>,
    ) { ... }
    fn if_else_ext(
        &mut self,
        condition: impl Into<Self::Expr> + Clone,
        a: BinomialExtension<impl Into<Self::Expr> + Clone>,
        b: BinomialExtension<impl Into<Self::Expr> + Clone>,
    ) -> BinomialExtension<Self::Expr> { ... }
}

A builder that can operation on extension elements.

Provided Methods

fn assert_ext_eq<I: Into<Self::Expr>>( &mut self, left: BinomialExtension<I>, right: BinomialExtension<I>, )

Asserts that the two field extensions are equal.

fn assert_is_base_element<I: Into<Self::Expr> + Clone>( &mut self, element: BinomialExtension<I>, )

Checks if an extension element is a base element.

fn if_else_ext( &mut self, condition: impl Into<Self::Expr> + Clone, a: BinomialExtension<impl Into<Self::Expr> + Clone>, b: BinomialExtension<impl Into<Self::Expr> + Clone>, ) -> BinomialExtension<Self::Expr>

Performs an if else on extension elements.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<AB: BaseAirBuilder> ExtensionAirBuilder for AB