2021-04-14 (水)

数学

y^2 + y + 6 = x^3 の整数解を考えている。Q(sqrt(-23)) の類数が 3 であることに起因して様々な面倒が発生中。

開発

素イデアルのノルムの上限を計算するようにした。