AdicValuation

The -adic valuation — the power of dividing — with its companions: the norm and the unit part in .

AdicValuation(x); `PositiveInfinity` for zero

AdicNorm(x): small when highly divisible by

AdicUnitPart(x), a unit of

Domain: Numeral systems

Details

• For composite this is the largest with , which is not a valuation in the strict sense (it is not additive: ) — but it is what the expansion's leading zeros count
• A capped zero is , so its valuation is reported as the precision: all that is known
• Wolfram's `IntegerExponent[n, p]` is the valuation on integers

Examples

See also: AdicNumeral, AdicExpansion