projgeom-cpp/conceptfun_1_1ProjectivePlaneH.html

template<class Point, class Line>

concept fun::ProjectivePlaneH =  STD_ALT::equality_comparable<Point>

          && requires(const Point& pt_p, const Point& pt_q, const Line& ln_l,

                      const Value_type<Point>& pt_a) {

                 typename Value_type<Point>;


                 { pt_p * pt_q } -> STD_ALT::convertible_to<Line>;

                 {

                     pt_p.dot(ln_l)

                 } -> STD_ALT::convertible_to<Value_type<Point>>;

                 { pt_p.aux() } -> STD_ALT::convertible_to<Line>;

                 {

                     parametrize(pt_a, pt_p, pt_a, pt_q)

                 } -> STD_ALT::convertible_to<Point>;

             }

fun::ProjectivePlaneH
Projective plane Concept (half)
Definition proj_plane_concepts.h:96

fun::parametrize
constexpr auto parametrize(const Value &lambda_val, const Point &pt_p, const Value &mu_val, const Point &pt_q) -> Point
Homogeneous parametrization of point or line (free function)
Definition pg_common.hpp:185