pub struct RNSConvolutionZn<I = BigIntRing, C = NTTConvolution<Zn>, A = Global, CreateC = CreateNTTConvolution>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,{ /* private fields */ }
Expand description
Same as RNSConvolution
, but computes convolutions over ZnRing
s.
§Availability
This API is marked as unstable and is only available when the unstable-enable
crate feature is enabled. This comes with no stability guarantees, and could be changed or removed at any time.
Trait Implementations§
Source§impl<R, I, C, A, CreateC> ConvolutionAlgorithm<R> for RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
R: ?Sized + ZnRing + CanHomFrom<I::Type>,
impl<R, I, C, A, CreateC> ConvolutionAlgorithm<R> for RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
R: ?Sized + ZnRing + CanHomFrom<I::Type>,
Source§fn compute_convolution<S: RingStore<Type = R> + Copy, V1: VectorView<<R as RingBase>::Element>, V2: VectorView<<R as RingBase>::Element>>(
&self,
lhs: V1,
rhs: V2,
dst: &mut [<R as RingBase>::Element],
ring: S,
)
fn compute_convolution<S: RingStore<Type = R> + Copy, V1: VectorView<<R as RingBase>::Element>, V2: VectorView<<R as RingBase>::Element>>( &self, lhs: V1, rhs: V2, dst: &mut [<R as RingBase>::Element], ring: S, )
Source§fn supports_ring<S: RingStore<Type = R> + Copy>(&self, _ring: S) -> bool
fn supports_ring<S: RingStore<Type = R> + Copy>(&self, _ring: S) -> bool
Returns whether this convolution algorithm supports computations of
the given ring. Read more
Source§fn specialize_prepared_convolution<F>(function: F) -> F::Outputwhere
F: PreparedConvolutionOperation<Self, R>,
fn specialize_prepared_convolution<F>(function: F) -> F::Outputwhere
F: PreparedConvolutionOperation<Self, R>,
If this convolution implements
PreparedConvolutionAlgorithm
, then
the given function is called and its result is returned. Otherwise,
Err
is returned.Source§impl<'a, I, C, A, CreateC> From<&'a RNSConvolution<I, C, A, CreateC>> for &'a RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
impl<'a, I, C, A, CreateC> From<&'a RNSConvolution<I, C, A, CreateC>> for &'a RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
Source§fn from(value: &'a RNSConvolution<I, C, A, CreateC>) -> Self
fn from(value: &'a RNSConvolution<I, C, A, CreateC>) -> Self
Converts to this type from the input type.
Source§impl<'a, I, C, A, CreateC> From<&'a RNSConvolutionZn<I, C, A, CreateC>> for &'a RNSConvolution<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
impl<'a, I, C, A, CreateC> From<&'a RNSConvolutionZn<I, C, A, CreateC>> for &'a RNSConvolution<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
Source§fn from(value: &'a RNSConvolutionZn<I, C, A, CreateC>) -> Self
fn from(value: &'a RNSConvolutionZn<I, C, A, CreateC>) -> Self
Converts to this type from the input type.
Source§impl<I, C, A, CreateC> From<RNSConvolution<I, C, A, CreateC>> for RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
impl<I, C, A, CreateC> From<RNSConvolution<I, C, A, CreateC>> for RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
Source§fn from(value: RNSConvolution<I, C, A, CreateC>) -> Self
fn from(value: RNSConvolution<I, C, A, CreateC>) -> Self
Converts to this type from the input type.
Source§impl<I, C, A, CreateC> From<RNSConvolutionZn<I, C, A, CreateC>> for RNSConvolution<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
impl<I, C, A, CreateC> From<RNSConvolutionZn<I, C, A, CreateC>> for RNSConvolution<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: ConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
Source§fn from(value: RNSConvolutionZn<I, C, A, CreateC>) -> Self
fn from(value: RNSConvolutionZn<I, C, A, CreateC>) -> Self
Converts to this type from the input type.
Source§impl<R, I, C, A, CreateC> PreparedConvolutionAlgorithm<R> for RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: PreparedConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
R: ?Sized + ZnRing + CanHomFrom<I::Type>,
impl<R, I, C, A, CreateC> PreparedConvolutionAlgorithm<R> for RNSConvolutionZn<I, C, A, CreateC>where
I: RingStore + Clone,
I::Type: IntegerRing,
C: PreparedConvolutionAlgorithm<ZnBase>,
A: Allocator + Clone,
CreateC: Fn(Zn) -> C,
R: ?Sized + ZnRing + CanHomFrom<I::Type>,
type PreparedConvolutionOperand = PreparedConvolutionOperandZn<R, C>
fn prepare_convolution_operand<S, V>( &self, val: V, ring: S, ) -> Self::PreparedConvolutionOperand
fn compute_convolution_lhs_prepared<S, V>( &self, lhs: &Self::PreparedConvolutionOperand, rhs: V, dst: &mut [R::Element], ring: S, )
fn compute_convolution_prepared<S>( &self, lhs: &Self::PreparedConvolutionOperand, rhs: &Self::PreparedConvolutionOperand, dst: &mut [R::Element], ring: S, )
fn compute_convolution_inner_product_lhs_prepared<'a, S, J, V>(
&self,
values: J,
dst: &mut [R::Element],
ring: S,
)where
S: RingStore<Type = R> + Copy,
J: Iterator<Item = (&'a Self::PreparedConvolutionOperand, V)>,
V: VectorView<R::Element>,
Self: 'a,
R: 'a,
Self::PreparedConvolutionOperand: 'a,
fn compute_convolution_inner_product_prepared<'a, S, J>(
&self,
values: J,
dst: &mut [R::Element],
ring: S,
)where
S: RingStore<Type = R> + Copy,
J: Iterator<Item = (&'a Self::PreparedConvolutionOperand, &'a Self::PreparedConvolutionOperand)>,
Self::PreparedConvolutionOperand: 'a,
Self: 'a,
R: 'a,
fn compute_convolution_rhs_prepared<S, V>( &self, lhs: V, rhs: &Self::PreparedConvolutionOperand, dst: &mut [R::Element], ring: S, )
Auto Trait Implementations§
impl<I = RingValue<MPZBase>, C = NTTConvolution<RingValue<ZnBase>>, A = Global, CreateC = CreateNTTConvolution> !Freeze for RNSConvolutionZn<I, C, A, CreateC>
impl<I = RingValue<MPZBase>, C = NTTConvolution<RingValue<ZnBase>>, A = Global, CreateC = CreateNTTConvolution> !RefUnwindSafe for RNSConvolutionZn<I, C, A, CreateC>
impl<I, C, A, CreateC> Send for RNSConvolutionZn<I, C, A, CreateC>
impl<I, C, A, CreateC> Sync for RNSConvolutionZn<I, C, A, CreateC>
impl<I, C, A, CreateC> Unpin for RNSConvolutionZn<I, C, A, CreateC>
impl<I, C, A, CreateC> UnwindSafe for RNSConvolutionZn<I, C, A, CreateC>where
I: UnwindSafe + RefUnwindSafe,
CreateC: UnwindSafe,
A: UnwindSafe + RefUnwindSafe,
C: RefUnwindSafe + UnwindSafe,
<<I as RingStore>::Type as RingBase>::Element: RefUnwindSafe + 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> 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