Commit 2026-08-13 09:59 5f9b8f60

feat(Algebra/QuadraticAlgebra): discriminant and field criterion (#42206) Add the discriminant discr a b = b ^ 2 + 4 * a of QuadraticAlgebra R a b, describe how it transforms under a change of generator, and derive, over a field with 2 ≠ 0, a criterion for QuadraticAlgebra K a b to be a field (it is a field iff discr a b is not a square). This also renames omega_re/omega_im to re_omega/im_omega with deprecated aliases. Prepared with Claude Code 🤖