sagemath_同余运算总结

同余运算

R.<x> = Zmod(module)[]

相当于将$x$作为需要求得的未知数

Zmod()内填入同余运算的模数

f = x^3 + ...

将同余运算的所有项移到同一边，赋值给函数$f$来表示

f.roots()

运行之后就求解出来；以列表形式返回所有解

列表内部是元组类型

或者

f.smallroots(upper)

以upper为界限在这个上限内求解根

例题

需要求解

$n^2\equiv p^3+a\ast p^2+b\ast p(modmoudle)$

将同余式项全部移到一边

$0\equiv p^3+a\ast p^2+b\ast p-n^2(modmoudle)$​

其中$a,b,moudle,n$已知；需要求解$p$

那么在sage中写

R.<p> = Zmod(moudle)
f = p^3 + a*p^2 + b*p - n^2 
f.roots()

那么$p$的所有满足该同余式的解就会返回出来