OAI/Geometry/CylinderCovering/Angular/TableDefinitions.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.AngularTable.Parameters line 8
  2. def OAI.AngularTable.quadraticCost line 14
  3. def OAI.AngularTable.mesh line 17
  4. def OAI.AngularTable.midpointFour line 19
  5. def OAI.AngularTable.midpointOne line 21
  6. def OAI.AngularTable.midpointTwo line 23
  7. def OAI.AngularTable.continuousTwo line 25
  8. def OAI.AngularTable.squaredTwo line 27
  9. def OAI.AngularTable.maximumOne line 29
  10. def OAI.AngularTable.cartesianThreeQuarters line 31
  11. def OAI.AngularTable.cartesianOne line 34