numeric-quest-0.1.1.2: Math and quantum mechanics

Orthogonals

Synopsis

# Documentation

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

class Scalar a whereSource

Methods

coupled :: a -> aSource

norm :: [a] -> aSource

almostZero :: a -> BoolSource

scaled :: [a] -> [a]Source

Instances

 Scalar Double Scalar Float Integral a => Scalar (Ratio a) RealFloat a => Scalar (Complex a)

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

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

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

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

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

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

scaled' :: (Fractional t, Ord t) => [t] -> [t]Source

transposed :: [[a]] -> [[a]]Source

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

matrix_zipWith :: (a -> b -> c) -> [[a]] -> [[b]] -> [[c]]Source

add_matrices :: Num a => t -> t1 -> [[a]] -> [[a]] -> [[a]]Source

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

matrix_matrix' :: Num a => [[a]] -> [[a]] -> [[a]]Source

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

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

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

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

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

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

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

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

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

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

many_kets_solution :: (Scalar a, Fractional a) => [[a]] -> [[a]] -> [[a]]Source

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

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

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

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

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

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

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

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

nest :: Int -> (a -> a) -> a -> aSource

Compositional power of a function, i.e. apply the function n times to a value.

removeEach :: [a] -> [[a]]Source

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

parityFlip :: Num a => Int -> a -> aSource

scaleVec :: Num a => a -> [a] -> [a]Source

Weight a list of numbers by a scalar.

addVec :: Num a => [a] -> [a] -> [a]Source

Add corresponding numbers of two lists.

sumVec :: Num a => [[a]] -> [a]Source

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

iterated_eigenvalues :: (Scalar a1, Fractional a1, Num a) => [[a1]] -> a -> [[a1]]Source

eigenvalues :: (Scalar a1, Fractional a1, Num a) => [[a1]] -> a -> [a1]Source

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

eigenkets :: (Scalar a, Fractional a) => [[a]] -> [a] -> [[a]]Source

eigenket' :: (Scalar a, Fractional a) => [[a]] -> a -> a -> [a] -> [a]Source

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

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

diagonals :: [[a]] -> [a]Source