Struct RnsInt 

pub struct RnsInt {
    pub residues: Vec<u64>,
    pub channels: Channels,
    pub negative: bool,
}

An exact integer in RNS form (Level 0 of the tower).

Fields

residues: Vec<u64>

residues[i] = value mod channels[i], stored in [0, m).

channels: Channels

negative: bool

Sign hint: true when the represented (symmetric) value is negative.

Implementations

impl RnsInt

pub fn from_bigint(n: &BigInt, channels: Channels) -> Self

Construct from an arbitrary BigInt.

pub fn from_i64(n: i64, channels: Channels) -> Self

Construct from a machine integer.

Examples found in repository

examples/benchmark_backends.rs (line 41)

fn main() {
    let exec = executor();
    let ch = Channels::standard(32);
    let has_gpu = exec.gpu().is_some();

    println!("== adele-ring :: backend benchmark (32 channels) ==");
    println!(
        "GPU available: {}\n",
        if has_gpu {
            exec.gpu().map(|g| g.adapter_name().to_string()).unwrap_or_default()
        } else {
            "no (CPU-only)".to_string()
        }
    );

    println!("{:>10} | {:>14} | {:>12} | winner", "batch_size", "cpu_rayon_us", "gpu_us");
    println!("{}", "-".repeat(56));

    for &size in &[1usize, 16, 128, 1024, 16_384, 65_536] {
        let a = RnsBatch::from_rns_ints(&vec![RnsInt::from_i64(123, ch.clone()); size]);
        let b = RnsBatch::from_rns_ints(&vec![RnsInt::from_i64(456, ch.clone()); size]);

        let iters = if size <= 128 { 2000 } else { 100 };
        let cpu_us = time_backend(|| exec.cpu().batch_rns_add(&a, &b), iters);

        let (gpu_str, winner) = if let Some(gpu) = exec.gpu() {
            let gpu_us = time_backend(|| gpu.batch_rns_add(&a, &b), iters);
            let w = if cpu_us <= gpu_us { "CPU" } else { "GPU" };
            (format!("{gpu_us:>12.2}"), w)
        } else {
            ("         n/a".to_string(), "CPU")
        };

        println!("{size:>10} | {cpu_us:>14.2} | {gpu_str} | {winner}");
    }

    println!(
        "\nNote: CPU wins for small batches (GPU upload/dispatch overhead ~100us);\n\
         GPU pulls ahead once the batch is large enough to amortize that fixed cost."
    );
}

pub fn zero(channels: Channels) -> Self

Additive identity.

pub fn from_residues(residues: Vec<u64>, channels: Channels) -> Self

Build directly from raw channel residues, recomputing the sign hint. The residues must already be reduced into [0, m) for each channel.

pub fn to_bigint(&self) -> BigInt

Reconstruct the exact signed value via Garner CRT + symmetric folding.

pub fn is_zero(&self) -> bool

true iff every residue is zero.

pub fn add(&self, other: &Self) -> Self

Channel-wise modular addition.

pub fn sub(&self, other: &Self) -> Self

Channel-wise modular subtraction.

pub fn mul(&self, other: &Self) -> Self

Channel-wise modular multiplication (uses u128 intermediate).

pub fn neg(&self) -> Self

Additive inverse.

Trait Implementations

impl Clone for RnsInt

fn clone(&self) -> RnsInt

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RnsInt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.