OAI/Geometry/CylinderCovering/Rational/DictionaryDefinitions.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.RationalDictionary.Plane line 9
  2. abbrev OAI.RationalDictionary.Space line 10
  3. def OAI.RationalDictionary.vec2 line 12
  4. def OAI.RationalDictionary.vec3 line 13
  5. def OAI.RationalDictionary.c0 line 15
  6. def OAI.RationalDictionary.ell line 17
  7. def OAI.RationalDictionary.g line 19
  8. def OAI.RationalDictionary.gPrime line 21
  9. def OAI.RationalDictionary.v1 line 23
  10. def OAI.RationalDictionary.v2 line 26
  11. def OAI.RationalDictionary.velocity line 28
  12. def OAI.RationalDictionary.A0 line 30
  13. def OAI.RationalDictionary.B0 line 32
  14. def OAI.RationalDictionary.a0 line 34
  15. def OAI.RationalDictionary.uncenteredDomain line 36
  16. def OAI.RationalDictionary.labelMap line 40
  17. def OAI.RationalDictionary.centeredRegularization line 42
  18. def OAI.RationalDictionary.centeredTilt line 44
  19. def OAI.RationalDictionary.centeredPadding line 46
  20. def OAI.RationalDictionary.centeredMargin line 48
  21. def OAI.RationalDictionary.lineMap line 50
  22. def OAI.RationalDictionary.inverseLabelMap line 52
  23. def OAI.RationalDictionary.reflectLabel line 54
  24. def OAI.RationalDictionary.uncenteredFirstSweep line 56
  25. def OAI.RationalDictionary.uncenteredSecondSweep line 60
  26. def OAI.RationalDictionary.centeredFirstPoint line 64
  27. def OAI.RationalDictionary.centeredSecondPoint line 68
  28. def OAI.RationalDictionary.centeredFirstSweep line 72
  29. def OAI.RationalDictionary.centeredSecondSweep line 76
  30. def OAI.RationalDictionary.threshold line 80
  31. def OAI.RationalDictionary.uncenteredWeight line 83
  32. def OAI.RationalDictionary.centeredWeight line 86
  33. def OAI.RationalDictionary.uncenteredCost line 90
  34. def OAI.RationalDictionary.centeredCost line 93