Trait IdealCheck 

pub trait IdealCheck<C: SetConfig> {
    // Required method
    fn contains(
        &self,
        cfg: &C,
        value: &C::Element,
    ) -> Result<bool, IdealCheckError>;
}

A trait for ideals that implement membership check for the algebraic structure configured by C.

Required Methods

fn contains(&self, cfg: &C, value: &C::Element) -> Result<bool, IdealCheckError>

Returns true if the element belongs to this ideal.

Implementors

impl<'a, C: FieldConfig, const W: usize> IdealCheck<DynamicPolynomialConfig<'a, C>> for IdealOrZero<RotationIdeal<C::Element, W>>

impl<C: SetConfig> IdealCheck<C> for ImpossibleIdeal

impl<I: Ideal> IdealCheck<FixedConfig<DummySemiring>> for IdealOrZero<I>