-- Do not use concept names as template names in the doc
-- Fixed point / point_3 issues and other problems of coherence between concept
and model
-- Fixed some wrong refinement relationships
When the geom_traits given as parameter of `circumcenter` and/or
`weighted_circumcenter` was deriving from the cell base GT
(first template parameter), the gt was up-casted to the
cell base GT, and the function construct_circumcenter_3_object()
(or construct_weighted_circumcenter_3_object()) not
called on the right geom traits type --> possibly missing
the actual input of the function (the robust_circumcenter_traits in Mesh_3)
we add a static assert to check at compile time that point types are the same
When the geom_traits given as parameter of `circumcenter` and/or
`weighted_circumcenter` was deriving from the cell base GT
(first template parameter), the gt was up-casted to the
cell base GT, and the function construct_circumcenter_3_object()
(or construct_weighted_circumcenter_3_object()) not
called on the right geom traits type --> possibly missing
the actual input of the function (the robust_circumcenter_traits in Mesh_3)
we add a static assert to check at compile time that both geom traits
are compatible
Assuming an EMST based on a regular triangulation makes sense, it should be
coherent in its distance: in the Delaunay version, we use the Euclidean
distance, so the power distance should be used for the regular triangulation
version.
Not that since Weighted_point_2 does not have a constructor with 3 FT (since
it makes it confusing with the homogeneous kernel), the random generator
generates weightless points...
In KDS, predicates will call rep->static_object() on Point_3 (say, e.g.,
for an orientation predicate). If the triangulation is a regular triangulation,
the points are weighted and are thus in the weighted point table.
Since we don't want to store and maintain the bare points in the point table,
we use this class, which redirects the calls to static_object() and
kinetic_object() that would query the table points to instead query the
weighted points table and return the appropriate bare point.