msolve 函数
求解一元线性同余,并返回 0..m - 1 范围内的所有剩余类。
语法
msolve(a*x = b, m)msolve(expr, m, x)modular_solve(expr, m, x)
参数与选项
equation | 按模 m 理解的一元线性方程或表达式。 |
|---|---|
m | 正模数。 |
x | 可选变量;无法自动推断时使用。 |
示例
- 线性同余
msolve(3*x = 1, 7)返回 [5]。 - 多个剩余类
msolve(4*x = 2, 6)返回 [2, 5]。
求解一元线性同余,并返回 0..m - 1 范围内的所有剩余类。
msolve(a*x = b, m)msolve(expr, m, x)modular_solve(expr, m, x)equation | 按模 m 理解的一元线性方程或表达式。 |
|---|---|
m | 正模数。 |
x | 可选变量;无法自动推断时使用。 |
msolve(3*x = 1, 7)返回 [5]。msolve(4*x = 2, 6)返回 [2, 5]。