Struct Var3 

pub struct Var3<const X: char, const Y: char, const Z: char, I>(/* private fields */);

A trivariate monomial X^i Y^j Z^k, with variable symbols X, Y, Z as const generics and exponent type I (usize or isize).

Implementations

impl<const X: char, const Y: char, const Z: char, I> Var3<X, Y, Z, I>

pub fn var_symbol(i: usize) -> char

pub fn multi_deg(&self) -> (I, I, I)

where I: Copy,

pub fn deg_for(&self, i: usize) -> I

where I: Copy,

pub fn total_deg(&self) -> I

where I: Copy + for<'x> Add<&'x I, Output = I>,

pub fn eval<R>(&self, x: &R, y: &R, z: &R) -> R

where R: Mul<Output = R>, I: Copy, for<'x> &'x R: Pow<I, Output = R>,

Trait Implementations

impl<const X: char, const Y: char, const Z: char, I: Clone> Clone for Var3<X, Y, Z, I>

fn clone(&self) -> Var3<X, Y, Z, I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const X: char, const Y: char, const Z: char, I> Debug for Var3<X, Y, Z, I>

where I: ToPrimitive,

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

Formats the value using the given formatter.

impl<const X: char, const Y: char, const Z: char, I: Default> Default for Var3<X, Y, Z, I>

fn default() -> Var3<X, Y, Z, I>

Returns the “default value” for a type.

impl<const X: char, const Y: char, const Z: char, I> Display for Var3<X, Y, Z, I>

where I: ToPrimitive,

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

Formats the value using the given formatter.

impl<const X: char, const Y: char, const Z: char, I> Div for Var3<X, Y, Z, I>

where I: for<'x> SubAssign<&'x I>,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the / operator.

fn div(self, rhs: Var3<X, Y, Z, I>) -> Self::Output

Performs the / operation.

impl<const X: char, const Y: char, const Z: char, I> Div<&Var3<X, Y, Z, I>> for &Var3<X, Y, Z, I>

where I: for<'x> SubAssign<&'x I>, Var3<X, Y, Z, I>: Clone,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the / operator.

fn div(self, rhs: &Var3<X, Y, Z, I>) -> Self::Output

Performs the / operation.

impl<const X: char, const Y: char, const Z: char, I> Div<&Var3<X, Y, Z, I>> for Var3<X, Y, Z, I>

where I: for<'x> SubAssign<&'x I>,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the / operator.

fn div(self, rhs: &Var3<X, Y, Z, I>) -> Self::Output

Performs the / operation.

impl<const X: char, const Y: char, const Z: char, I> Div<Var3<X, Y, Z, I>> for &Var3<X, Y, Z, I>

where I: for<'x> SubAssign<&'x I>, Var3<X, Y, Z, I>: Clone,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the / operator.

fn div(self, rhs: Var3<X, Y, Z, I>) -> Self::Output

Performs the / operation.

impl<const X: char, const Y: char, const Z: char, I> DivAssign for Var3<X, Y, Z, I>

where I: for<'x> SubAssign<&'x I>,

fn div_assign(&mut self, rhs: Var3<X, Y, Z, I>)

Performs the /= operation.

impl<const X: char, const Y: char, const Z: char, I> DivAssign<&Var3<X, Y, Z, I>> for Var3<X, Y, Z, I>

where I: for<'x> SubAssign<&'x I>,

fn div_assign(&mut self, rhs: &Var3<X, Y, Z, I>)

Performs the /= operation.

impl<const X: char, const Y: char, const Z: char, I: Eq> Eq for Var3<X, Y, Z, I>

impl<const X: char, const Y: char, const Z: char, I> From<(I, I, I)> for Var3<X, Y, Z, I>

fn from(d: (I, I, I)) -> Self

Converts to this type from the input type.

impl<const X: char, const Y: char, const Z: char, I> FromStr for Var3<X, Y, Z, I>

where I: Zero + AddAssign + FromStr + FromPrimitive,

type Err = ParseErr

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl<const X: char, const Y: char, const Z: char, I: Hash> Hash for Var3<X, Y, Z, I>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<const X: char, const Y: char, const Z: char, I> LcKey for Var3<X, Y, Z, I>

where I: IndexType + Copy + for<'x> Add<&'x I, Output = I> + ToPrimitive,

impl<const X: char, const Y: char, const Z: char, I> MathType for Var3<X, Y, Z, I>

where I: IndexType + ToPrimitive,

fn math_symbol() -> String

impl<const X: char, const Y: char, const Z: char> Mono for Var3<X, Y, Z, usize>

type Deg = (usize, usize, usize)

Degree type — usize (ordinary) or isize (Laurent), or a tuple/vector for multivariate monomials.

fn deg(&self) -> Self::Deg

The degree (or multi-degree) of this monomial.

fn is_unit(&self) -> bool

true iff this monomial is the unit 1 (all powers zero).

fn inv(&self) -> Option<Self>

Multiplicative inverse, if this monomial is a unit; otherwise None.

fn divides(&self, other: &Self) -> bool

true iff self divides other (componentwise on degrees).

impl<const X: char, const Y: char, const Z: char> Mono for Var3<X, Y, Z, isize>

type Deg = (isize, isize, isize)

Degree type — usize (ordinary) or isize (Laurent), or a tuple/vector for multivariate monomials.

fn deg(&self) -> Self::Deg

The degree (or multi-degree) of this monomial.

fn is_unit(&self) -> bool

true iff this monomial is the unit 1 (all powers zero).

fn inv(&self) -> Option<Self>

Multiplicative inverse, if this monomial is a unit; otherwise None.

fn divides(&self, _other: &Self) -> bool

true iff self divides other (componentwise on degrees).

impl<const X: char, const Y: char, const Z: char, I> MonoOrd for Var3<X, Y, Z, I>

where I: Copy + Eq + Ord + for<'x> Add<&'x I, Output = I>,

fn cmp_lex(&self, other: &Self) -> Ordering

Pure lexicographic order.

fn cmp_grlex(&self, other: &Self) -> Ordering

Graded lexicographic order (compare total degree first, break ties by lex).

impl<const X: char, const Y: char, const Z: char, I> Mul for Var3<X, Y, Z, I>

where I: for<'x> AddAssign<&'x I>,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the * operator.

fn mul(self, rhs: Var3<X, Y, Z, I>) -> Self::Output

Performs the * operation.

impl<const X: char, const Y: char, const Z: char, I> Mul<&Var3<X, Y, Z, I>> for &Var3<X, Y, Z, I>

where I: for<'x> AddAssign<&'x I>, Var3<X, Y, Z, I>: Clone,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the * operator.

fn mul(self, rhs: &Var3<X, Y, Z, I>) -> Self::Output

Performs the * operation.

impl<const X: char, const Y: char, const Z: char, I> Mul<&Var3<X, Y, Z, I>> for Var3<X, Y, Z, I>

where I: for<'x> AddAssign<&'x I>,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the * operator.

fn mul(self, rhs: &Var3<X, Y, Z, I>) -> Self::Output

Performs the * operation.

impl<const X: char, const Y: char, const Z: char, I> Mul<Var3<X, Y, Z, I>> for &Var3<X, Y, Z, I>

where I: for<'x> AddAssign<&'x I>, Var3<X, Y, Z, I>: Clone,

type Output = Var3<X, Y, Z, I>

The resulting type after applying the * operator.

fn mul(self, rhs: Var3<X, Y, Z, I>) -> Self::Output

Performs the * operation.

impl<const X: char, const Y: char, const Z: char, I> MulAssign for Var3<X, Y, Z, I>

where I: for<'x> AddAssign<&'x I>,

fn mul_assign(&mut self, rhs: Var3<X, Y, Z, I>)

Performs the *= operation.

impl<const X: char, const Y: char, const Z: char, I> MulAssign<&Var3<X, Y, Z, I>> for Var3<X, Y, Z, I>

where I: for<'x> AddAssign<&'x I>,

fn mul_assign(&mut self, rhs: &Var3<X, Y, Z, I>)

Performs the *= operation.

impl<const X: char, const Y: char, const Z: char, I> One for Var3<X, Y, Z, I>

where I: for<'x> AddAssign<&'x I> + Zero,

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

where Self: PartialEq,

Returns true if self is equal to the multiplicative identity.

impl<const X: char, const Y: char, const Z: char, I> Ord for Var3<X, Y, Z, I>

where I: Copy + Eq + Ord + for<'x> Add<&'x I, Output = I>,

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<const X: char, const Y: char, const Z: char, I: PartialEq> PartialEq for Var3<X, Y, Z, I>

fn eq(&self, other: &Var3<X, Y, Z, I>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<const X: char, const Y: char, const Z: char, I> PartialOrd for Var3<X, Y, Z, I>

where I: Copy + Eq + Ord + for<'x> Add<&'x I, Output = I>,

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<const X: char, const Y: char, const Z: char, I: PartialEq> StructuralPartialEq for Var3<X, Y, Z, I>

impl<const X: char, const Y: char, const Z: char, I> TeX for Var3<X, Y, Z, I>

where I: ToPrimitive,

fn tex_math_symbol() -> String

fn tex_string(&self) -> String