Documentation

LeanPool.CutAndProject

Period Lengths of Rational Cut-and-Project Gap Sequences #

Source: url:https://github.com/dkunert/cut-and-project/blob/main/LaTeX/rational_cut_and_project_gap_periods.tex Authors: Dirk Kunert Status: verified Main declarations: CutAndProject.main_theorem_geometric_concrete Tags: number-theory, aperiodic-order, cut-and-project, quasicrystals MSC: 52C23, 11K06