Igu*_*ana 7 haskell equation-solving modular-arithmetic
我想在一个变量中解决Haskell中的线性和二次模块方程.我现在这样做的方法是逐个x = [1..]输入等式并找到余数(expr `rem` p == 0如果等式是模p(不一定是素数),expr那么变量就是x).我相信这是一个非常低效的过程.那么还有更好的方法吗？
求解模二次方程包括:
对于Haskell,arithmoi包具有这些算法的实现.特别是,请参阅chineseRemainder,sqrtModP和sqrtModPP函数.
在这里你可以找到一些有用的例子:
http://www.mersennewiki.org/index.php/Modular_Square_Root