use poulpy_hal::{
layouts::{Module, ScalarZnxToRef, SvpPPolToMut, SvpPPolToRef, VecZnxDftToMut, VecZnxDftToRef},
oep::{SvpApplyDftToDftAddImpl, SvpApplyDftToDftImpl, SvpApplyDftToDftInplaceImpl, SvpPrepareImpl},
reference::ntt120::svp::{
ntt120_svp_apply_dft_to_dft, ntt120_svp_apply_dft_to_dft_add, ntt120_svp_apply_dft_to_dft_inplace, ntt120_svp_prepare,
},
};
use super::NTT120Avx;
unsafe impl SvpPrepareImpl<Self> for NTT120Avx {
fn svp_prepare_impl<R, A>(module: &Module<Self>, res: &mut R, res_col: usize, a: &A, a_col: usize)
where
R: SvpPPolToMut<Self>,
A: ScalarZnxToRef,
{
ntt120_svp_prepare::<R, A, Self>(module, res, res_col, a, a_col);
}
}
unsafe impl SvpApplyDftToDftImpl<Self> for NTT120Avx {
fn svp_apply_dft_to_dft_impl<R, A, C>(
module: &Module<Self>,
res: &mut R,
res_col: usize,
a: &A,
a_col: usize,
b: &C,
b_col: usize,
) where
R: VecZnxDftToMut<Self>,
A: SvpPPolToRef<Self>,
C: VecZnxDftToRef<Self>,
{
ntt120_svp_apply_dft_to_dft::<R, A, C, Self>(module, res, res_col, a, a_col, b, b_col);
}
}
unsafe impl SvpApplyDftToDftAddImpl<Self> for NTT120Avx {
fn svp_apply_dft_to_dft_add_impl<R, A, C>(
module: &Module<Self>,
res: &mut R,
res_col: usize,
a: &A,
a_col: usize,
b: &C,
b_col: usize,
) where
R: VecZnxDftToMut<Self>,
A: SvpPPolToRef<Self>,
C: VecZnxDftToRef<Self>,
{
ntt120_svp_apply_dft_to_dft_add::<R, A, C, Self>(module, res, res_col, a, a_col, b, b_col);
}
}
unsafe impl SvpApplyDftToDftInplaceImpl for NTT120Avx {
fn svp_apply_dft_to_dft_inplace_impl<R, A>(module: &Module<Self>, res: &mut R, res_col: usize, a: &A, a_col: usize)
where
R: VecZnxDftToMut<Self>,
A: SvpPPolToRef<Self>,
{
ntt120_svp_apply_dft_to_dft_inplace::<R, A, Self>(module, res, res_col, a, a_col);
}
}