Trait reverie::algebra::RingModule

pub trait RingModule<S: RingElement>: RingElement {
    pub const DIMENSION: usize;

    pub fn action(&self, s: S) -> Self;
    pub fn set(&mut self, i: usize, s: S);
    pub fn get(&self, i: usize) -> S;
}

Represents a module over a ring:

The elements of the module is M = R^n The scalar ring is R^n

We additionally require component-wise multiplication between elements in the module.

Associated Constants

pub const DIMENSION: usize

Loading content...

Required methods

pub fn action(&self, s: S) -> Self

pub fn set(&mut self, i: usize, s: S)

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

Loading content...

Implementors

impl RingModule<BitScalar> for BitBatch

pub const DIMENSION: usize

pub fn action(&self, scalar: BitScalar) -> Self

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

pub fn set(&mut self, i: usize, s: BitScalar)

impl RingModule<BitScalar> for BitSharing8

pub const DIMENSION: usize

pub fn action(&self, s: BitScalar) -> Self

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

pub fn set(&mut self, i: usize, s: BitScalar)

impl RingModule<BitScalar> for BitSharing64

pub const DIMENSION: usize

pub fn action(&self, s: BitScalar) -> Self

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

pub fn set(&mut self, i: usize, s: BitScalar)

Loading content...