Maximaには素数テストの組み込み関数primepがあります。これはMiller-Rabinの確率的アルゴリズムを用いたものです。 決定的アルゴリズムであるLucasの素数テストを実装して、の素数性を証明しましょう。 /* 4.3.15m */ p : (10^23 - 1)/9$ factors : ifactor…