diff --git a/Data/Tensor/TypeLevel/Axis.hs b/Data/Tensor/TypeLevel/Axis.hs
--- a/Data/Tensor/TypeLevel/Axis.hs
+++ b/Data/Tensor/TypeLevel/Axis.hs
@@ -4,7 +4,7 @@
 -- > import qualified Language.Paraiso.Axis as Axis
 
 module Data.Tensor.TypeLevel.Axis
-       (dimension, next, prev, all, allFrom, others)
+       (dimension, next, prev, all, allFrom, others, fromVector)
     where
 
 import           Data.Tensor.TypeLevel hiding (dimension)
@@ -39,3 +39,7 @@
 others :: (Vector v) => Axis v -> [Axis v]
 others axis = let dim = dimension axis in
               map head [[Axis $ (axisIndex axis+i) `mod` dim, axis] | i<-[1..dim-1]]
+
+-- | All the axes belonging to the vector.
+fromVector :: (Vector v) => v a -> [Axis v]
+fromVector x = let dim = T.dimension x in [Axis i | i<-[0..dim-1]]
diff --git a/typelevel-tensor.cabal b/typelevel-tensor.cabal
--- a/typelevel-tensor.cabal
+++ b/typelevel-tensor.cabal
@@ -16,7 +16,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.1.0.1
+Version:             0.1.0.2
 
 -- A short (one-line) description of the package.
 Synopsis:            Tensors whose ranks and dimensions type-inferred and type-checked.