GLWETensoring

poulpy_core

Trait GLWETensoring 

Source 
pub trait GLWETensoring<BE: Backend>
where
    Self: BivariateTensoring<BE> + VecZnxIdftApplyConsume<BE> + VecZnxBigNormalize<BE>,
    Scratch<BE>: ScratchTakeCore<BE>,
{
    // Provided method
    fn glwe_tensor<R, A, B>(
        &self,
        k: i64,
        res: &mut R,
        a: &A,
        b: &B,
        scratch: &mut Scratch<BE>,
    )
       where R: GLWETensorToMut,
             A: GLWEToRef,
             B: GLWEPreparedToRef<BE> { ... }
}

Provided Methods§

Source

fn glwe_tensor<R, A, B>( &self, k: i64, res: &mut R, a: &A, b: &B, scratch: &mut Scratch<BE>, )
where R: GLWETensorToMut, A: GLWEToRef, B: GLWEPreparedToRef<BE>,

res = (a (x) b) * 2^{k * a_base2k}

§Requires
  • a.base2k() == b.base2k()
  • res.cols() >= a.cols() + b.cols() - 1
§Behavior
  • res precision is truncated to res.max_k().min(a.max_k() + b.max_k() + k * a_base2k)

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§