ck_concepts.hpp

Go to the documentation of this file.

 
#pragma once
 
// #include <array>
 
#include "pg_concepts.hpp"
 
namespace fun {
    template <class Point, class Line = typename Point::Dual>
    concept CayleyKleinPlanePrimitive =        //
        ProjectivePlanePrimitive<Point, Line>  //
        && requires(const Point& pt_p, const Line& ln_l) {
               { pt_p.perp() } -> std::convertible_to<Line>;  // pole or polar
           };
 
    template <class Point, class Line = typename Point::Dual>
    concept CayleyKleinPlanePrimitiveDual
        = CayleyKleinPlanePrimitive<Point, Line> && CayleyKleinPlanePrimitive<Line, Point>;
 
    template <class Value, class Point, class Line = typename Point::Dual>
    concept CayleyKleinPlane =               //
        ProjectivePlane<Value, Point, Line>  //
        && requires(const Point& pt_p, const Line& ln_l) {
               { pt_p.perp() } -> std::convertible_to<Line>;  // pole or polar
           };
 
    template <class Value, class Point, class Line = typename Point::Dual>
    concept CayleyKleinPlaneDual
        = CayleyKleinPlane<Value, Point, Line> && CayleyKleinPlane<Value, Line, Point>;
 
}  // namespace fun