フェルマーの最終定理の反「反例」(MPFR対応Gawk)


4904807154かつて、awk用のフェルマーの最終定理の「反例」を紹介したことがありましたが、最近のGawkでは「反例」にならないようです。

Ubuntu 16.04のGawkで試せます。

$ echo '5999856 99992800 100000000' | gawk '{print $1**3+$2**3-$3**3}'
0

$ echo '5999856 99992800 100000000' | gawk -M '{print $1**3+$2**3-$3**3}'
-2985984

Ubuntu 14.04の場合は準備が必要です。

下の方法では、管理者権限を使ってふつうにインストールしています。アンインストールする場合は、作業ディレクトリで「make uninstall」としてください。

sudo apt-get -y install texinfo libmpfr-dev libgmp-dev

git clone git://git.savannah.gnu.org/automake.git
cd automake-1.15
./configure && make && sudo make install
cd ..

git clone git://git.savannah.gnu.org/gawk.git
cd gawk
./configure && make && sudo make install
cd ..

参考:GNU AWKはまだまだ成長中! ユーザーの声をもとに作成された拡張機能を組み込んでみよう

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です