[−][src]Struct abstalg::Integers
The set of integers whose elements are BigInt objects. The ring operations are the normal ones. The lattice order is the normal total order.
Trait Implementations
impl Clone for Integers
[src]
impl Debug for Integers
[src]
impl Default for Integers
[src]
impl DistributiveLattice for Integers
[src]
impl Domain for Integers
[src]
type Elem = BigInt
The type of the elements of this domain.
fn contains(&self, _elem: &Self::Elem) -> bool
[src]
impl EuclideanDomain for Integers
[src]
fn quo_rem(
&self,
elem1: &Self::Elem,
elem2: &Self::Elem
) -> (Self::Elem, Self::Elem)
[src]
&self,
elem1: &Self::Elem,
elem2: &Self::Elem
) -> (Self::Elem, Self::Elem)
fn is_multiple_of(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> bool
[src]
fn is_reduced(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> bool
[src]
fn associate_repr(&self, elem: &Self::Elem) -> (Self::Elem, Self::Elem)
[src]
fn quo(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn rem(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn are_associates(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> bool
[src]
fn is_unit(&self, elem: &Self::Elem) -> bool
[src]
fn gcd(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn lcm(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn extended_gcd(
&self,
elem1: &Self::Elem,
elem2: &Self::Elem
) -> (Self::Elem, Self::Elem, Self::Elem)
[src]
&self,
elem1: &Self::Elem,
elem2: &Self::Elem
) -> (Self::Elem, Self::Elem, Self::Elem)
fn are_relative_primes(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> bool
[src]
impl IntegralDomain for Integers
[src]
impl Lattice for Integers
[src]
fn meet(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn join(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn leq(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> bool
[src]
impl UnitaryRing for Integers
[src]
fn zero(&self) -> Self::Elem
[src]
fn neg(&self, elem: &Self::Elem) -> Self::Elem
[src]
fn add(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn one(&self) -> Self::Elem
[src]
fn mul(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn is_zero(&self, elem: &Self::Elem) -> bool
[src]
fn sub(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> Self::Elem
[src]
fn is_one(&self, elem: &Self::Elem) -> bool
[src]
Auto Trait Implementations
impl RefUnwindSafe for Integers
impl Send for Integers
impl Sync for Integers
impl Unpin for Integers
impl UnwindSafe for Integers
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,