lisyarus/psemek
1
0
Fork 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improve the non-robust geom::in_circle predicate and generalize to any directions

Browse source
This commit is contained in:
Nikita Lisitsa 2022-09-16 17:56:11 +03:00
parent 30546a505e
commit 46458abd71
1 changed files with 16 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
libs/geom/include/psemek/geom/incircle.hpp
View file

@ -13,22 +13,31 @@
namespace psemek::geom
{
template <typename T>
template <typename T, std::size_t N, typename ... Points>
#ifdef PSEMEK_GEOM_ROBUST_PREDICATES
std::enable_if_t<!std::is_floating_point_v<T>, sign_t>
#else
sign_t
#endif
in_circle(point<T, 2> const & p0, point<T, 2> const & p1, point<T, 2> const & p2, point<T, 2> const & p3)
in_circle(point<T, N> const & p0, Points const & ... points)
{
auto proj = [](point<T, 2> const & p)
auto proj = [](vector<T, N> const & v)
{
auto const x = p[0];
auto const y = p[1];
return point<T, 3>{ x, y, x*x + y*y };
vector<T, N + 1> u;
u[N] = T{0};
for (std::size_t i = 0; i < N; ++i)
{
u[i] = v[i];
u[N] += v[i] * v[i];
}
return u;
};
return orientation(proj(p0), proj(p1), proj(p2), proj(p3));
auto result = orientation(proj(points - p0) ...);
if constexpr ((N % 2) == 0)
return inverse(result);
else
return result;
}
#ifdef PSEMEK_GEOM_ROBUST_PREDICATES