Struct PresentedModulePowerHomomorphism 

pub struct PresentedModulePowerHomomorphism<R: CommutativeRing> { /* private fields */ }

A checked map induced on symmetric or exterior powers of presented modules.

The relation lift is constructed as the tensor product of the original relation lift with the preceding power of the generator lift. The returned PresentedModuleHomomorphism rechecks the resulting commuting square, so the map is admitted only when it provably descends to both cokernels.

Implementations

impl<R: CommutativeRing> PresentedModulePowerHomomorphism<R>

pub fn new( source_map: PresentedModuleHomomorphism<R>, kind: ModulePowerKind, degree: usize, ) -> Result<Self, ModulePowerError>

Construct and verify the induced map between retained power presentations.

pub fn source_map(&self) -> &PresentedModuleHomomorphism<R>

Original checked map of presented modules.

pub const fn kind(&self) -> ModulePowerKind

Symmetric or exterior construction.

pub const fn degree(&self) -> usize

Nonnegative power degree.

pub fn source_power(&self) -> &PresentedModulePower<R>

Canonical power presentation of the source.

pub fn target_power(&self) -> &PresentedModulePower<R>

Canonical power presentation of the target.

pub fn induced(&self) -> &PresentedModuleHomomorphism<R>

Checked induced map between the two power presentations.

pub fn compose(&self, inner: &Self) -> Result<Self, ModulePowerError>

Compose two checked presented power maps of the same kind and degree.

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

Replay the construction and recheck the retained relation square.

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

where R: Serialize, R::Element: Serialize,

Serialize the retained presentations and commuting-square evidence.

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

where R: for<'de> Deserialize<'de>, R::Element: for<'de> Deserialize<'de>,

Deserialize and replay the complete presented power map.

Trait Implementations

impl<R: Clone + CommutativeRing> Clone for PresentedModulePowerHomomorphism<R>

fn clone(&self) -> PresentedModulePowerHomomorphism<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: CommutativeRing> Debug for PresentedModulePowerHomomorphism<R>

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

Formats the value using the given formatter.

impl<'de, R> Deserialize<'de> for PresentedModulePowerHomomorphism<R>

where R: CommutativeRing + Deserialize<'de>, R::Element: Deserialize<'de>,

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<R: CommutativeRing> Display for PresentedModulePowerHomomorphism<R>

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

Formats the value using the given formatter.

impl<R: PartialEq + CommutativeRing> PartialEq for PresentedModulePowerHomomorphism<R>

fn eq(&self, other: &PresentedModulePowerHomomorphism<R>) -> 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<R: CommutativeRing> SemanticType for PresentedModulePowerHomomorphism<R>

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

where R: Serialize + CommutativeRing, R::Element: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<R: Eq + CommutativeRing> Eq for PresentedModulePowerHomomorphism<R>

impl<R: CommutativeRing> StructuralPartialEq for PresentedModulePowerHomomorphism<R>