Trait AdditiveGroupSignature 

pub trait AdditiveGroupSignature: CancellativeAdditionSignature {
    // Required method
    fn neg(&self, a: &Self::Set) -> Self::Set;

    // Provided method
    fn sub(&self, a: &Self::Set, b: &Self::Set) -> Self::Set { ... }
}

Required Methods

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

Provided Methods

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

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.

Implementations on Foreign Types

impl AdditiveGroupSignature for IntegerCanonicalStructure

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

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

impl AdditiveGroupSignature for RationalCanonicalStructure

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

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

Implementors

impl AdditiveGroupSignature for ConwayFiniteFieldStructure

impl AdditiveGroupSignature for QuaternaryFieldCanonicalStructure

impl AdditiveGroupSignature for ComplexAlgebraicCanonicalStructure

impl AdditiveGroupSignature for PAdicAlgebraicStructure

impl AdditiveGroupSignature for RealAlgebraicCanonicalStructure

impl<'h, Domain: RingSignature, Range: RingSignature, Hom: RingHomomorphism<Domain, Range>> AdditiveGroupSignature for RingHomomorphismRangeModuleStructure<'h, Domain, Range, Hom>

impl<ANF: AlgebraicNumberFieldSignature> AdditiveGroupSignature for QuaternionOrderZBasis<ANF>

impl<D: BorrowedSet<Integer>> AdditiveGroupSignature for QuadraticNumberFieldStructure<D>

impl<D: BorrowedSet<Integer>> AdditiveGroupSignature for QuadraticRingOfIntegersStructure<D>

impl<Field: FieldSignature> AdditiveGroupSignature for QuaternionAlgebraStructure<Field>

impl<K: AlgebraicNumberFieldSignature, KB: BorrowedStructure<K>> AdditiveGroupSignature for FullRankSublatticeWithBasis<K, KB>

impl<K: AlgebraicNumberFieldSignature, KB: BorrowedStructure<K>, const MAXIMAL: bool> AdditiveGroupSignature for OrderWithBasis<K, KB, MAXIMAL>

impl<RS: EuclideanDomainSignature, RSB: BorrowedStructure<RS>, const IS_FIELD: bool> AdditiveGroupSignature for EuclideanRemainderQuotientStructure<RS, RSB, IS_FIELD>

impl<RS: RingEqSignature, RSB: BorrowedStructure<RS>> AdditiveGroupSignature for MultiPolynomialStructure<RS, RSB>

impl<RS: RingEqSignature, RSB: BorrowedStructure<RS>> AdditiveGroupSignature for PolynomialStructure<RS, RSB>

impl<Ring: RingSignature, RingB: BorrowedStructure<Ring>> AdditiveGroupSignature for FinitelyFreeModuleStructure<Ring, RingB>

impl<Set: OrdSignature, SetB: BorrowedStructure<Set>, Ring: RingSignature + EqSignature, RingB: BorrowedStructure<Ring>> AdditiveGroupSignature for FreeModuleOverOrderedSetStructure<Set, SetB, Ring, RingB>

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