P-Adic numbers, basic: Difference between revisions
Content added Content deleted
(→{{header|Haskell}}: changed to more complete version) |
m (→{{header|Haskell}}: minor details) |
||
| Line 1,319: | Line 1,319: | ||
Convertation between rationals and p-adic numbers |
Convertation between rationals and p-adic numbers |
||
<pre> |
<pre>:set -XDataKinds |
||
λ> 0 :: Padic 5 |
|||
5-adic: 0.0 |
5-adic: 0.0 |
||
λ> 3 :: Padic 5 |
λ> 3 :: Padic 5 |
||