Struct HypercubeStructure

pub struct HypercubeStructure { /* private fields */ }

Represents a hypercube, which is a map

  h: { 0, ..., m1 - 1 } x ... x { 0, ..., mr - 1 } -> (Z/nZ)^*
                     a1,  ...,  ar                 -> prod_i gi^ai

such that the composition (mod <p>) ∘ h is a bijection.

We use the following notation:

• n and p as above
• d is the order of <p> as subgroup of (Z/nZ)*
• mi is the length of the i-th “hypercube dimension” as above
• gi is the generator of the i-th hypercube dimension

Implementations

impl HypercubeStructure

pub fn new( galois_group: CyclotomicGaloisGroup, p: CyclotomicGaloisGroupEl, d: usize, ms: Vec<usize>, gs: Vec<CyclotomicGaloisGroupEl>, ) -> Self

pub fn halevi_shoup_hypercube( galois_group: CyclotomicGaloisGroup, p: i64, ) -> Self

Computes “the” Halevi-Shoup hypercube as described in [https://ia.cr/2014/873].

Note that the Halevi-Shoup hypercube is unique except for the ordering of prime factors of n. This function uses a deterministic but unspecified ordering.

pub fn map_1d(&self, dim_idx: usize, steps: i64) -> CyclotomicGaloisGroupEl

pub fn map(&self, idxs: &[i64]) -> CyclotomicGaloisGroupEl

pub fn map_usize(&self, idxs: &[usize]) -> CyclotomicGaloisGroupEl

pub fn std_preimage(&self, g: CyclotomicGaloisGroupEl) -> &[usize]

pub fn is_tensor_product_compatible(&self) -> bool

pub fn factor_of_n(&self, dim_idx: usize) -> Option<i64>

pub fn p(&self) -> CyclotomicGaloisGroupEl

pub fn frobenius(&self, power: i64) -> CyclotomicGaloisGroupEl

pub fn d(&self) -> usize

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

pub fn g(&self, i: usize) -> CyclotomicGaloisGroupEl

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

pub fn n(&self) -> usize

pub fn dim_count(&self) -> usize

pub fn galois_group(&self) -> &CyclotomicGaloisGroup

pub fn element_count(&self) -> usize

pub fn hypercube_iter<'b, G, T>( &'b self, for_slot: G, ) -> impl ExactSizeIterator<Item = T> + use<'b, G, T>

where G: 'b + Clone + FnMut(&[usize]) -> T, T: 'b,

pub fn element_iter<'b>( &'b self, ) -> impl ExactSizeIterator<Item = CyclotomicGaloisGroupEl> + use<'b>

Trait Implementations

impl Clone for HypercubeStructure

fn clone(&self) -> HypercubeStructure

Returns a copy of the value.

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

Performs copy-assignment from source.