OAI/Geometry/CylinderCovering/Radial/SweepDefinitions.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CylinderCovering.RadialSweep.Space line 13

   Also declared: ComparatorChallenges/CylinderCovering.lean:435 (same declaration text).

2. structure OAI.CylinderCovering.RadialSweep.Data line 15

   Also declared: ComparatorChallenges/CylinderCovering.lean:437 (same declaration text).

3. def OAI.CylinderCovering.RadialSweep.sweep line 41

   Also declared: ComparatorChallenges/CylinderCovering.lean:463 (same declaration text).

4. def OAI.CylinderCovering.RadialSweep.kappa line 46

   Also declared: ComparatorChallenges/CylinderCovering.lean:468 (same declaration text).

5. def OAI.CylinderCovering.RadialSweep.direction line 49

   Also declared: ComparatorChallenges/CylinderCovering.lean:471 (same declaration text).

6. def OAI.CylinderCovering.RadialSweep.weightedArea line 52

   Also declared: ComparatorChallenges/CylinderCovering.lean:474 (same declaration text).

7. def OAI.CylinderCovering.RadialSweep.scalarBound line 56

   Also declared: ComparatorChallenges/CylinderCovering.lean:478 (same declaration text).

8. def OAI.CylinderCovering.RadialSweep.radialError line 58

   Also declared: ComparatorChallenges/CylinderCovering.lean:480 (same declaration text).

9. def OAI.CylinderCovering.RadialSweep.collar line 60

   Also declared: ComparatorChallenges/CylinderCovering.lean:482 (same declaration text).

10. def OAI.CylinderCovering.RadialSweep.midpoint line 62

    Also declared: ComparatorChallenges/CylinderCovering.lean:484 (same declaration text).

11. def OAI.CylinderCovering.RadialSweep.leftTip line 65

    Also declared: ComparatorChallenges/CylinderCovering.lean:487 (same declaration text).

12. def OAI.CylinderCovering.RadialSweep.rightEdge line 67

    Also declared: ComparatorChallenges/CylinderCovering.lean:489 (same declaration text).

13. def OAI.CylinderCovering.RadialSweep.coordinateMap line 70

    Also declared: ComparatorChallenges/CylinderCovering.lean:492 (same declaration text).

14. def OAI.CylinderCovering.RadialSweep.frozenVertices line 72

    Also declared: ComparatorChallenges/CylinderCovering.lean:494 (same declaration text).

15. def OAI.CylinderCovering.RadialSweep.frozenTriangle line 81

    Also declared: ComparatorChallenges/CylinderCovering.lean:503 (same declaration text).

16. def OAI.CylinderCovering.RadialSweep.frozenBase line 84

    Also declared: ComparatorChallenges/CylinderCovering.lean:506 (same declaration text).

17. def OAI.CylinderCovering.RadialSweep.frozenArea line 87

    Also declared: ComparatorChallenges/CylinderCovering.lean:509 (same declaration text).

18. def OAI.CylinderCovering.RadialSweep.localSweep line 93

    Also declared: ComparatorChallenges/CylinderCovering.lean:515 (same declaration text).

19. def OAI.CylinderCovering.RadialSweep.actualBase line 98

    Also declared: ComparatorChallenges/CylinderCovering.lean:520 (same declaration text).

20. def OAI.CylinderCovering.RadialSweep.cylinder line 101

    Also declared: ComparatorChallenges/CylinderCovering.lean:523 (same declaration text).

21. def OAI.CylinderCovering.RadialSweep.actualCost line 104

    Also declared: ComparatorChallenges/CylinderCovering.lean:526 (same declaration text).

22. def OAI.CylinderCovering.RadialSweep.AlignedStatement line 107

    Also declared: ComparatorChallenges/CylinderCovering.lean:529 (same declaration text).

23. def OAI.CylinderCovering.RadialSweep.ActualSweepStatement line 118

    Also declared: ComparatorChallenges/CylinderCovering.lean:540 (same declaration text).