padic_norm): p-adic norm of primes other than p (#6730)

Commit

4 years ago

feat(data/padics/padic_norm): p-adic norm of primes other than p (#6730) The p-adic norm of `q` is `1` if `q` is another prime than `p`.

Author

thejohncrafter

Parents