template<typename P, typename L = typename P::dual>
fun::hyck struct

Hyperbolic Plane.

Template parameters
P
L

Contents

Base classes

template<typename _P, typename _L, template<typename P, typename L> class Derived>
struct ck<P, typename P::dual, hyck>

Public functions

auto perp(const P& v) const -> L -> auto constexpr
perp (polar) of point
auto perp(const L& v) const -> P -> auto constexpr
perp (pole) of line
template<Projective_plane2 _P>
auto measure(const _P& a1, const _P& a2) const -> auto constexpr
measure between two objects

Function documentation

template<typename P, typename L>
auto fun::hyck<P, L>::perp(const P& v) const -> L constexpr

perp (polar) of point

Parameters
in
Returns L

template<typename P, typename L>
auto fun::hyck<P, L>::perp(const L& v) const -> P constexpr

perp (pole) of line

Parameters
in
Returns P

template<typename P, typename L> template<Projective_plane2 _P>
auto fun::hyck<P, L>::measure(const _P& a1, const _P& a2) const constexpr

measure between two objects

Template parameters
_P
Parameters
a1 in
a2 in
Returns constexpr auto