Quantum

Quantum Computing Simulator in Elm

Types

type Ket a

= Ket (Vector a)

Ket Type

type Bra a

= Bra (Matrix a)

Bra Type

ket0 : Ket Float

Ket representing zero state

ket1 : Ket Float

Ket representing one state

Ket representing + state

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

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

Multiply a Ket by a Scalar

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

Add two Kets

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