Nemo.jl

juliaの Nemo.jl パッケージをインストールした。Nemoはjuliaのコンピュータ代数パッケージ。

「Nemo.jlパッケージは，Juliaプログラミング言語用の，一般的に使用されているさまざまな環における高速基本算術演算用のライブラリーでる。可換代数，数論，群論の高性能パッケージを提供することが目的とされている。」（Nemo.jlドキュメントより引用）

p-進数（p-adic number）に興味を持ったため，ちょっとだけ試してみた。
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
using Pkg
Pkg.add("Nemo")
R = PadicField(7, 30)
a = R(13)
println(a)
println(a*a)
b =  2 + 3*7 + O(R, 7^6)
sqrt(b)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
6 + 1*7^1 + O(7^30)

1 + 3*7^1 + 3*7^2 + O(7^30)
3 + 5*7^1 + 1*7^2 + 1*7^3 + 4*7^5 + O(7^6)