Quantum

Quantum Computing Simulator in Elm

Types

type Ket a

= Ket (Vector a)

Ket Type

type Bra a

= Bra (Matrix a)

Bra Type

Values

ket0 : Ket Float

Ket representing zero state

ket1 : Ket Float

Ket representing one state

ketPlus : Ket Float

Ket representing + state

ketMinus : Ket Float

Ket representing + state

ketComplex0 : Ket (ComplexNumber Float)

Ket representing zero state with complex numbers

ketComplex1 : Ket (ComplexNumber Float)

Ket representing one state with complex numbers

ketComplexPlus : Ket (ComplexNumber Float)

Ket representing + state with complex numbers

ketComplexMinus : Ket (ComplexNumber Float)

Ket representing + state with complex numbers

Unitary Operations

scalarMultiplication : Field a -> a -> Ket a -> Ket a

Multiply a Ket by a Scalar

dimension : Ket a -> Int

Count of number of elements in a Ket

sum : Monoid a -> Ket a -> a

Calculate the sum of a Ket

foldl : (a -> b -> b) -> b -> Ket a -> b

Left fold over a Ket

Binary Operations

add : Field a -> Ket a -> Ket a -> Ket a

Add two Kets

Quantum Operators

h : Matrix Float

Hadamard Operation

x : Matrix Float

NOT Operation

probabilityOfState : InnerProductSpace a -> Bra a -> Ket a -> Result String a

Calculate the probability of end state, the Bra, with given start state, the Ket

multiplyHermitianMatrixKet :

InnerProductSpace a

-> HermitianMatrix a

-> Ket a

-> Result String (Vector a)

Multiply a Vector by a Matrix

Manipulation

getAt : Int -> Ket a -> Maybe a

Get the value in a Ket at the specified index

Modules

Quantum

jonathanfishbein1/elm-quantum/3.3.0