2023-04-06

Long time no see.

When we do algebraic Hamiltonian reduction, we only use line.