OAI/NumberTheory/Ostmann/Quadratic/QuadraticParameterGrid.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The finite phase and scale grids for the quadratic coefficient arrays

  1. def OAI.Ostmann.quadraticParameterGrid line 10
  2. def OAI.Ostmann.quadraticGridPhase line 13
  3. def OAI.Ostmann.quadraticGridScale line 15
  4. theorem OAI.Ostmann.quadraticParameterGrid_covers line 17
  5. theorem OAI.Ostmann.quadraticParameterGrid_card_le line 52