ネギ式

なかなか興味深いバグが発生した。GCDが-1になるとは。 だいたい互除法のアルゴリズムは自然数を前提としているのではないか、そこをそのままパクってきて整数係数の多項式に使おうというのだから、当然マイナスには対応するべきであった。 一方、1がすべての整数の共通の因子であるように、-1もまた共通因子である。たと…