SweepDist (not necessarily monotone)
SweepDist monotonize via refinement
Level 000001 of SweepDist (splitting edges)
Level 000002 of SweepDist (splitting edges)
Level 000003 of SweepDist (splitting edges)
Original SweepDist
| 1 |
749.4063359339834 |
790.5593005499395 |
789.7842452805077 |
315 |
315 |
| 2 |
768.4804358647583 |
789.2658300665066 |
789.028429729041 |
629 |
629 |
| 3 |
778.4485290447651 |
788.8825265366604 |
788.8112927358239 |
1257 |
1257 |
| Sweep dist (orig): |
|
|
789.7842452805077 |
315 |
315 |
| Sweep dist r_mono: |
|
|
789.7842452805077 |
315 |
315 |
| Sweep dist r_mono_2: |
|
|
789.5890803121493 |
629 |
629 |
2025-03-08 21:04:53