2021-04-15 2021-04-14 (水) 数学 y^2 + y + 6 = x^3 の整数解を考えている。Q(sqrt(-23)) の類数が 3 であることに起因して様々な面倒が発生中。 開発 素イデアルのノルムの上限を計算するようにした。
