Struct ModuloCanonicalStructure 

pub struct ModuloCanonicalStructure<const N: usize> {}

Trait Implementations

impl<const N: usize> AdditionSignature for ModuloCanonicalStructure<N>

fn add(&self, a: &Self::Set, b: &Self::Set) -> Self::Set

fn add_mut(&self, a: &mut Self::Set, b: &Self::Set)

impl<const N: usize> AdditiveGroupSignature for ModuloCanonicalStructure<N>

fn neg(&self, a: &Self::Set) -> Self::Set

fn sub(&self, a: &Self::Set, b: &Self::Set) -> Self::Set

impl<const N: usize> AdditiveMonoidSignature for ModuloCanonicalStructure<N>

fn sum(&self, vals: Vec<impl Borrow<Self::Set>>) -> Self::Set

impl<const N: usize> CancellativeAdditionSignature for ModuloCanonicalStructure<N>

fn try_sub(&self, a: &Self::Set, b: &Self::Set) -> Option<Self::Set>

Return the unique x such that a = b + x, or None if no such x exists.

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<101>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<103>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<107>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<109>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<11>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<113>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<127>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<13>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<131>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<137>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<139>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<149>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<151>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<157>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<163>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<167>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<17>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<173>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<179>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<181>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<19>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<191>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<193>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<197>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<199>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<2>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<211>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<223>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<227>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<229>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<23>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<233>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<239>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<241>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<251>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<257>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<263>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<269>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<271>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<277>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<281>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<283>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<29>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<293>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<3>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<307>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<31>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<311>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<313>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<317>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<331>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<337>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<347>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<349>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<353>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<359>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<367>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<37>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<373>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<379>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<383>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<389>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<397>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<401>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<409>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<41>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<419>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<421>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<43>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<431>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<433>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<439>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<443>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<449>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<457>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<461>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<463>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<467>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<47>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<479>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<487>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<491>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<499>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<5>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<503>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<509>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<521>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<523>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<53>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<541>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<547>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<557>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<563>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<569>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<571>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<577>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<587>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<59>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<593>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<599>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<601>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<607>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<61>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<613>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<617>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<619>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<631>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<641>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<643>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<647>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<653>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<659>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<661>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<67>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<673>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<677>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<683>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<691>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<7>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<701>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<709>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<71>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<719>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<727>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<73>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<733>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<739>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<743>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<751>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<757>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<761>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<769>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<773>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<787>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<79>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<797>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<809>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<811>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<821>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<823>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<827>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<829>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<83>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<839>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<853>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<857>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<859>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<863>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<877>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<881>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<883>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<887>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<89>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<907>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<911>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<919>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<929>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<937>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<941>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<947>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<953>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<967>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<97>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<971>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<977>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<983>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<991>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl CancellativeMultiplicationSignature for ModuloCanonicalStructure<997>

fn try_divide(&self, top: &Self::Set, bot: &Self::Set) -> Option<Self::Set>

fn divisible(&self, a: &Self::Set, b: &Self::Set) -> bool

return true iff a is divisible by b

impl<const N: usize> CharacteristicSignature for ModuloCanonicalStructure<N>

fn characteristic(&self) -> Natural

impl<const N: usize> Clone for ModuloCanonicalStructure<N>

fn clone(&self) -> ModuloCanonicalStructure<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const N: usize> CountableSetSignature for ModuloCanonicalStructure<N>

fn generate_all_elements(&self) -> impl Iterator<Item = Self::Set> + Clone

Yield distinct elements of the set such that every element eventually appears. Always yields elements in the same order.

impl<const N: usize> Debug for ModuloCanonicalStructure<N>

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

Formats the value using the given formatter.

impl<const N: usize> EqSignature for ModuloCanonicalStructure<N>

fn equal(&self, a: &Self::Set, b: &Self::Set) -> bool

impl FieldSignature for ModuloCanonicalStructure<101>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<103>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<107>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<109>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<11>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<113>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<127>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<13>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<131>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<137>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<139>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<149>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<151>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<157>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<163>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<167>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<17>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<173>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<179>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<181>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<19>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<191>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<193>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<197>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<199>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<2>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<211>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<223>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<227>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<229>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<23>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<233>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<239>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<241>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<251>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<257>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<263>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<269>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<271>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<277>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<281>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<283>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<29>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<293>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<3>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<307>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<31>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<311>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<313>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<317>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<331>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<337>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<347>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<349>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<353>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<359>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<367>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<37>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<373>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<379>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<383>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<389>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<397>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<401>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<409>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<41>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<419>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<421>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<43>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<431>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<433>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<439>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<443>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<449>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<457>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<461>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<463>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<467>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<47>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<479>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<487>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<491>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<499>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<5>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<503>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<509>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<521>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<523>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<53>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<541>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<547>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<557>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<563>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<569>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<571>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<577>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<587>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<59>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<593>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<599>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<601>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<607>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<61>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<613>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<617>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<619>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<631>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<641>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<643>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<647>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<653>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<659>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<661>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<67>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<673>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<677>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<683>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<691>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<7>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<701>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<709>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<71>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<719>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<727>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<73>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<733>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<739>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<743>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<751>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<757>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<761>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<769>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<773>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<787>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<79>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<797>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<809>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<811>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<821>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<823>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<827>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<829>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<83>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<839>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<853>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<857>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<859>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<863>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<877>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<881>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<883>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<887>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<89>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<907>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<911>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<919>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<929>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<937>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<941>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<947>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<953>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<967>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<97>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<971>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<977>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<983>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<991>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FieldSignature for ModuloCanonicalStructure<997>

fn from_rat(&self, x: &Rational) -> Self::Set

impl FiniteFieldSignature for ModuloCanonicalStructure<101>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<103>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<107>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<109>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<11>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<113>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<127>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<13>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<131>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<137>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<139>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<149>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<151>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<157>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<163>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<167>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<17>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<173>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<179>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<181>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<19>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<191>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<193>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<197>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<199>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<2>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<211>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<223>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<227>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<229>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<23>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<233>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<239>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<241>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<251>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<257>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<263>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<269>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<271>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<277>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<281>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<283>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<29>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<293>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<3>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<307>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<31>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<311>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<313>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<317>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<331>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<337>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<347>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<349>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<353>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<359>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<367>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<37>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<373>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<379>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<383>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<389>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<397>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<401>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<409>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<41>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<419>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<421>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<43>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<431>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<433>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<439>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<443>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<449>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<457>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<461>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<463>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<467>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<47>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<479>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<487>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<491>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<499>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<5>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<503>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<509>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<521>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<523>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<53>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<541>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<547>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<557>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<563>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<569>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<571>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<577>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<587>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<59>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<593>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<599>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<601>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<607>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<61>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<613>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<617>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<619>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<631>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<641>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<643>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<647>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<653>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<659>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<661>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<67>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<673>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<677>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<683>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<691>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<7>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<701>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<709>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<71>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<719>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<727>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<73>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<733>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<739>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<743>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<751>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<757>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<761>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<769>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<773>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<787>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<79>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<797>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<809>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<811>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<821>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<823>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<827>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<829>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<83>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<839>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<853>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<857>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<859>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<863>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<877>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<881>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<883>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<887>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<89>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<907>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<911>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<919>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<929>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<937>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<941>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<947>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<953>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<967>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<97>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<971>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<977>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<983>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<991>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl FiniteFieldSignature for ModuloCanonicalStructure<997>

fn characteristic_and_power(&self) -> (Natural, Natural)

impl<const N: usize> FiniteSetSignature for ModuloCanonicalStructure<N>

fn size(&self) -> usize

fn list_all_elements(&self) -> Vec<Self::Set>

A list of all elements in the set. Always returns elements in the same order.

fn generate_random_elements( &self, seed: u64, ) -> impl Iterator<Item = Self::Set> + Clone

impl IntegralDomainSignature for ModuloCanonicalStructure<101>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<103>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<107>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<109>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<11>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<113>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<127>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<13>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<131>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<137>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<139>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<149>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<151>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<157>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<163>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<167>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<17>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<173>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<179>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<181>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<19>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<191>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<193>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<197>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<199>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<2>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<211>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<223>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<227>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<229>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<23>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<233>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<239>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<241>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<251>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<257>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<263>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<269>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<271>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<277>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<281>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<283>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<29>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<293>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<3>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<307>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<31>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<311>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<313>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<317>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<331>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<337>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<347>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<349>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<353>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<359>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<367>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<37>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<373>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<379>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<383>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<389>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<397>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<401>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<409>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<41>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<419>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<421>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<43>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<431>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<433>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<439>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<443>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<449>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<457>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<461>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<463>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<467>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<47>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<479>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<487>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<491>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<499>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<5>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<503>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<509>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<521>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<523>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<53>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<541>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<547>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<557>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<563>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<569>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<571>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<577>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<587>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<59>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<593>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<599>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<601>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<607>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<61>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<613>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<617>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<619>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<631>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<641>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<643>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<647>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<653>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<659>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<661>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<67>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<673>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<677>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<683>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<691>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<7>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<701>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<709>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<71>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<719>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<727>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<73>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<733>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<739>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<743>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<751>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<757>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<761>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<769>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<773>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<787>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<79>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<797>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<809>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<811>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<821>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<823>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<827>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<829>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<83>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<839>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<853>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<857>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<859>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<863>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<877>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<881>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<883>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<887>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<89>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<907>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<911>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<919>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<929>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<937>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<941>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<947>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<953>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<967>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<97>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<971>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<977>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<983>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<991>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl IntegralDomainSignature for ModuloCanonicalStructure<997>

fn try_from_rat(&self, x: &Rational) -> Option<Self::Set>

impl<const N: usize> MultiplicationSignature for ModuloCanonicalStructure<N>

fn mul(&self, a: &Self::Set, b: &Self::Set) -> Self::Set

fn mul_mut(&self, a: &mut Self::Set, b: &Self::Set)

impl<const N: usize> MultiplicativeMonoidSignature for ModuloCanonicalStructure<N>

fn product(&self, vals: Vec<impl Borrow<Self::Set>>) -> Self::Set

fn nat_pow(&self, a: &Self::Set, n: &Natural) -> Self::Set

impl<const N: usize> OneSignature for ModuloCanonicalStructure<N>

fn one(&self) -> Self::Set

impl<const N: usize> PartialEq for ModuloCanonicalStructure<N>

fn eq(&self, other: &ModuloCanonicalStructure<N>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<const N: usize> RingSignature for ModuloCanonicalStructure<N>

fn is_reduced(&self) -> Result<bool, String>

Determine whether the ring is reduced.

fn bracket(&self, a: &Self::Set, b: &Self::Set) -> Self::Set

fn from_int(&self, x: impl Into<Integer>) -> Self::Set

fn inbound_principal_integer_map(&self) -> PrincipalIntegerMap<Self, &Self>

fn into_inbound_principal_integer_map(self) -> PrincipalIntegerMap<Self, Self>

impl<const N: usize> RinglikeSpecializationSignature for ModuloCanonicalStructure<N>

fn try_ring_restructure( &self, ) -> Option<impl EqSignature<Set = Self::Set> + RingSignature>

fn try_char_zero_ring_restructure( &self, ) -> Option<impl EqSignature<Set = Self::Set> + CharZeroRingSignature>

impl<const N: usize> SemiRingSignature for ModuloCanonicalStructure<N>

fn from_nat(&self, x: impl Into<Natural>) -> Self::Set

impl<const N: usize> SetSignature for ModuloCanonicalStructure<N>

type Set = Modulo<N>

fn is_element(&self, _x: &Self::Set) -> Result<(), String>

Some instances of Self::Set may not be valid to represent elements of this set. Return true if x is a valid element and false if not.

impl<const N: usize> ToStringSignature for ModuloCanonicalStructure<N>

fn to_string(&self, elem: &Self::Set) -> String

impl<const N: usize> TryNegateSignature for ModuloCanonicalStructure<N>

fn try_neg(&self, a: &Self::Set) -> Option<Self::Set>

impl<const N: usize> TryReciprocalSignature for ModuloCanonicalStructure<N>

fn try_reciprocal(&self, x: &Self::Set) -> Option<Self::Set>

b such that a*b=1 and b*a=1 or None if no such b exists.

fn is_unit(&self, a: &Self::Set) -> bool

fn units(&self) -> MultiplicativeMonoidUnitsStructure<Self, &Self>

fn into_units(self) -> MultiplicativeMonoidUnitsStructure<Self, Self>

impl<const N: usize> ZeroSignature for ModuloCanonicalStructure<N>

fn zero(&self) -> Self::Set

impl<const N: usize> CommutativeMultiplicationSignature for ModuloCanonicalStructure<N>

impl<const N: usize> Eq for ModuloCanonicalStructure<N>

impl<const N: usize> LeftDistributiveMultiplicationOverAddition for ModuloCanonicalStructure<N>

impl<const N: usize> MultiplicativeAbsorptionMonoidSignature for ModuloCanonicalStructure<N>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<101>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<103>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<107>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<109>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<11>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<113>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<127>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<13>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<131>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<137>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<139>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<149>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<151>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<157>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<163>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<167>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<17>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<173>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<179>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<181>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<19>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<191>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<193>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<197>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<199>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<2>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<211>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<223>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<227>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<229>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<23>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<233>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<239>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<241>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<251>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<257>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<263>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<269>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<271>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<277>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<281>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<283>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<29>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<293>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<3>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<307>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<31>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<311>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<313>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<317>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<331>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<337>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<347>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<349>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<353>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<359>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<367>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<37>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<373>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<379>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<383>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<389>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<397>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<401>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<409>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<41>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<419>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<421>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<43>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<431>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<433>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<439>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<443>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<449>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<457>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<461>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<463>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<467>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<47>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<479>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<487>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<491>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<499>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<5>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<503>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<509>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<521>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<523>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<53>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<541>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<547>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<557>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<563>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<569>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<571>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<577>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<587>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<59>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<593>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<599>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<601>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<607>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<61>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<613>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<617>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<619>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<631>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<641>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<643>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<647>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<653>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<659>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<661>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<67>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<673>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<677>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<683>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<691>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<7>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<701>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<709>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<71>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<719>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<727>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<73>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<733>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<739>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<743>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<751>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<757>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<761>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<769>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<773>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<787>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<79>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<797>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<809>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<811>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<821>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<823>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<827>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<829>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<83>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<839>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<853>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<857>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<859>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<863>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<877>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<881>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<883>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<887>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<89>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<907>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<911>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<919>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<929>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<937>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<941>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<947>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<953>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<967>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<97>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<971>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<977>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<983>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<991>

impl MultiplicativeIntegralMonoidSignature for ModuloCanonicalStructure<997>

impl<const N: usize> RightDistributiveMultiplicationOverAddition for ModuloCanonicalStructure<N>

impl<const N: usize> Signature for ModuloCanonicalStructure<N>

impl<const N: usize> StructuralPartialEq for ModuloCanonicalStructure<N>