Physics.Learn.Ket

Basic data types

type C

i

magnitude

data Ket

data Bra

data Operator

Kets for spin-1/2 particles

xp

xm

yp

ym

zp

zm

np

nm

Operators for spin-1/2 particles

sx

sy

sz

sn

sn'

Quantum Dynamics

timeEvOp

timeEv

Composition

class Kron a

Measurement

possibleOutcomes

outcomesProjectors

outcomesProbabilities

Generic multiplication

class Mult a b c

Adjoint operation

class Dagger a b

Normalization

class HasNorm a

Representation

class Representable a b

Orthonormal bases

data OrthonormalBasis

makeOB

listBasis

size

Orthonormal bases for spin-1/2 particles

xBasis

yBasis

zBasis

nBasis