Struct IntegerDomain 

pub struct IntegerDomain;

The integer domain.

Example

use ocas_domain::{Domain, Integer, IntegerDomain};

let domain = IntegerDomain;
let a = Integer::from(3);
let b = Integer::from(5);
assert_eq!(domain.add(&a, &b), Integer::from(8));

Trait Implementations

impl Clone for IntegerDomain

fn clone(&self) -> IntegerDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IntegerDomain

impl Debug for IntegerDomain

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

Formats the value using the given formatter.

impl Domain for IntegerDomain

Available on non-crate feature gmp only.

type Element = Integer

The type of elements in the domain.

fn zero(&self) -> Self::Element

The additive identity.

fn one(&self) -> Self::Element

The multiplicative identity.

fn add(&self, a: &Self::Element, b: &Self::Element) -> Self::Element

Add two elements.

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

Subtract b from a.

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

Negate an element.

fn mul(&self, a: &Self::Element, b: &Self::Element) -> Self::Element

Multiply two elements.

fn div(&self, a: &Self::Element, b: &Self::Element) -> Option<Self::Element>

Divide a by b.

fn inv(&self, a: &Self::Element) -> Option<Self::Element>

Return the multiplicative inverse of a.

fn is_zero(&self, a: &Self::Element) -> bool

Test whether an element is the additive identity.

fn is_one(&self, a: &Self::Element) -> bool

Test whether an element is the multiplicative identity.

fn mul_assign(&self, a: &mut Self::Element, b: &Self::Element)

In-place multiply: *a *= b.

fn sub_mul_assign( &self, a: &mut Self::Element, b: &Self::Element, c: &Self::Element, )

Fused subtract-multiply: *a -= b * c.

fn pow(&self, a: &Self::Element, n: u64) -> Self::Element

Return a raised to the non-negative integer power n.

fn cast_u64(&self, n: u64) -> Self::Element

Convert a u64 into an element of the domain.

impl Eq for IntegerDomain

impl EuclideanDomain for IntegerDomain

Available on non-crate feature gmp only.

fn div_rem( &self, a: &Self::Element, b: &Self::Element, ) -> Option<(Self::Element, Self::Element)>

Divide a by b returning (quotient, remainder).

fn gcd(&self, a: &Self::Element, b: &Self::Element) -> Self::Element

Compute the greatest common divisor of a and b.

fn extended_gcd( &self, a: &Self::Element, b: &Self::Element, ) -> (Self::Element, Self::Element, Self::Element)

Compute the extended GCD: returns (g, x, y) such that g = gcd(a, b) = a*x + b*y.

impl PartialEq for IntegerDomain

fn eq(&self, other: &IntegerDomain) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for IntegerDomain