Enum IdealOrZero 

pub enum IdealOrZero<I: Ideal> {
    NonZero(I),
    Zero,
}

Either a non-trivial ideal (from assert_in_ideal) or the zero ideal (from assert_zero).

Variants

NonZero(I)

Zero

Implementations

impl<I: Ideal> IdealOrZero<I>

pub fn zero() -> Self

pub fn is_zero_ideal(&self) -> bool

Returns true if this is the zero ideal (i.e., the ideal used by assert_zero constraints).

pub fn map<I2: Ideal>(&self, f: impl FnOnce(&I) -> I2) -> IdealOrZero<I2>

Trait Implementations

impl<I: Clone + Ideal> Clone for IdealOrZero<I>

fn clone(&self) -> IdealOrZero<I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug + Ideal> Debug for IdealOrZero<I>

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

Formats the value using the given formatter.

impl<I: Ideal> Display for IdealOrZero<I>

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

Formats the value using the given formatter.

impl<I: Ideal> FromRef<I> for IdealOrZero<I>

fn from_ref(value: &I) -> Self

impl<I: Ideal> FromRef<IdealOrZero<I>> for IdealOrZero<I>

fn from_ref(value: &IdealOrZero<I>) -> Self

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

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

Returns true if the element belongs to this ideal.

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

fn contains( &self, _cfg: &DummySemiringConfig, _value: &DummySemiring, ) -> Result<bool, IdealCheckError>

Returns true if the element belongs to this ideal.

impl<I: Copy + Ideal> Copy for IdealOrZero<I>

impl<I: Ideal> Ideal for IdealOrZero<I>