Commit 2026-09-25 09:51 93c94ec2
View on Github →feat(Algebra/QuadraticAlgebra): quadratic algebras over ℤ (#42298)
Over ℤ the discriminant is already known to be a complete invariant. This adds the canonical representatives: up to isomorphism, every quadratic algebra over ℤ is QuadraticAlgebra ℤ (D / 4) (D % 4) for a unique integer D ≡ 0, 1 mod 4.