2016-12-05 05:44:42 +08:00
|
|
|
#[cfg(feature = "arbitrary")]
|
|
|
|
use quickcheck::{Arbitrary, Gen};
|
|
|
|
|
2018-02-02 19:26:35 +08:00
|
|
|
use num::{Bounded, One, Zero};
|
2018-05-23 05:58:14 +08:00
|
|
|
use rand::distributions::{Distribution, Standard};
|
|
|
|
use rand::Rng;
|
2016-12-05 05:44:42 +08:00
|
|
|
|
|
|
|
use alga::general::ClosedDiv;
|
2018-05-19 23:15:15 +08:00
|
|
|
use base::allocator::Allocator;
|
|
|
|
use base::dimension::{DimName, DimNameAdd, DimNameSum, U1, U2, U3, U4, U5, U6};
|
2018-05-23 05:58:14 +08:00
|
|
|
use base::{DefaultAllocator, Scalar, VectorN};
|
2016-12-05 05:44:42 +08:00
|
|
|
|
2017-08-03 01:37:44 +08:00
|
|
|
use geometry::Point;
|
2016-12-05 05:44:42 +08:00
|
|
|
|
2017-08-03 01:37:44 +08:00
|
|
|
impl<N: Scalar, D: DimName> Point<N, D>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<N, D>,
|
|
|
|
{
|
2016-12-05 05:44:42 +08:00
|
|
|
/// Creates a new point with uninitialized coordinates.
|
|
|
|
#[inline]
|
|
|
|
pub unsafe fn new_uninitialized() -> Self {
|
2017-08-03 01:37:44 +08:00
|
|
|
Self::from_coordinates(VectorN::new_uninitialized())
|
2016-12-05 05:44:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Creates a new point with all coordinates equal to zero.
|
|
|
|
#[inline]
|
|
|
|
pub fn origin() -> Self
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
N: Zero,
|
|
|
|
{
|
2017-08-03 01:37:44 +08:00
|
|
|
Self::from_coordinates(VectorN::from_element(N::zero()))
|
2016-12-05 05:44:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Creates a new point from its homogeneous vector representation.
|
|
|
|
///
|
|
|
|
/// In practice, this builds a D-dimensional points with the same first D component as `v`
|
|
|
|
/// divided by the last component of `v`. Returns `None` if this divisor is zero.
|
|
|
|
#[inline]
|
2017-08-03 01:37:44 +08:00
|
|
|
pub fn from_homogeneous(v: VectorN<N, DimNameSum<D, U1>>) -> Option<Self>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
N: Scalar + Zero + One + ClosedDiv,
|
|
|
|
D: DimNameAdd<U1>,
|
|
|
|
DefaultAllocator: Allocator<N, DimNameSum<D, U1>>,
|
|
|
|
{
|
2016-12-05 05:44:42 +08:00
|
|
|
if !v[D::dim()].is_zero() {
|
2018-02-02 19:26:35 +08:00
|
|
|
let coords = v.fixed_slice::<D, U1>(0, 0) / v[D::dim()];
|
2016-12-05 05:44:42 +08:00
|
|
|
Some(Self::from_coordinates(coords))
|
2018-02-02 19:26:35 +08:00
|
|
|
} else {
|
2016-12-05 05:44:42 +08:00
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
*
|
2018-09-24 12:48:42 +08:00
|
|
|
* Traits that build points.
|
2016-12-05 05:44:42 +08:00
|
|
|
*
|
|
|
|
*/
|
2017-08-03 01:37:44 +08:00
|
|
|
impl<N: Scalar + Bounded, D: DimName> Bounded for Point<N, D>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<N, D>,
|
|
|
|
{
|
2016-12-05 05:44:42 +08:00
|
|
|
#[inline]
|
|
|
|
fn max_value() -> Self {
|
2017-08-03 01:37:44 +08:00
|
|
|
Self::from_coordinates(VectorN::max_value())
|
2016-12-05 05:44:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn min_value() -> Self {
|
2017-08-03 01:37:44 +08:00
|
|
|
Self::from_coordinates(VectorN::min_value())
|
2016-12-05 05:44:42 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-23 05:58:14 +08:00
|
|
|
impl<N: Scalar, D: DimName> Distribution<Point<N, D>> for Standard
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<N, D>,
|
2018-05-23 05:58:14 +08:00
|
|
|
Standard: Distribution<N>,
|
2018-02-02 19:26:35 +08:00
|
|
|
{
|
2016-12-05 05:44:42 +08:00
|
|
|
#[inline]
|
2018-05-23 05:58:14 +08:00
|
|
|
fn sample<'a, G: Rng + ?Sized>(&self, rng: &mut G) -> Point<N, D> {
|
|
|
|
Point::from_coordinates(rng.gen::<VectorN<N, D>>())
|
2016-12-05 05:44:42 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-02-02 19:26:35 +08:00
|
|
|
#[cfg(feature = "arbitrary")]
|
2017-08-03 01:37:44 +08:00
|
|
|
impl<N: Scalar + Arbitrary + Send, D: DimName> Arbitrary for Point<N, D>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<N, D>,
|
|
|
|
<DefaultAllocator as Allocator<N, D>>::Buffer: Send,
|
|
|
|
{
|
2016-12-05 05:44:42 +08:00
|
|
|
#[inline]
|
|
|
|
fn arbitrary<G: Gen>(g: &mut G) -> Self {
|
2017-08-03 01:37:44 +08:00
|
|
|
Point::from_coordinates(VectorN::arbitrary(g))
|
2016-12-05 05:44:42 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
*
|
|
|
|
* Small points construction from components.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
macro_rules! componentwise_constructors_impl(
|
|
|
|
($($D: ty, $($args: ident:$irow: expr),*);* $(;)*) => {$(
|
2017-08-03 01:37:44 +08:00
|
|
|
impl<N: Scalar> Point<N, $D>
|
|
|
|
where DefaultAllocator: Allocator<N, $D> {
|
2016-12-05 05:44:42 +08:00
|
|
|
/// Initializes this matrix from its components.
|
|
|
|
#[inline]
|
2017-08-03 01:37:44 +08:00
|
|
|
pub fn new($($args: N),*) -> Point<N, $D> {
|
2016-12-05 05:44:42 +08:00
|
|
|
unsafe {
|
|
|
|
let mut res = Self::new_uninitialized();
|
|
|
|
$( *res.get_unchecked_mut($irow) = $args; )*
|
|
|
|
|
|
|
|
res
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
)*}
|
|
|
|
);
|
|
|
|
|
|
|
|
componentwise_constructors_impl!(
|
|
|
|
U1, x:0;
|
|
|
|
U2, x:0, y:1;
|
|
|
|
U3, x:0, y:1, z:2;
|
|
|
|
U4, x:0, y:1, z:2, w:3;
|
|
|
|
U5, x:0, y:1, z:2, w:3, a:4;
|
|
|
|
U6, x:0, y:1, z:2, w:3, a:4, b:5;
|
|
|
|
);
|
2018-04-01 03:42:22 +08:00
|
|
|
|
|
|
|
macro_rules! from_array_impl(
|
|
|
|
($($D: ty, $len: expr);*) => {$(
|
2018-05-27 18:25:58 +08:00
|
|
|
impl <N: Scalar> From<[N; $len]> for Point<N, $D> {
|
|
|
|
fn from (coords: [N; $len]) -> Self {
|
2018-04-01 03:42:22 +08:00
|
|
|
Point::from_coordinates(coords.into())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
)*}
|
|
|
|
);
|
|
|
|
|
2018-05-27 18:25:58 +08:00
|
|
|
from_array_impl!(U1, 1; U2, 2; U3, 3; U4, 4; U5, 5; U6, 6);
|