Пусть есть квадратичная форма Q(x,y) с целыми коэффициентами — и пусть она не-знакоопределённая. Давайте рассматривать её на решётке Z^2 — сначала со стандартным базисом, а потом будем от базиса (e_1,e_2) переходить к « соседнему », заменяя один из векторов либо на их сумму, либо на их разность. И будем рисовать соответствующую картину на плоскости — области соответствуют (примитивным) векторам решётки, рассматриваемым с точностью до смены знака; отметки в них — значению Q на соответствующих векторах (Q(v)=Q(-v), так что выбор знака вектора неважен), рёбра — разделяют области, пары векторов из которых образуют базис, и ребро, разделяющее области для e_1 и e_2, упирается в области для e_1+e_2 и для e_1-e_2.

Скриншот из статьи Веселова и Бухштабера.