pub struct Binomial<F>(/* private fields */);Expand description
Marker for the binomial reducer X^D - W (degree-generic).
Trait Implementations§
impl<F: Copy> Copy for Binomial<F>
impl<F: Eq> Eq for Binomial<F>
Source§impl<F, const D: usize> ExtensionAlgebra<ExtField<F, 2, Binomial<F>>, D, Binomial<ExtField<F, 2, Binomial<F>>>> for Complex<F>where
F: HasComplexBinomialExtension<D>,
impl<F, const D: usize> ExtensionAlgebra<ExtField<F, 2, Binomial<F>>, D, Binomial<ExtField<F, 2, Binomial<F>>>> for Complex<F>where
F: HasComplexBinomialExtension<D>,
Source§fn ext_mul(a: &[Self; D], b: &[Self; D], res: &mut [Self; D])
fn ext_mul(a: &[Self; D], b: &[Self; D], res: &mut [Self; D])
Multiplication in the algebra extension ring.
Source§fn ext_square(a: &[Self; D], res: &mut [Self; D])
fn ext_square(a: &[Self; D], res: &mut [Self; D])
Squaring in the algebra extension ring. Read more
Source§fn ext_base_mul(lhs: [Self; D], rhs: Self) -> [Self; D]
fn ext_base_mul(lhs: [Self; D], rhs: Self) -> [Self; D]
Multiply an extension element by a base-field scalar.
Source§impl<F: ComplexExtendable> ExtensionAlgebra<F, 2, Binomial<F>> for F
impl<F: ComplexExtendable> ExtensionAlgebra<F, 2, Binomial<F>> for F
Source§fn ext_mul(a: &[Self; 2], b: &[Self; 2], res: &mut [Self; 2])
fn ext_mul(a: &[Self; 2], b: &[Self; 2], res: &mut [Self; 2])
Multiplication in the algebra extension ring.
Source§fn ext_square(a: &[Self; D], res: &mut [Self; D])
fn ext_square(a: &[Self; D], res: &mut [Self; D])
Squaring in the algebra extension ring. Read more
Source§fn ext_base_mul(lhs: [Self; D], rhs: Self) -> [Self; D]
fn ext_base_mul(lhs: [Self; D], rhs: Self) -> [Self; D]
Multiply an extension element by a base-field scalar.
impl<F: Field> ExtensionShape for Binomial<F>
Source§impl<F: Ord> Ord for Binomial<F>
impl<F: Ord> Ord for Binomial<F>
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Source§impl<F: PartialEq> PartialEq for Binomial<F>
impl<F: PartialEq> PartialEq for Binomial<F>
Source§impl<F: PartialOrd> PartialOrd for Binomial<F>
impl<F: PartialOrd> PartialOrd for Binomial<F>
impl<F: PartialEq> StructuralPartialEq for Binomial<F>
Auto Trait Implementations§
impl<F> Freeze for Binomial<F>
impl<F> RefUnwindSafe for Binomial<F>where
F: RefUnwindSafe,
impl<F> Send for Binomial<F>where
F: Send,
impl<F> Sync for Binomial<F>where
F: Sync,
impl<F> Unpin for Binomial<F>where
F: Unpin,
impl<F> UnsafeUnpin for Binomial<F>
impl<F> UnwindSafe for Binomial<F>where
F: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more