Hanssen–Kuipers discriminant