Trait DivRing 

pub trait DivRing: Ring {
    type Mul: MulGroup + From<NonZero<Self>> + Into<NonZero<Self>>;

    // Provided method
    fn div(self, rhs: Self) -> Self { ... }
}

A division ring.

A Ring whose nonzero elements form a MulGroup, so every nonzero value is multiplicatively invertible. Field adds the involution, fixed field, and characteristic used by the tensor hierarchy.

Required Associated Types

type Mul: MulGroup + From<NonZero<Self>> + Into<NonZero<Self>>

The multiplicative group corresponding to NonZero.

Provided Methods

fn div(self, rhs: Self) -> Self

Divides by a nonzero rhs using its multiplicative inverse.

Panics

Panics when rhs is zero.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<R: Ring> DivRing for R

where NonZero<Self>: MulGroup,

type Mul = NonZero<R>