Enum LocalMonomialOrder 

pub enum LocalMonomialOrder {
    LocalLexicographic,
    LocalDegreeLexicographic,
    LocalDegreeReverseLexicographic,
}

A multiplicative monomial order suited to a polynomial localization.

These are deliberately separate from MonomialOrder. A local order has 1 > x_i > x_i^2 > ..., so it is not a well-order and must never be sent to a global Groebner kernel. Mora reduction is used instead.

Variants

LocalLexicographic

Reverse exponent comparison at the first differing variable.

LocalDegreeLexicographic

Lower total degree first, then ordinary lexicographic comparison.

LocalDegreeReverseLexicographic

Lower total degree first, then ordinary reverse lexicographic comparison.

Implementations

impl LocalMonomialOrder

pub const fn name(self) -> &'static str

Stable short name used by JSON and Python.

pub const fn is_degree_compatible(self) -> bool

Whether lowest total-degree forms are compatible with this order.

pub fn to_json(self) -> Result<String, NoetherError>

Serialize this exact local order.

pub fn from_json(value: &str) -> Result<Self, NoetherError>

Deserialize one exact local order.

Trait Implementations

impl Clone for LocalMonomialOrder

fn clone(&self) -> LocalMonomialOrder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocalMonomialOrder

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

Formats the value using the given formatter.

impl Default for LocalMonomialOrder

fn default() -> LocalMonomialOrder

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for LocalMonomialOrder

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for LocalMonomialOrder

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

Formats the value using the given formatter.

impl Hash for LocalMonomialOrder

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 PartialEq for LocalMonomialOrder

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SemanticType for LocalMonomialOrder

const TYPE_ID: &'static str = "noether/commalg/LocalMonomialOrder@1"

Versioned, language-neutral semantic identity.

fn canonical_bytes(&self) -> Result<Vec<u8>, NoetherError>

Serialize without backend- or language-specific identity.

fn describe() -> &'static TypeDescription

Return static discovery metadata for the type.

impl Serialize for LocalMonomialOrder

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for LocalMonomialOrder

impl Eq for LocalMonomialOrder

impl StructuralPartialEq for LocalMonomialOrder