SweepDist (not necessarily monotone)
SweepDist monotonize via refinement
Level 000001 of SweepDist (splitting edges)
Level 000002 of SweepDist (splitting edges)
Original SweepDist
| 1 |
0.00423185678490413 |
0.004295305934591149 |
0.004253772254967454 |
2702 |
1473 |
| 2 |
0.004260810642494997 |
0.004288621482280841 |
0.0038343405286853883 |
5403 |
2945 |
| Sweep dist (orig): |
|
|
0.004245570236365002 |
2702 |
1473 |
| Sweep dist r_mono: |
|
|
0.004253772254967454 |
2702 |
1473 |
| Sweep dist r_mono_2: |
|
|
0.004244111092929951 |
4174 |
4174 |
2025-03-08 20:55:00