Struct CanonicCoset 

pub struct CanonicCoset {
    pub coset: Coset,
}

A coset of the form G_{2n} + <G_n>, where G_n is the generator of the subgroup of order n.

The ordering on this coset is G_2n + i * G_n. These cosets can be used as a CircleDomain, and be interpolated on. Note that this changes the ordering on the coset to be like CircleDomain, which is G_{2n} + i * G_{n/2} and then -G_{2n} -i * G_{n/2}. For example, the Xs below are a canonic coset with n=8.

   X O X
 O       O
X         X
O         O
X         X
 O       O
   X O X

Fields

coset: Coset

Implementations

impl CanonicCoset

pub fn new(log_size: u32) -> Self

pub const fn coset(&self) -> Coset

Gets the full coset represented G_{2n} + <G_n>.

pub fn half_coset(&self) -> Coset

Gets half of the coset (its conjugate complements to the whole coset), G_{2n} + <G_{n/2}>

pub fn circle_domain(&self) -> CircleDomain

Gets the CircleDomain representing the same point set (in another order).

pub const fn log_size(&self) -> u32

Returns the log size of the coset.

pub const fn size(&self) -> usize

Returns the size of the coset.

pub const fn initial_index(&self) -> CirclePointIndex

pub const fn step_size(&self) -> CirclePointIndex

pub const fn step(&self) -> CirclePoint<BaseField>

pub fn index_at(&self, index: usize) -> CirclePointIndex

pub fn at(&self, i: usize) -> CirclePoint<BaseField>

Trait Implementations

impl Clone for CanonicCoset

fn clone(&self) -> CanonicCoset

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CanonicCoset

impl Debug for CanonicCoset

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

Formats the value using the given formatter.

impl Eq for CanonicCoset

impl PartialEq for CanonicCoset

fn eq(&self, other: &CanonicCoset) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CanonicCoset