One-sided hyperplane (source code)

= One-sided hyperplane

A hyperplane is one-sided when its carrier is a twisted interval bundle rather than a product with an interval.