AngouriMath

Navigation

Valuationf


← Back to list of classes

Description

Summary

The p-adic valuation, valuation(n, p): the exponent of the prime
p in n, so valuation(12, 2) is 2 and valuation(12, 5) is 0; +oo at n = 0, by the convention every text uses. Sullivan and
Mackey's Ex 5.5.1 writes n = 2^m (2 l + 1) with m the 2-adic valuation, and
n = product(p^valuation(n, p), p in PP) is what a factorisation says.
https://github.com/asc-community/AngouriMath/issues/1450

Members

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online