Enum PadicCyclicSummand 

pub enum PadicCyclicSummand {
    Exact {
        exponent: u64,
    },
    AtLeast {
        exponent: u64,
    },
}

One p-primary relation in a precision-aware module decomposition.

Variants

Exact

A certified summand Z_p / p^exponent.

Fields

exponent: u64

Positive exponent strictly below the context cap.

AtLeast

A relation invisible at the cap, with valuation at least exponent.

Without independent rank evidence this is an unresolved candidate: a compatible lift may replace the relation by zero, contributing to the upper free-rank bound instead of a finite cyclic summand.

Fields

exponent: u64

Lower valuation bound, equal to the context precision.

Implementations

impl PadicCyclicSummand

pub fn kind(&self) -> &'static str

Stable variant name.

pub fn exponent(&self) -> u64

Exact exponent or certified lower bound, according to Self::kind.

pub fn verify(&self) -> Result<(), VerificationError>

Recheck that the relation exponent is positive.

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

Canonical typed JSON.

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

Deserialize canonical typed JSON.

Trait Implementations

impl Clone for PadicCyclicSummand

fn clone(&self) -> PadicCyclicSummand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PadicCyclicSummand

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PadicCyclicSummand

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for PadicCyclicSummand

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

Formats the value using the given formatter.

impl Hash for PadicCyclicSummand

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 PadicCyclicSummand

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

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

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 PadicCyclicSummand

impl Eq for PadicCyclicSummand

impl StructuralPartialEq for PadicCyclicSummand