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