Quantum

Quantum Computing Simulator in Elm

Types

type Ket a

Ket Type

type Bra a

Bra Type

ket : Monoid a -> Vector a -> Result String (Ket a)

Create Ket

bra : Ket a -> Bra a

Create Bra

ket0 : Ket Float

Ket representing zero state

ket1 : Ket Float

Ket representing one state

Ket representing + state

Ket representing + state

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

Multiply a Ket by a Scalar

Dimension of Ket

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