





Synopsis 

bra_ket :: (Scalar a, Num a) => [a] > [a] > a   class Scalar a where    norm1 :: Num a => [a] > a   norminf :: (Num a, Ord a) => [a] > a   matnorm1 :: (Num a, Ord a) => [[a]] > a   matnorminf :: (Num a, Ord a) => [[a]] > a   sum_product :: Num a => [a] > [a] > a   normalized :: (Scalar a, Fractional a) => [a] > [a]   transposed :: [[a]] > [[a]]   adjoint :: Scalar a => [[a]] > [[a]]   matrix_matrix :: Num a => [[a]] > [[a]] > [[a]]   triangle_matrix' :: Num a => [[a]] > [[a]] > [[a]]   matrix_ket :: Num a => [[a]] > [a] > [a]   bra_matrix :: (Scalar a, Num a) => [a] > [[a]] > [a]   bra_matrix_ket :: (Scalar a, Num a) => [a] > [[a]] > [a] > a   scalar_matrix :: Num a => a > [[a]] > [[a]]   orthogonals :: (Scalar a, Fractional a) => [a] > [[a]]   gram_schmidt :: (Scalar a, Fractional a) => [[a]] > [a] > [a]   one_ket_triangle :: (Scalar a, Fractional a) => [[a]] > [a] > [([a], a)]   one_ket_solution :: (Fractional a, Scalar a) => [[a]] > [a] > [a]   many_kets_triangle :: (Scalar a, Fractional a) => [[a]] > [[a]] > [([a], [a])]   inverse :: (Scalar a, Fractional a) => [[a]] > [[a]]   factors_QR :: (Fractional a, Scalar a) => [[a]] > ([[a]], [[a]])   determinant :: (Fractional a, Scalar a) => [[a]] > a   determinantNaive :: Num a => [[a]] > a   determinantClow :: Num a => [[a]] > a   newClow :: Num a => [[a]] > [[a]] > [a]   extendClow :: Num a => [[a]] > [[a]] > [[a]]   longerClow :: Num a => [[a]] > [[a]] > [[a]]   nest :: Int > (a > a) > a > a   removeEach :: [a] > [[a]]   alternate :: Num a => [a] > [a]   parityFlip :: Num a => Int > a > a   scaleVec :: Num a => a > [a] > [a]   addVec :: Num a => [a] > [a] > [a]   sumVec :: Num a => [[a]] > [a]   similar_to :: (Fractional a, Scalar a) => [[a]] > [[a]]   add_to_diagonal :: Num a => a > [[a]] > [[a]]   unit_matrix :: Num a => Int > [[a]]   unit_vector :: Num a => Int > Int > [a]   diagonals :: [[a]] > [a] 


Documentation 

bra_ket :: (Scalar a, Num a) => [a] > [a] > a 

class Scalar a where 
 Methods  coupled :: a > a   norm :: [a] > a   almostZero :: a > Bool   scaled :: [a] > [a] 
  Instances  


norm1 :: Num a => [a] > a 

norminf :: (Num a, Ord a) => [a] > a 

matnorm1 :: (Num a, Ord a) => [[a]] > a 

matnorminf :: (Num a, Ord a) => [[a]] > a 

sum_product :: Num a => [a] > [a] > a 

normalized :: (Scalar a, Fractional a) => [a] > [a] 

transposed :: [[a]] > [[a]] 

adjoint :: Scalar a => [[a]] > [[a]] 

matrix_matrix :: Num a => [[a]] > [[a]] > [[a]] 

triangle_matrix' :: Num a => [[a]] > [[a]] > [[a]] 

matrix_ket :: Num a => [[a]] > [a] > [a] 

bra_matrix :: (Scalar a, Num a) => [a] > [[a]] > [a] 

bra_matrix_ket :: (Scalar a, Num a) => [a] > [[a]] > [a] > a 

scalar_matrix :: Num a => a > [[a]] > [[a]] 

orthogonals :: (Scalar a, Fractional a) => [a] > [[a]] 

gram_schmidt :: (Scalar a, Fractional a) => [[a]] > [a] > [a] 

one_ket_triangle :: (Scalar a, Fractional a) => [[a]] > [a] > [([a], a)] 

one_ket_solution :: (Fractional a, Scalar a) => [[a]] > [a] > [a] 

many_kets_triangle :: (Scalar a, Fractional a) => [[a]] > [[a]] > [([a], [a])] 

inverse :: (Scalar a, Fractional a) => [[a]] > [[a]] 

factors_QR :: (Fractional a, Scalar a) => [[a]] > ([[a]], [[a]]) 

determinant :: (Fractional a, Scalar a) => [[a]] > a 

determinantNaive :: Num a => [[a]] > a 

determinantClow :: Num a => [[a]] > a 

newClow :: Num a => [[a]] > [[a]] > [a] 

extendClow :: Num a => [[a]] > [[a]] > [[a]] 

longerClow :: Num a => [[a]] > [[a]] > [[a]] 

nest :: Int > (a > a) > a > a 
Compositional power of a function,
i.e. apply the function n times to a value.


removeEach :: [a] > [[a]] 

alternate :: Num a => [a] > [a] 

parityFlip :: Num a => Int > a > a 

scaleVec :: Num a => a > [a] > [a] 
Weight a list of numbers by a scalar.


addVec :: Num a => [a] > [a] > [a] 
Add corresponding numbers of two lists.


sumVec :: Num a => [[a]] > [a] 
Add some lists.


similar_to :: (Fractional a, Scalar a) => [[a]] > [[a]] 

add_to_diagonal :: Num a => a > [[a]] > [[a]] 

unit_matrix :: Num a => Int > [[a]] 

unit_vector :: Num a => Int > Int > [a] 

diagonals :: [[a]] > [a] 

Produced by Haddock version 0.8 