Struct HypercubeIsomorphism

pub struct HypercubeIsomorphism<R>
where
    R: RingStore,
    R::Type: CyclotomicRing,
    BaseRing<R>: Clone + ZnRing + CanHomFrom<StaticRingBase<i64>> + CanHomFrom<BigIntRingBase> + LinSolveRing + FromModulusCreateableZnRing,
    AsFieldBase<DecoratedBaseRing<R>>: CanIsoFromTo<<DecoratedBaseRing<R> as RingStore>::Type> + SelfIso,
{ /* private fields */ }

Represents the isomorphism

  Fp[X]/(Phi_n(X)) -> F_(p^d)^((Z/nZ)*/<p>)

where d is the order of p in (Z/nZ)*. The group (Z/nZ)*/<p> is represented by a HypercubeStructure.

Implementations

impl<R> HypercubeIsomorphism<R>

where R: RingStore, R::Type: CyclotomicRing, <<R::Type as RingExtension>::BaseRing as RingStore>::Type: Clone + ZnRing + CanHomFrom<StaticRingBase<i64>> + CanHomFrom<BigIntRingBase> + LinSolveRing + FromModulusCreateableZnRing, AsFieldBase<DecoratedBaseRing<R>>: CanIsoFromTo<<DecoratedBaseRing<R> as RingStore>::Type> + SelfIso,

pub fn new<const LOG: bool>( ring: R, hypercube_structure: HypercubeStructure, ) -> Self

pub fn change_modulus<RNew>(&self, new_ring: RNew) -> HypercubeIsomorphism<RNew>

where RNew: RingStore, RNew::Type: CyclotomicRing, BaseRing<RNew>: Clone + ZnRing + CanHomFrom<StaticRingBase<i64>> + CanHomFrom<BigIntRingBase> + LinSolveRing + FromModulusCreateableZnRing, AsFieldBase<DecoratedBaseRing<RNew>>: CanIsoFromTo<<DecoratedBaseRing<RNew> as RingStore>::Type> + SelfIso,

pub fn hypercube(&self) -> &HypercubeStructure

pub fn ring(&self) -> &R

pub fn slot_ring_at<'a>(&'a self, i: usize) -> &'a SlotRingOf<R>

where R: 'a,

pub fn slot_ring<'a>(&'a self) -> &'a SlotRingOf<R>

where R: 'a,

pub fn p(&self) -> i64

pub fn e(&self) -> usize

pub fn d(&self) -> usize

pub fn galois_group(&self) -> &CyclotomicGaloisGroup

pub fn slot_count(&self) -> usize

pub fn get_slot_value( &self, el: &El<R>, slot_index: CyclotomicGaloisGroupEl, ) -> El<SlotRingOf<R>>

pub fn get_slot_values<'a>( &'a self, el: &'a El<R>, ) -> impl ExactSizeIterator<Item = El<SlotRingOf<R>>> + use<'a, R>

pub fn from_slot_values<'a, I>(&self, values: I) -> El<R>

where I: IntoIterator<Item = El<SlotRingOf<R>>>,