乘法后CLISP溢出

Question

我正在尝试使用CLISP实现让第一个lisp程序工作，方法是输入

(print (mod (+ (* 28433 (expt 2 7830457) 1)) (expt 10 10))))

在REPL中。

但它给了我*** - overflow during multiplication of large numbers。我认为lisp的特性是任意大小/精度。那么这怎么可能发生呢？

Answer 1

根据http://clisp.cons.org/impnotes/num-concepts.html的说法，bignum的最大大小是(2^2097088 - 1)，而你的2^7830457要比这个大得多。

也许你可以考虑分解这个数字-也许可以分离出一些更小的2^X因子……

Answer 2

Lisp的大数字可能包含非常大的数字，但它们也有其局限性。

在您的例子中，您可以将取幂和取模组合到单个过程中，例如在http://en.wikipedia.org/wiki/Modular_exponentiation#Right-to-left_binary_method中。

Answer 3

有可能有更好的方法来解决这个问题。我还没有在PE上走得那么远，但我知道到目前为止我做过的几件事往往会让人大吃一惊。对计算机程序范围之外的问题的解决方案。

尤其是这个- 2^7830457是一个很大的数字--试试(format t "~r" (expt 2 160))。你可以试着用一种新的视角来看待这个问题，看看是否有一种你没有想过的方法来看待它。