distancelinf.hpp

Go to the documentation of this file.

#pragma once
 
#include "implementation/distancel1.hpp"

 
namespace pgl {
 
namespace detail {

template <class ResultNumber>
constexpr ResultNumber segmentLikeDistanceLInf(const Point<ResultNumber>& a, const Point<ResultNumber>& b,
                                                const Point<ResultNumber>& q, bool boundedLow, bool boundedHigh) {
    const ResultNumber dx = b.x() - a.x();
    const ResultNumber dy = b.y() - a.y();
    const ResultNumber px = q.x() - a.x();
    const ResultNumber py = q.y() - a.y();
 
    if (dx == 0 && dy == 0) {
        const ResultNumber ax = pgl::detail::abs(px);
        const ResultNumber ay = pgl::detail::abs(py);
        return ax > ay ? ax : ay;
    }
 
    bool haveBest = false;
    ResultNumber best{};
    const auto consider = [&](const ResultNumber& value) {
        if (!haveBest || value < best) {
            best = value;
            haveBest = true;
        }
    };
 
    if (boundedLow) {
        const ResultNumber ax = pgl::detail::abs(px);
        const ResultNumber ay = pgl::detail::abs(py);
        consider(ax > ay ? ax : ay);
    }
    if (boundedHigh) {
        const ResultNumber ax = pgl::detail::abs(px - dx);
        const ResultNumber ay = pgl::detail::abs(py - dy);
        consider(ax > ay ? ax : ay);
    }
 
    const ResultNumber cross = dx * py - dy * px;
    const auto considerCrossing = [&](const ResultNumber& n, const ResultNumber& d) {
        if (d == 0) {
            return;
        }
        // The low bound rejects t = n/d < 0, i.e. n and d of opposite signs.
        // Read off the two signs rather than forming n*d: for an exact rational
        // the product is a multiplication plus a normalization, while comparing
        // against the literal 0 is the sign of a numerator. d is nonzero here,
        // so d > 0 splits the cases exhaustively, and n == 0 correctly fails
        // both branches.
        if (boundedLow && (d > 0 ? n < 0 : n > 0)) {
            return;
        }
        if (boundedHigh && n * d > d * d) {
            return;
        }
        consider(pgl::detail::abs(cross) / pgl::detail::abs(d));
    };
    considerCrossing(px, dx);
    considerCrossing(py, dy);
    considerCrossing(px - py, dx - dy);
    considerCrossing(px + py, dx + dy);
 
    return best;
}

template <class ResultNumber, class Self, class OtherShape>
constexpr ResultNumber maxVertexDistanceLInf(const Self& self, const OtherShape& other) {
    const auto self_vertices = self.vertices();
    const auto distanceToVertex = [&other](const auto& vertex) -> ResultNumber {
        return other.template distanceLInf<ResultNumber>(vertex);
    };
    ResultNumber worst = distanceToVertex(self_vertices[0]);
    for (std::size_t index = 1; index < self_vertices.size(); ++index) {
        const ResultNumber current = distanceToVertex(self_vertices[index]);
        if (worst < current) {
            worst = current;
        }
    }
    return worst;
}

template <class Float = double>
Float diskPointDistanceLInf(Float a, Float b, Float r) {
    const auto h = [&](Float theta) {
        return std::max(std::abs(a + r * std::cos(theta)), std::abs(b + r * std::sin(theta)));
    };
 
    constexpr int coarseSteps = 720;
    Float bestTheta{0};
    Float bestValue = h(Float{0});
    for (int i = 1; i < coarseSteps; ++i) {
        const Float theta = Float{2} * std::numbers::pi_v<Float> * i / coarseSteps;
        const Float value = h(theta);
        if (value < bestValue) {
            bestValue = value;
            bestTheta = theta;
        }
    }
 
    const Float step = Float{2} * std::numbers::pi_v<Float> / coarseSteps;
    Float lo = bestTheta - step;
    Float hi = bestTheta + step;
    constexpr Float invPhi = 0.6180339887498949;
    Float c1 = hi - invPhi * (hi - lo);
    Float c2 = lo + invPhi * (hi - lo);
    Float hc1 = h(c1);
    Float hc2 = h(c2);
    for (int i = 0; i < 100; ++i) {
        if (hc1 < hc2) {
            hi = c2;
            c2 = c1;
            hc2 = hc1;
            c1 = hi - invPhi * (hi - lo);
            hc1 = h(c1);
        } else {
            lo = c1;
            c1 = c2;
            hc1 = hc2;
            c2 = lo + invPhi * (hi - lo);
            hc2 = h(c2);
        }
    }
 
    return std::min({bestValue, hc1, hc2});
}
 
}  // namespace detail
 
// -----------------------------------------------------------------------------
// Point
 
template <class Number, class Label>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Point<Number, Label>::hausdorffDistanceLInf(const OtherPoint& other) const {
    return this->template distanceLInf<ResultNumber>(other);
}
 
// -----------------------------------------------------------------------------
// Disk
 
template <class PointType_, class TLabel>
template <class ResultNumber, PointConcept OtherPoint>
detail::floating_result_t<ResultNumber> Disk<PointType_, TLabel>::distanceLInf(
    const OtherPoint& point) const {
    using Float = detail::floating_result_t<ResultNumber>;
    if (contains(point)) {
        return Float{0};
    }
    const Float a = center<Float>().x() - static_cast<Float>(point.x());
    const Float b = center<Float>().y() - static_cast<Float>(point.y());
    return detail::diskPointDistanceLInf(a, b, radius<Float>());
}
 
// -----------------------------------------------------------------------------
// Segment
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Segment<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    return detail::segmentLikeDistanceLInf<ResultNumber>(
        Point<ResultNumber>(min()), Point<ResultNumber>(max()), Point<ResultNumber>(point), true, true);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Segment<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    const auto this_min_to_other = other.template distanceLInf<ResultNumber>(min());
    const auto this_max_to_other = other.template distanceLInf<ResultNumber>(max());
    const auto other_min_to_this = this->template distanceLInf<ResultNumber>(other.min());
    const auto other_max_to_this = this->template distanceLInf<ResultNumber>(other.max());
 
    const auto best_from_this = this_min_to_other < this_max_to_other ? this_min_to_other : this_max_to_other;
    const auto best_from_other = other_min_to_this < other_max_to_this ? other_min_to_this : other_max_to_this;
 
    return best_from_this < best_from_other ? best_from_this : best_from_other;
}
 
// -----------------------------------------------------------------------------
// OrientedSegment
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto OrientedSegment<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    return static_cast<Segment<PointType>>(*this).template distanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto OrientedSegment<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    return static_cast<Segment<PointType>>(*this).template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto OrientedSegment<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    return static_cast<Segment<PointType>>(*this).template distanceLInf<ResultNumber>(
        static_cast<Segment<typename OtherOrientedSegment::PointType>>(other));
}
 
// -----------------------------------------------------------------------------
// Line
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Line<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    return detail::segmentLikeDistanceLInf<ResultNumber>(
        Point<ResultNumber>(min()), Point<ResultNumber>(max()), Point<ResultNumber>(point), false, false);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Line<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return other.template distanceLInf<ResultNumber>(min());
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Line<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    const auto source_distance = this->template distanceLInf<ResultNumber>(other.min());
    const auto target_distance = this->template distanceLInf<ResultNumber>(other.max());
    return source_distance < target_distance ? source_distance : target_distance;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Line<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    return this->template distanceLInf<ResultNumber>(static_cast<Segment<typename OtherOrientedSegment::PointType>>(other));
}
 
// -----------------------------------------------------------------------------
// OrientedLine
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto OrientedLine<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    return this->asLine().template distanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto OrientedLine<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    return this->asLine().template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto OrientedLine<PointType, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    return this->asLine().template distanceLInf<ResultNumber>(other.asLine());
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto OrientedLine<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    return this->asLine().template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto OrientedLine<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    return this->asLine().template distanceLInf<ResultNumber>(other);
}
 
// -----------------------------------------------------------------------------
// Ray
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Ray<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    return detail::segmentLikeDistanceLInf<ResultNumber>(
        Point<ResultNumber>(source()), Point<ResultNumber>(target()), Point<ResultNumber>(point), true, false);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Ray<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return other.template distanceLInf<ResultNumber>(source());
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto Ray<PointType, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return other.template distanceLInf<ResultNumber>(source());
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Ray<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    const auto source_to_other = other.template distanceLInf<ResultNumber>(source());
    const auto other_min_to_this = this->template distanceLInf<ResultNumber>(other.min());
    const auto other_max_to_this = this->template distanceLInf<ResultNumber>(other.max());
    const auto best_from_segment = other_min_to_this < other_max_to_this ? other_min_to_this : other_max_to_this;
    return source_to_other < best_from_segment ? source_to_other : best_from_segment;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Ray<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    const auto source_to_other = other.template distanceLInf<ResultNumber>(source());
    const auto other_source_to_this = this->template distanceLInf<ResultNumber>(other.source());
    const auto other_target_to_this = this->template distanceLInf<ResultNumber>(other.target());
    const auto best_from_segment = other_source_to_this < other_target_to_this ? other_source_to_this : other_target_to_this;
    return source_to_other < best_from_segment ? source_to_other : best_from_segment;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto Ray<PointType, LabelType>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    const auto this_source_to_other = other.template distanceLInf<ResultNumber>(source());
    const auto other_source_to_this = this->template distanceLInf<ResultNumber>(other.source());
    return this_source_to_other < other_source_to_this ? this_source_to_other : other_source_to_this;
}
 
// -----------------------------------------------------------------------------
// Halfplane
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Halfplane<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    if (intersects(point)) {
        return ResultNumber{};
    }
    return asLine().template distanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Halfplane<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return asLine().template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Halfplane<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return asLine().template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Halfplane<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return asLine().template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto Halfplane<PointType, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return asLine().template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto Halfplane<PointType, LabelType>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return asLine().template distanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto Halfplane<PointType, LabelType>::distanceLInf(const OtherHalfplane& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return asLine().template distanceLInf<ResultNumber>(other.asLine());
}
 
// -----------------------------------------------------------------------------
// Rectangle
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    const ResultNumber dx = static_cast<ResultNumber>(axisDistance(min().x(), max().x(), point.x(), point.x()));
    const ResultNumber dy = static_cast<ResultNumber>(axisDistance(min().y(), max().y(), point.y(), point.y()));
    return dx > dy ? dx : dy;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    const auto rectangle_vertices = vertices();
    auto best_distance = other.template distanceLInf<ResultNumber>(rectangle_vertices[0]);
    for (std::size_t index = 1; index < rectangle_vertices.size(); ++index) {
        const auto current_distance = other.template distanceLInf<ResultNumber>(rectangle_vertices[index]);
        if (current_distance < best_distance) {
            best_distance = current_distance;
        }
    }
 
    return best_distance;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    return this->template distanceLInf<ResultNumber>(other.asLine());
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    auto best_distance = this->template distanceLInf<ResultNumber>(other.min());
    const auto other_max_distance = this->template distanceLInf<ResultNumber>(other.max());
    if (other_max_distance < best_distance) {
        best_distance = other_max_distance;
    }
 
    const auto rectangle_edges = edges();
    for (const auto& edge : rectangle_edges) {
        const auto current_distance = edge.template distanceLInf<ResultNumber>(other);
        if (current_distance < best_distance) {
            best_distance = current_distance;
        }
    }
 
    return best_distance;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    return this->template distanceLInf<ResultNumber>(static_cast<Segment<typename OtherOrientedSegment::PointType>>(other));
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherRay& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    auto best_distance = this->template distanceLInf<ResultNumber>(other.source());
    const auto rectangle_edges = edges();
    for (const auto& edge : rectangle_edges) {
        const auto current_distance = other.template distanceLInf<ResultNumber>(edge);
        if (current_distance < best_distance) {
            best_distance = current_distance;
        }
    }
 
    return best_distance;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherHalfplane& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template distanceLInf<ResultNumber>(other.asLine());
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Rectangle<PointType, LabelType>::distanceLInf(const OtherRectangle& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    const ResultNumber dx = static_cast<ResultNumber>(axisDistance(min().x(), max().x(), other.min().x(), other.max().x()));
    const ResultNumber dy = static_cast<ResultNumber>(axisDistance(min().y(), max().y(), other.min().y(), other.max().y()));
    return dx > dy ? dx : dy;
}
 
// -----------------------------------------------------------------------------
// Triangle
 
template <class PointType, class LabelType>
template <class ResultNumber, class OtherShape>
constexpr ResultNumber Triangle<PointType, LabelType>::edgeMinDistanceLInf(const OtherShape& other) const {
    const auto triangle_edges = edges();
    auto best = triangle_edges[0].template distanceLInf<ResultNumber>(other);
    for (std::size_t index = 1; index < triangle_edges.size(); ++index) {
        const auto current = triangle_edges[index].template distanceLInf<ResultNumber>(other);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, class OtherShape>
constexpr ResultNumber Triangle<PointType, LabelType>::vertexMinDistanceLInf(const OtherShape& other) const {
    const auto triangle_vertices = vertices();
    auto best = other.template distanceLInf<ResultNumber>(triangle_vertices[0]);
    for (std::size_t index = 1; index < triangle_vertices.size(); ++index) {
        const auto current = other.template distanceLInf<ResultNumber>(triangle_vertices[index]);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    if (intersects(point)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template vertexMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template vertexMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherHalfplane& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template distanceLInf<ResultNumber>(other.asLine());
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherRectangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto Triangle<PointType, LabelType>::distanceLInf(const OtherTriangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
// -----------------------------------------------------------------------------
// Convex
//
// Always uses the O(n) edge scan below (no cyclic support-function fast path):
// see the distanceLInf declarations in convex.hpp for why the Euclidean fast
// path's search functional does not carry over to the LInf gauge.
 
template <class PointType_, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherPoint& point) const {
    if (contains(point)) {
        return ResultNumber{};
    }
    auto edgeVector = edges();
    ResultNumber best = edgeVector[0].template distanceLInf<ResultNumber>(point);
    for (auto& e : edgeVector) {
        const ResultNumber current = e.template distanceLInf<ResultNumber>(point);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    auto edgeVector = edges();
    ResultNumber best = edgeVector[0].template distanceLInf<ResultNumber>(other);
    for (auto& e : edgeVector) {
        const ResultNumber current = e.template distanceLInf<ResultNumber>(other);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    return this->template distanceLInf<ResultNumber>(
        static_cast<Segment<typename OtherOrientedSegment::PointType>>(other));
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, ConvexConcept OtherConvex>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherConvex& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
 
    const auto minOverEdges = [](const auto& source, const auto& target) {
        const auto edgeVector = source.edges();
        ResultNumber best = target.template distanceLInf<ResultNumber>(edgeVector[0]);
        for (const auto& edge : edgeVector) {
            const ResultNumber current = target.template distanceLInf<ResultNumber>(edge);
            if (current < best) {
                best = current;
            }
        }
        return best;
    };
 
    if (size() <= other.size()) {
        return minOverEdges(*this, other);
    }
    return minOverEdges(other, *this);
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherTriangle& other) const {
    return this->template distanceLInf<ResultNumber>(other.asConvex());
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherRectangle& other) const {
    return this->template distanceLInf<ResultNumber>(other.asConvex());
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    ResultNumber best = other.template distanceLInf<ResultNumber>(get(0));
    for (std::ptrdiff_t i = 1; i < static_cast<std::ptrdiff_t>(size()); ++i) {
        const ResultNumber current = other.template distanceLInf<ResultNumber>(get(i));
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    return this->template distanceLInf<ResultNumber>(other.asLine());
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    auto edgeVector = edges();
    ResultNumber best = other.template distanceLInf<ResultNumber>(edgeVector[0]);
    for (const auto& e : edgeVector) {
        const ResultNumber current = other.template distanceLInf<ResultNumber>(e);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto Convex<PointType_, LabelType>::distanceLInf(const OtherHalfplane& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template distanceLInf<ResultNumber>(other.asLine());
}
 
// -----------------------------------------------------------------------------
// Polygon
 
template <class PointType_, class TLabel>
template <class ResultNumber, class OtherShape>
constexpr ResultNumber Polygon<PointType_, TLabel>::edgeMinDistanceLInf(const OtherShape& other) const {
    const auto boundaryEdges = edges();
    ResultNumber best = boundaryEdges[0].template distanceLInf<ResultNumber>(other);
    for (std::size_t index = 1; index < boundaryEdges.size(); ++index) {
        const ResultNumber current = boundaryEdges[index].template distanceLInf<ResultNumber>(other);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherPoint& point) const {
    if (intersects(point)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(point);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherOrientedSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherOrientedLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherHalfplane& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherRectangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherTriangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, ConvexConcept OtherConvex>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherConvex& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, PolygonConcept OtherPolygon>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherPolygon& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
// -----------------------------------------------------------------------------
// Hausdorff distance (added only where a Euclidean squaredHausdorffDistance
// overload already exists; Polygon has none today, so it gets none here).
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Segment<PointType, LabelType>::hausdorffDistanceLInf(const OtherSegment& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Segment<PointType, LabelType>::hausdorffDistanceLInf(const OtherPoint& point) const {
    return detail::maxVertexDistanceLInf<ResultNumber>(*this, point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto OrientedSegment<PointType, LabelType>::hausdorffDistanceLInf(const OtherSegment& other) const {
    return static_cast<Segment<PointType>>(*this).template hausdorffDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto OrientedSegment<PointType, LabelType>::hausdorffDistanceLInf(const OtherOrientedSegment& other) const {
    return static_cast<Segment<PointType>>(*this).template hausdorffDistanceLInf<ResultNumber>(
        static_cast<Segment<typename OtherOrientedSegment::PointType>>(other));
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto OrientedSegment<PointType, LabelType>::hausdorffDistanceLInf(const OtherPoint& point) const {
    return static_cast<Segment<PointType>>(*this).template hausdorffDistanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Rectangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherRectangle& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Rectangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherPoint& point) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    return detail::maxVertexDistanceLInf<ResultNumber>(*this, point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Rectangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherSegment& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Rectangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherOrientedSegment& other) const {
    // There is no nearest point of the empty set, so it has no distance to
    // anything; asking for one is a precondition violation.
    assert(!empty());
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Triangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherPoint& point) const {
    return detail::maxVertexDistanceLInf<ResultNumber>(*this, point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Triangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherSegment& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Triangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherOrientedSegment& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Triangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherRectangle& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto Triangle<PointType, LabelType>::hausdorffDistanceLInf(const OtherTriangle& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Convex<PointType_, LabelType>::hausdorffDistanceLInf(const OtherPoint& point) const {
    return detail::maxVertexDistanceLInf<ResultNumber>(*this, point);
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Convex<PointType_, LabelType>::hausdorffDistanceLInf(const OtherSegment& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Convex<PointType_, LabelType>::hausdorffDistanceLInf(const OtherOrientedSegment& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Convex<PointType_, LabelType>::hausdorffDistanceLInf(const OtherRectangle& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto Convex<PointType_, LabelType>::hausdorffDistanceLInf(const OtherTriangle& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
template <class PointType_, class LabelType>
template <class ResultNumber, ConvexConcept OtherConvex>
constexpr auto Convex<PointType_, LabelType>::hausdorffDistanceLInf(const OtherConvex& other) const {
    const auto worst_from_this = detail::maxVertexDistanceLInf<ResultNumber>(*this, other);
    const auto worst_from_other = detail::maxVertexDistanceLInf<ResultNumber>(other, *this);
    return worst_from_this > worst_from_other ? worst_from_this : worst_from_other;
}
 
 
template <class PointType_, class TLabel>
template <class ResultNumber, MonotoneChainConcept OtherChain>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherChain& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
// -----------------------------------------------------------------------------
// MonotoneChain
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, class OtherShape>
constexpr ResultNumber MonotoneChain<PointType, LabelType, Storage>::edgeMinDistanceLInf(const OtherShape& other) const {
    assert(size() >= 1);
    if (size() == 1) {
        // A chain collapsed to a single vertex has no edge to measure from;
        // its distance is the distance from that vertex.
        return (*this)[0].template distanceLInf<ResultNumber>(other);
    }
    ResultNumber best = this->template boundaryAt<false>(0).template distanceLInf<ResultNumber>(other);
    for (std::size_t index = 1; index + 1 < size(); ++index) {
        const ResultNumber current =
            this->template boundaryAt<false>(index).template distanceLInf<ResultNumber>(other);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherPoint& point) const {
    if (intersects(point)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherOrientedSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherOrientedLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherHalfplane& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherRectangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherTriangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, ConvexConcept OtherConvex>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherConvex& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType, class Storage>
template <class ResultNumber, MonotoneChainConcept OtherChain>
constexpr auto MonotoneChain<PointType, LabelType, Storage>::distanceLInf(const OtherChain& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
// -----------------------------------------------------------------------------
// Polyline
 
template <class PointType, class LabelType>
template <class ResultNumber, class OtherShape>
constexpr ResultNumber Polyline<PointType, LabelType>::edgeMinDistanceLInf(const OtherShape& other) const {
    assert(size() >= 1);
    if (size() == 1) {
        // A polyline collapsed to a single vertex has no edge to measure from;
        // its distance is the distance from that vertex.
        return (*this)[0].template distanceLInf<ResultNumber>(other);
    }
    ResultNumber best = this->template boundaryAt<false>(0).template distanceLInf<ResultNumber>(other);
    for (std::size_t index = 1; index + 1 < size(); ++index) {
        const ResultNumber current =
            this->template boundaryAt<false>(index).template distanceLInf<ResultNumber>(other);
        if (current < best) {
            best = current;
        }
    }
    return best;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    if (intersects(point)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PolylineConcept OtherPolyline>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherPolyline& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherHalfplane& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherRectangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherTriangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, ConvexConcept OtherConvex>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherConvex& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, MonotoneChainConcept OtherChain>
constexpr auto Polyline<PointType, LabelType>::distanceLInf(const OtherChain& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType_, class TLabel>
template <class ResultNumber, PolylineConcept OtherPolyline>
constexpr auto Polygon<PointType_, TLabel>::distanceLInf(const OtherPolyline& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
 
// -----------------------------------------------------------------------------
// HalfplaneIntersection
//
// Minimum over the region's boundary edges of the edge-to-shape Chebyshev
// distance, mirroring squaredDistance. Disk is excluded (the library defines
// L1/LInf to a disk only from a point). Querying the empty region is undefined
// behavior.
 
namespace detail {
 
template <class ResultNumber, class Region, class Other>
constexpr ResultNumber regionEdgesDistanceLInf(const Region& region, const Other& other) {
    ResultNumber best{};
    bool has = false;
    for (std::size_t i = 0; i < region.size(); ++i) {
        const ResultNumber current = std::visit(
            [&other](const auto& piece) {
                return static_cast<ResultNumber>(piece.template distanceLInf<ResultNumber>(other));
            },
            region.template edge<ResultNumber>(i));
        if (!has || current < best) {
            best = current;
            has = true;
        }
    }
    return best;
}
 
}  // namespace detail
 
#define PGL_HPI_DISTANCE_LINF(ConceptName, ArgType)                                            \
    template <class PointType, class LabelType>                                                \
    template <class ResultNumber, ConceptName ArgType>                                         \
    constexpr auto HalfplaneIntersection<PointType, LabelType>::distanceLInf(                   \
        const ArgType& other) const {                                                          \
        if (intersects(other)) {                                                                \
            return ResultNumber{};                                                              \
        }                                                                                       \
        return detail::regionEdgesDistanceLInf<ResultNumber>(*this, other);                     \
    }
 
PGL_HPI_DISTANCE_LINF(PointConcept, OtherPoint)
PGL_HPI_DISTANCE_LINF(SegmentConcept, OtherSegment)
PGL_HPI_DISTANCE_LINF(OrientedSegmentConcept, OtherOrientedSegment)
PGL_HPI_DISTANCE_LINF(LineConcept, OtherLine)
PGL_HPI_DISTANCE_LINF(OrientedLineConcept, OtherOrientedLine)
PGL_HPI_DISTANCE_LINF(RayConcept, OtherRay)
PGL_HPI_DISTANCE_LINF(HalfplaneConcept, OtherHalfplane)
PGL_HPI_DISTANCE_LINF(RectangleConcept, OtherRectangle)
PGL_HPI_DISTANCE_LINF(TriangleConcept, OtherTriangle)
PGL_HPI_DISTANCE_LINF(ConvexConcept, OtherConvex)
PGL_HPI_DISTANCE_LINF(MonotoneChainConcept, OtherChain)
PGL_HPI_DISTANCE_LINF(PolylineConcept, OtherPolyline)
PGL_HPI_DISTANCE_LINF(PolygonConcept, OtherPolygon)
 
#undef PGL_HPI_DISTANCE_LINF
 
template <class PointType, class LabelType>
template <class ResultNumber, HalfplaneIntersectionConcept OtherRegion>
constexpr auto HalfplaneIntersection<PointType, LabelType>::distanceLInf(const OtherRegion& other) const {
    // Disjoint convex regions realize their distance on this region's
    // boundary; each edge re-dispatches into the other region's own edge scan.
    if (intersects(other)) {
        return ResultNumber{};
    }
    return detail::regionEdgesDistanceLInf<ResultNumber>(*this, other);
}
 
 
// -----------------------------------------------------------------------------
// PolygonWithHoles
//
// See distance.hpp: a shape the closed region misses is nearest to a point of
// ∂A, so one scan over the edges of every ring answers all three metrics.
 
template <class PointType, class LabelType>
template <class ResultNumber, class OtherShape>
constexpr ResultNumber PolygonWithHoles<PointType, LabelType>::edgeMinDistanceLInf(const OtherShape& other) const {
    ResultNumber best{};
    bool seeded = false;
    anyBoundaryEdge([&](const auto& edge) {
        const ResultNumber current = edge.template distanceLInf<ResultNumber>(other);
        if (!seeded || current < best) {
            best = current;
            seeded = true;
        }
        return false;
    });
    return best;
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PointConcept OtherPoint>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherPoint& point) const {
    if (intersects(point)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(point);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, SegmentConcept OtherSegment>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedSegmentConcept OtherOrientedSegment>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherOrientedSegment& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, LineConcept OtherLine>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, OrientedLineConcept OtherOrientedLine>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherOrientedLine& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RayConcept OtherRay>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherRay& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, HalfplaneConcept OtherHalfplane>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherHalfplane& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, RectangleConcept OtherRectangle>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherRectangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, TriangleConcept OtherTriangle>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherTriangle& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, ConvexConcept OtherConvex>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherConvex& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PolygonConcept OtherPolygon>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherPolygon& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PolygonWithHolesConcept OtherRegion>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherRegion& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, MonotoneChainConcept OtherChain>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherChain& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PolylineConcept OtherPolyline>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherPolyline& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
template <class PointType, class LabelType>
template <class ResultNumber, HalfplaneIntersectionConcept OtherIntersection>
constexpr auto PolygonWithHoles<PointType, LabelType>::distanceLInf(const OtherIntersection& other) const {
    if (intersects(other)) {
        return ResultNumber{};
    }
    return this->template edgeMinDistanceLInf<ResultNumber>(other);
}
 
// No Disk overload: the library defines the L1 and LInf distances to a disk
// only from a point.
 
 
// ---------------------------------------------------------------------------
// PolygonSet
//
// The distance to a union is the minimum of the distances, with no caveat and
// no operand it fails for. An empty set has no component to measure from and
// reports zero.
 
template <class PointType, class LabelType>
template <class ResultNumber, detail::SetOperandConcept OtherShape>
    requires detail::ComponentDistanceLInfConcept<ResultNumber, PolygonWithHoles<PointType>, OtherShape>
auto PolygonSet<PointType, LabelType>::distanceLInf(const OtherShape& other) const {
    return minOverComponents([&other](const ComponentType& component) {
        return component.template distanceLInf<ResultNumber>(other);
    });
}
 
template <class PointType, class LabelType>
template <class ResultNumber, PolygonSetConcept OtherSet>
auto PolygonSet<PointType, LabelType>::distanceLInf(const OtherSet& other) const {
    ResultNumber best{};
    bool seeded = false;
    for (const auto& component : other) {
        const ResultNumber current = this->template distanceLInf<ResultNumber>(component);
        if (!seeded || current < best) {
            best = current;
            seeded = true;
        }
    }
    return best;
}
 
}  // namespace pgl