Decided by an exact rational LP feasibility check (rcdd). A union_region
is empty when all its parts() are.
Arguments
- space
A region.
Examples
# The K = 3 plurality cell `{theta_1 <= theta_2}` is not empty:
is_empty(simplex_region(vertices = rbind(c(0.5, 0.5, 0), c(0, 1, 0), c(0, 0, 1))))
#> [1] FALSE
# Nor is a single point, or the whole space:
is_empty(point_region(theta = c(0.5, 0.3, 0.2)))
#> [1] FALSE
is_empty(real_region(3L))
#> [1] FALSE