OAI/Geometry/CylinderCovering/Radial/CoordinatesDefinitions.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.RadialCoordinates.Plane line 9
  2. abbrev OAI.RadialCoordinates.Space line 10
  3. abbrev OAI.RadialCoordinates.BarycentricSpace line 11
  4. def OAI.RadialCoordinates.barycentricSimplex line 13
  5. def OAI.RadialCoordinates.barycentricPoint line 16
  6. def OAI.RadialCoordinates.canonicalPoint line 19
  7. def OAI.RadialCoordinates.canonicalTetrahedron line 22
  8. def OAI.RadialCoordinates.angular line 26
  9. def OAI.RadialCoordinates.velocity line 28
  10. def OAI.RadialCoordinates.ray line 30
  11. def OAI.RadialCoordinates.capPolynomial line 32
  12. def OAI.RadialCoordinates.cap line 34
  13. def OAI.RadialCoordinates.speedSquared line 36
  14. def OAI.RadialCoordinates.firstSweepImagePoint line 39
  15. def OAI.RadialCoordinates.secondSweepImagePoint line 43
  16. def OAI.RadialCoordinates.firstSweepImage line 47
  17. def OAI.RadialCoordinates.secondSweepImage line 51
  18. def OAI.RadialCoordinates.J line 55
  19. def OAI.RadialCoordinates.interceptTangentA line 58
  20. def OAI.RadialCoordinates.interceptTangentB line 60
  21. def OAI.RadialCoordinates.interceptNormal line 62
  22. def OAI.RadialCoordinates.firstDirection line 64