cralgebra 0.2.1

A fast crypto algebra library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use crate::*;

/// Special case of cyclic order with a closed, zero lower bound.
///
/// Equivalent to [CyclicOrdDyn] with the lower bound set to
/// [ZeroDyn::zero_d] plus a check against it. The default implementation can be
/// overridden for efficiency.
pub trait CyclicOrdZeroDyn<C>: Sized + CyclicOrdDyn<C> + ZeroDyn<C> {
    /// Returns whether `[0, self, high]` or `self == 0` for a cyclic order,
    /// equivalent to `self < high` for a linear order. [Read more][CyclicOrdZeroDyn]
    fn cyclic_lt0_d(&self, high: &Self, ctx: &C) -> bool {
        self.cyclic_lt_d(&Self::zero_d(ctx), high, ctx) || self.is_zero_d(ctx)
    }
}

/// Equivalent to [CyclicOrdZeroDyn].
pub trait LessThanDyn<C>: CyclicOrdZeroDyn<C> {
    /// Equivalent to [CyclicOrdZeroDyn::cyclic_lt0_d].
    fn lt_d(&self, rhs: &Self, ctx: &C) -> bool {
        self.cyclic_lt0_d(rhs, ctx)
    }
}