Skip to main content

AddGrp

Trait AddGrp 

Source
pub trait AddGrp:
    AddMon
    + AddGrpOps
    + SubAssign
    + for<'a> SubAssign<&'a Self>
where for<'a> &'a Self: AddGrpOps<Self>,
{ }
Expand description

An additive group: an AddMon with negation -x and subtraction x - y, satisfying x + (-x) = 0.

See: https://en.wikipedia.org/wiki/Group_(mathematics), https://en.wikipedia.org/wiki/Additive_group

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types§

Source§

impl AddGrp for BigInt

Source§

impl AddGrp for i32

Source§

impl AddGrp for i64

Source§

impl AddGrp for i128

Implementors§

Source§

impl AddGrp for FF2

Source§

impl<I, const D: i32> AddGrp for QuadInt<I, D>
where I: IntType, for<'x> &'x I: IntOps<I>,

Source§

impl<T> AddGrp for Ratio<T>
where T: EucRing, for<'x> &'x T: EucRingOps<T>,

Source§

impl<X, R> AddGrp for Lc<X, R>
where X: LcKey, R: Ring, for<'x> &'x R: RingOps<R>,

Source§

impl<X, R> AddGrp for PolyBase<X, R>
where X: Mono, R: Ring, for<'x> &'x R: RingOps<R>,

Source§

impl<const p: i32> AddGrp for FF<p>