だめぽラボ

代数的数（整数係数多項式の根として表される数）を実装するためのアルゴリズムを解説します。代数的数を使うと、ルートを含むような数に関して、浮動小数点数の誤差に煩わされることなく正確な演算が行えます。Haskellによるサンプルコードを掲載しています。 この本は、Web連載していた「週刊 代数的実数を作る」 https://miz-ar.info/math/algebraic-real/ の書籍化です。本文の加筆修正の他、「付録A ユークリッドの互除法と拡張された互除法」「付録B 部分分数分解」を追加しています。 この本のサポートページは https://lab.miz-ar.info/algebraic-num/ 、サンプルコードは https://github.com/minoki/algebraic-num-example にあります。