OAI/Geometry/CylinderCovering/Physical/CoordinatesDefinitions.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.RadialPhysical.Space line 8
  2. def OAI.RadialPhysical.height line 10
  3. def OAI.RadialPhysical.point line 12
  4. def OAI.RadialPhysical.canonicalPoint line 14
  5. def OAI.RadialPhysical.tetrahedron line 16
  6. def OAI.RadialPhysical.effectiveTilt line 20
  7. def OAI.RadialPhysical.capPolynomial line 22
  8. def OAI.RadialPhysical.linearCap line 25
  9. def OAI.RadialPhysical.squareCap line 27
  10. def OAI.RadialPhysical.canonicalProfile line 29
  11. def OAI.RadialPhysical.canonicalSpeed line 31
  12. def OAI.RadialPhysical.canonicalCost line 33
  13. def OAI.RadialPhysical.scaledDensity line 36
  14. def OAI.RadialPhysical.scaledCost line 39
  15. def OAI.RadialPhysical.mapToCanonical line 42
  16. def OAI.RadialPhysical.relativeQuadraticTerm line 45
  17. def OAI.RadialPhysical.nonorthPoint line 48
  18. def OAI.RadialPhysical.centeredLinearCap line 51
  19. def OAI.RadialPhysical.quadraticCost line 54
  20. def OAI.RadialPhysical.centeredTetrahedron line 57
  21. def OAI.RadialPhysical.mapCenteredToCanonical line 61