AdicNorm

A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.

Mapped through to rust for the oracle; not yet written up here.

AdicNorm(...)Mapped through to rust for the oracle; not yet written up here.

Rustadic_norm(...)

Typed signatures

Type	Package	Applies
(value) -> rational	numerals	always

Domain: Oracle

Examples

Basic #

$75 = 5^2 \cdot 3$, so its 5-adic norm is $5^{-2}$

live ↗

In$\mathrm{AdicNorm}(\mathrm{AdicNumeral}(5, 75))$Out$\frac{1}{25}$

$12 = 2^2 \cdot 3$, so its 2-adic norm is $2^{-2}$

live ↗

In$\mathrm{AdicNorm}(\mathrm{AdicNumeral}(2, 12))$Out$\frac{1}{4}$

About

Examples	2
Checked against	Rust 2 agree
Crosswalk	Rust

Implementation

mappedrustpackages/oracle/src/mappings.ts