Kernel::PowerSideOfOrientedPowerSphere_3 Concept Reference

Definition

Refines:

AdaptableFunctor (with five arguments)

See also

CGAL::Weighted_point_3<Kernel>

ComputePowerProduct_3 for the definition of power distance.

PowerSideOfBoundedPowerSphere_3

Operations
A model of this concept must provide:
Oriented_side	operator() (const Kernel::Weighted_point_3 &p, const Kernel::Weighted_point_3 &q, const Kernel::Weighted_point_3 &r, const Kernel::Weighted_point_3 &s, const Kernel::Weighted_point_3 &t) const
	Let ${z(p,q,r,s)}^{(w)}$ be the power sphere of the weighted points $(p,q,r,s)$. More...

Member Function Documentation

operator()()

Oriented_side Kernel::PowerSideOfOrientedPowerSphere_3::operator()	(	const Kernel::Weighted_point_3 &	p,
		const Kernel::Weighted_point_3 &	q,
		const Kernel::Weighted_point_3 &	r,
		const Kernel::Weighted_point_3 &	s,
		const Kernel::Weighted_point_3 &	t
	)		const

Let ${z(p,q,r,s)}^{(w)}$ be the power sphere of the weighted points $(p,q,r,s)$.

Returns

• ON_ORIENTED_BOUNDARY if t is orthogonal to ${z(p,q,r,s)}^{(w)}$,
• ON_NEGATIVE_SIDE if t lies outside the oriented sphere of center $z(p,q,r,s)$ and radius $\sqrt{ w_{z(p,q,r,s)}^2 + w_t^2 }$ (which is equivalent to $\Pi({t}^{(w)},{z(p,q,r,s)}^{(w)}) > 0$),
• ON_POSITIVE_SIDE if t lies inside this oriented sphere.

The order of the points p, q, r and s is important, since it determines the orientation of the implicitly constructed power sphere.

Precondition

p, q, r, s are not coplanar.

If all the points have a weight equal to 0, then power_side_of_oriented_power_sphere_3(p,q,r,s,t) = side_of_oriented_sphere(p,q,r,s,t).