Definition at line 140 of file Point_operators.hpp.
Definition at line 142 of file Point_operators.hpp.