Trait HashableElRing 

pub trait HashableElRing: RingBase {
    // Required method
    fn hash<H: Hasher>(&self, el: &Self::Element, h: &mut H);
}

Trait for rings that can compute hashes for their elements. This should be compatible with RingBase::eq_el in the usual way.

Required Methods

fn hash<H: Hasher>(&self, el: &Self::Element, h: &mut H)

Hashes the given ring element.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl HashableElRing for MPZBase

Available on crate feature mpir only.

impl HashableElRing for feanor_math::rings::zn::zn_64::ZnBase

impl<A: Allocator + Clone> HashableElRing for RustBigintRingBase<A>

impl<C: RingStore, J: RingStore, A: Allocator + Clone> HashableElRing for feanor_math::rings::zn::zn_rns::ZnBase<C, J, A>

where C::Type: ZnRing + CanHomFrom<J::Type> + HashableElRing, J::Type: IntegerRing, <C::Type as ZnRing>::IntegerRingBase: IntegerRing + CanIsoFromTo<J::Type>,

impl<I: RingStore> HashableElRing for RationalFieldBase<I>

where I::Type: IntegerRing + HashableElRing,

impl<I: RingStore> HashableElRing for feanor_math::rings::zn::zn_big::ZnBase<I>

where I::Type: IntegerRing,

impl<R> HashableElRing for FractionFieldImplBase<R>

where R: RingStore, R::Type: Domain + IntegerRing + HashableElRing,

We don’t have a canonical representation when the base ring is not an integer ring (even if it is a PID), since we can always multiply numerator/denominator by a unit.

impl<R, A: Allocator + Clone, C: ConvolutionAlgorithm<R::Type>> HashableElRing for DensePolyRingBase<R, A, C>

where R: RingStore, R::Type: HashableElRing,

impl<R, V, A, C> HashableElRing for FreeAlgebraImplBase<R, V, A, C>

where R: RingStore, R::Type: HashableElRing, V: VectorView<El<R>>, A: Allocator + Clone, C: ConvolutionAlgorithm<R::Type>,

impl<R: DelegateRing + ?Sized> HashableElRing for R

where R::Base: HashableElRing,

impl<R: RingStore, const N: usize> HashableElRing for DirectPowerRingBase<R, N>

where R::Type: HashableElRing,

impl<T: PrimitiveInt> HashableElRing for StaticRingBase<T>

impl<const N: u64, const IS_FIELD: bool> HashableElRing for feanor_math::rings::zn::zn_static::ZnBase<N, IS_FIELD>