OAI/GroupTheory/PolycyclicRecognition/Algebra/PolynomialCoordinateAction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Polynomial coordinate-orbit representations

  1. theorem OAI.PolycyclicRecognition.polynomial_coordinateAction line 19
  2. theorem OAI.PolycyclicRecognition.polynomial_coordinateMatrix line 43
  3. def OAI.PolycyclicRecognition.coordinateMatrixReadout line 50
  4. theorem OAI.PolycyclicRecognition.coordinateMatrixReadout_apply line 61