Enum ModuleMonomialOrder 

pub enum ModuleMonomialOrder {
    TermOverPosition(MonomialOrder),
    PositionOverTerm(MonomialOrder),
    Schreyer {
        target_order: Box<Self>,
        leading_monomials: Vec<ModuleMonomial>,
    },
}

A module-monomial order extending one polynomial monomial order.

Variants

TermOverPosition(MonomialOrder)

Compare polynomial terms before basis positions.

PositionOverTerm(MonomialOrder)

Compare basis positions before polynomial terms.

Schreyer

Compare source terms by their products with an ordered target leading frame, breaking induced ties by source position.

Fields

target_order: Box<Self>

Exact module order on the target of the framed generators.

leading_monomials: Vec<ModuleMonomial>

Ordered leading module monomials of the framed generators.

Implementations

impl ModuleMonomialOrder

pub fn base_order(&self) -> &MonomialOrder

Underlying polynomial monomial order.

pub fn schreyer( target_order: Self, leading_monomials: Vec<ModuleMonomial>, ) -> Self

Construct the exact order induced by an ordered target leading frame.

pub fn schreyer_data(&self) -> Option<(&Self, &[ModuleMonomial])>

Target order and ordered leading frame for a Schreyer order.

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

Serialize this mathematical module order as typed JSON.

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

Deserialize and revalidate a standard module order.

Trait Implementations

impl Clone for ModuleMonomialOrder

fn clone(&self) -> ModuleMonomialOrder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleMonomialOrder

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ModuleMonomialOrder

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ModuleMonomialOrder

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

Formats the value using the given formatter.

impl PartialEq for ModuleMonomialOrder

fn eq(&self, other: &ModuleMonomialOrder) -> 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 ModuleMonomialOrder

const TYPE_ID: &'static str = "noether/homalg/ModuleMonomialOrder@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 ModuleMonomialOrder

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

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ModuleMonomialOrder

impl StructuralPartialEq for ModuleMonomialOrder