Struct Dispatcher 

pub struct Dispatcher { /* private fields */ }

Analyzes operands and provisions the adaptive basis.

Implementations

impl Dispatcher

pub fn new(basis: Basis) -> Self

pub fn basis(&self) -> &Basis

The basis this dispatcher currently manages.

pub fn plan_add(&self, a: &RnsRational, b: &RnsRational) -> DispatchPlan

Plan an addition: (p1·q2 + p2·q1) / (q1·q2).

pub fn plan_mul(&self, a: &RnsRational, b: &RnsRational) -> DispatchPlan

Plan a multiplication: (p1·p2) / (q1·q2).

pub fn provision(&mut self, plan: &DispatchPlan)

Grow the basis so the (planned) result reconstructs without aliasing.

pub fn execute_add(&self, a: &RnsRational, b: &RnsRational) -> RnsRational

Execute an addition (exact regardless of the plan).

pub fn execute_mul(&self, a: &RnsRational, b: &RnsRational) -> RnsRational

Execute a multiplication (exact regardless of the plan).

pub fn invalid_channels(&self, denom: &BigInt) -> Vec<usize>

Per-value channel validity mask: indices of channels whose prime divides denom (and are therefore excluded from that value’s reconstruction).