From d4ee6513058a4c941d819348f20d78f3e55c2c67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Crozet?= <developer@crozet.re>
Date: Thu, 3 Oct 2013 00:45:50 +0200
Subject: [PATCH] Move the Basis trait inheritance from VecExt to
 AlgebraicVecExt.

The Basis trait cannot be implemented if the vector is not algebraic anyway.
---
 src/traits/structure.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/traits/structure.rs b/src/traits/structure.rs
index 2343acd3..d928f711 100644
--- a/src/traits/structure.rs
+++ b/src/traits/structure.rs
@@ -36,13 +36,13 @@ pub trait AlgebraicVec<N: Algebraic>: Vec<N> + Norm<N> {
 
 /// Trait grouping uncommon, low-level and borderline (from the mathematical point of view)
 /// operations on vectors.
-pub trait VecExt<N>: Vec<N> + Basis + Indexable<uint, N> + Iterable<N> + Round +
+pub trait VecExt<N>: Vec<N> + Indexable<uint, N> + Iterable<N> + Round +
                      UniformSphereSample + ScalarAdd<N> + ScalarSub<N> + Bounded + Orderable
 { }
 
 /// Trait grouping uncommon, low-level and borderline (from the mathematical point of view)
 /// operations on vectors.
-pub trait AlgebraicVecExt<N: Algebraic>: AlgebraicVec<N> + VecExt<N> { }
+pub trait AlgebraicVecExt<N: Algebraic>: AlgebraicVec<N> + VecExt<N> + Basis { }
 
 impl<N, V: Dim + Sub<V, V> + Add<V, V> + Neg<V> + Zero + Eq + Mul<N, V> + Div<N, V> + Dot<N>>
 Vec<N> for V { }
@@ -50,11 +50,11 @@ Vec<N> for V { }
 impl<N: Algebraic, V: Vec<N> + Norm<N>> AlgebraicVec<N> for V { }
 
 impl<N,
-     V: Vec<N> + Basis + Indexable<uint, N> + Iterable<N> + Round +
+     V: Vec<N> + Indexable<uint, N> + Iterable<N> + Round +
         UniformSphereSample + ScalarAdd<N> + ScalarSub<N> + Bounded + Orderable>
 VecExt<N> for V { }
 
-impl<N: Algebraic, V: AlgebraicVec<N> + VecExt<N>> AlgebraicVecExt<N> for V { }
+impl<N: Algebraic, V: AlgebraicVec<N> + VecExt<N> + Basis> AlgebraicVecExt<N> for V { }
 
 /// Trait of vectors which can be converted to another vector. Used to change the type of a vector
 /// components.