Struct CircleDomain 

pub struct CircleDomain {
    pub half_coset: Coset,
}

A valid domain for circle polynomial interpolation and evaluation.

Valid domains are a disjoint union of two conjugate cosets: +-C + <G_n>. The ordering defined on this domain is C + iG_n, and then -C - iG_n.

Fields

half_coset: Coset

Implementations

impl CircleDomain

pub const fn new(half_coset: Coset) -> Self

Given a coset C + <G_n>, constructs the circle domain +-C + <G_n> (i.e., this coset and its conjugate).

pub fn iter( &self, ) -> Chain<CosetIterator<CirclePoint<BaseField>>, CosetIterator<CirclePoint<BaseField>>>

pub fn iter_indices( &self, ) -> Chain<CosetIterator<CirclePointIndex>, CosetIterator<CirclePointIndex>>

Iterates over point indices.

pub const fn size(&self) -> usize

Returns the size of the domain.

pub const fn log_size(&self) -> u32

Returns the log size of the domain.

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

Returns the i th domain element.

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

Returns the CirclePointIndex of the ith domain element.

pub fn is_canonic(&self) -> bool

Returns true if the domain is canonic.

Canonic domains are domains with elements that are the entire set of points defined by G_2n + <G_n> where G_n and G_2n are obtained by repeatedly doubling crate::core::circle::M31_CIRCLE_GEN.

pub fn split(&self, log_parts: u32) -> (CircleDomain, Vec<CirclePointIndex>)

Splits a circle domain into a smaller CircleDomains, shifted by offsets.

pub fn shift(&self, shift: CirclePointIndex) -> CircleDomain

Trait Implementations

impl Clone for CircleDomain

fn clone(&self) -> CircleDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CircleDomain

impl Debug for CircleDomain

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

Formats the value using the given formatter.

impl Eq for CircleDomain

impl From<CircleDomain> for LineDomain

fn from(domain: CircleDomain) -> Self

Converts to this type from the input type.

impl IntoIterator for CircleDomain

fn into_iter( self, ) -> Chain<CosetIterator<CirclePoint<BaseField>>, CosetIterator<CirclePoint<BaseField>>>

Iterates over the points in the domain.

type Item = CirclePoint<M31>

The type of the elements being iterated over.

type IntoIter = Chain<CosetIterator<CirclePoint<M31>>, CosetIterator<CirclePoint<M31>>>

Which kind of iterator are we turning this into?

impl PartialEq for CircleDomain

fn eq(&self, other: &CircleDomain) -> 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 CircleDomain