SageMath
チートシート
NN: 非負整数半環
ZZ: 整数環
QQ: 有理数体
RR: real field with 53 bits of precision
Zmod(n): 整数剰余類環$ \mathbb{Z}/n\mathbb{Z} エイリアス: Integers(n), IntegerModRing(n)
正式: sage.rings.finite_rings.integer_mod_ring
Primes(): 素数集合
Fields(): category of fields
気になる代数的構造があれば、実際にSageMathでNNなどを出力してみると正体がわかる。NNならNon negative integer semiringと出力される。