Interactive: Finite Generation — Gordan's Lemma

Drag v₁ and v₂ to set the cone σ. Click any lattice point inside the cone to add it as a generator; click again to remove it. Olive dots = lattice points reached by the current generators.