pub struct Lex;Expand description
Lexicographic ordering of monomials.
Trait Implementations§
Source§impl MonomialOrder for Lex
impl MonomialOrder for Lex
Source§fn as_any(&self) -> Option<&dyn Any>
fn as_any(&self) -> Option<&dyn Any>
Upcasts this reference to
&dyn Any, which is sometimes required to compare monomial order
objects of different types.fn compare<P>( &self, ring: P, lhs: &PolyMonomial<P>, rhs: &PolyMonomial<P>, ) -> Ordering
Source§fn eq_mon<P>(
&self,
ring: P,
lhs: &PolyMonomial<P>,
rhs: &PolyMonomial<P>,
) -> bool
fn eq_mon<P>( &self, ring: P, lhs: &PolyMonomial<P>, rhs: &PolyMonomial<P>, ) -> bool
Checks whether two monomials are equal. Read more
Source§fn is_same<O>(&self, rhs: &O) -> boolwhere
O: MonomialOrder,
fn is_same<O>(&self, rhs: &O) -> boolwhere
O: MonomialOrder,
Whether this order is the same as the given other order, i.e.
MonomialOrder::compare()
gives the same output on all inputs. Read moreimpl Copy for Lex
impl Eq for Lex
impl StructuralPartialEq for Lex
Auto Trait Implementations§
impl Freeze for Lex
impl RefUnwindSafe for Lex
impl Send for Lex
impl Sync for Lex
impl Unpin for Lex
impl UnwindSafe for Lex
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more