Documentation

type Parameterized = ExceptT TBError (State Parameters) Source

data Parameters Source

type Lattice = [Vector Double] Source

data TBError Source

type Grid = Map GridIndex Source

type BandIndex = Int Source

type Filling = BandIndex Source

data Meshing Source

data GridIndex Source

type Chern = Double Source

type Curvature = Double Source

type Wavevector = Vector Double Source

type KPath = [(String, Wavevector)] Source

type Hamiltonian = Wavevector -> Matrix (Complex Double) Source

type Magnetization = Double Source

type Moment = Vector Double Source

type ChemEnergy = Double Source

type Energy = Double Source

type Eigenstate = Vector (Complex Double) Source

type Eigenbra = Matrix (Complex Double) Source

type Eigenket = Matrix (Complex Double) Source

type AFOrder = Complex Double Source

type Hopping = Complex Double Source

type OnSite = Complex Double Source

type Rashba = Complex Double Source

type SOC = Complex Double Source

type Parameterizable = ExceptT TBError (State Parameters) Source

data SiteData Source

type Displacement = Vector Double Source

type CellGraph = Gr SiteData Displacement Source

type AdjMatrix = Gr (Matrix (Complex Double)) (Matrix (Complex Double)) Source

type Term = String -> CellGraph -> Parameterized (Wavevector -> AdjMatrix) Source

sigmaX :: Matrix (Complex Double) Source

sigmaY :: Matrix (Complex Double) Source

sigmaZ :: Matrix (Complex Double) Source