Struct PadicFieldRestriction 

pub struct PadicFieldRestriction { /* private fields */ }

Explicit precision restriction between two fixed-cap p-adic fields.

Implementations

impl PadicFieldRestriction

pub fn new( source: PadicField, target_absolute_precision: u64, ) -> Result<Self, PadicRestrictionError>

Construct the unique digit-discarding map to target_absolute_precision.

pub fn source(&self) -> &PadicField

Source fixed-cap field.

pub fn target(&self) -> &PadicField

Target fixed-cap field.

pub fn apply( &self, value: &PadicElement, ) -> Result<PadicElement, PadicRestrictionError>

Discard high digits while preserving the represented valuation when visible.

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

Recheck the source/target relationship defining this map.

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

Canonical JSON containing both endpoint contexts.

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

Deserialize and revalidate both endpoint contexts and their precision relation.

Trait Implementations

impl Clone for PadicFieldRestriction

fn clone(&self) -> PadicFieldRestriction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CoefficientMap for PadicFieldRestriction

type Source = PadicField

Source coefficient context.

type Target = PadicField

Target coefficient context.

type Error = PadicRestrictionError

Scalar application failure.

fn source(&self) -> &Self::Source

Exact source context accepted by this map.

fn target(&self) -> &Self::Target

Exact target context produced by this map.

fn apply(&self, value: &PadicElement) -> Result<PadicElement, Self::Error>

Apply the map after checking that value belongs to the exact source.

impl Debug for PadicFieldRestriction

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

Formats the value using the given formatter.

impl Display for PadicFieldRestriction

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

Formats the value using the given formatter.

impl PartialEq for PadicFieldRestriction

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

const TYPE_ID: &'static str = "noether/numthy/PadicFieldRestriction@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 Eq for PadicFieldRestriction

impl StructuralPartialEq for PadicFieldRestriction