Use Construct_point_3 inside functor

This commit is contained in:
Andreas Fabri 2017-03-03 11:20:28 +01:00 committed by Mael Rouxel-Labbé
parent 2ad0200d34
commit cb7aa2113e
1 changed files with 7 additions and 6 deletions

View File

@ -382,9 +382,10 @@ namespace CommonKernelFunctors {
{
K traits;
typename K::Orientation_2 orientation = traits.orientation_2_object();
typename K::Construct_point_2 wp2p = traits.construct_point_2_object();
typename K::Power_side_of_oriented_power_circle_2 power_test =
traits.power_side_of_oriented_power_circle_2_object();
typename K::Orientation o = orientation(p,q,r);
typename K::Orientation o = orientation(wp2p(p),wp2p(q),wp2p(r));
typename K::Oriented_side os = power_test(p,q,r,t);
CGAL_assertion(o != COPLANAR);
@ -430,12 +431,12 @@ namespace CommonKernelFunctors {
{
K traits;
typename K::Orientation_3 orientation = traits.orientation_3_object();
typename K::Power_side_of_oriented_power_sphere_3 power_test =
traits.power_side_of_oriented_power_sphere_3_object();
typename K::Orientation o = orientation(p,q,r,s);
typename K::Construct_point_3 wp2p = traits.construct_point_3_object();
typename K::Power_side_of_oriented_power_sphere_3 power_test = traits.power_side_of_oriented_power_sphere_3_object();
typename K::Orientation o = orientation(wp2p(p),wp2p(q),wp2p(r),wp2p(s));
typename K::Oriented_side os = power_test(p,q,r,s,t);
// Power_side_of_oriented_power_sphere_3
// returns in fact minus the 5x5 determinant of lifted (p,q,r,s,t)
// power_test_3
// returns in fact minus the 5x5 determinant of lifted (p,q,r,s.t)
CGAL_assertion(o != COPLANAR);
return enum_cast<Bounded_side>(o * os);
}