What's a Grober basis? An explanation using circuit equivalence | Hacker News Reader