mirror of
https://gitlab.com/scemama/QCaml.git
synced 2024-08-31 08:43:41 +02:00
82 lines
2.4 KiB
OCaml
82 lines
2.4 KiB
OCaml
(**
|
|
A spin-determinant is one of the two determinants in the Waller-Hartree
|
|
double determinant representation of a Slater determinant. It is represented
|
|
as a bit string and a phase factor.
|
|
*)
|
|
|
|
type t
|
|
type hole = int
|
|
type particle = int
|
|
|
|
(** {1 Accessors}. *)
|
|
|
|
val phase : t -> Phase.t
|
|
(** Phase factor.
|
|
@raise Invalid_argument if the spin-determinant is [None].
|
|
*)
|
|
|
|
val bitstring : t -> Z.t
|
|
(** Bit string.
|
|
@raise Invalid_argument if the spin-determinant is [None].
|
|
*)
|
|
|
|
val is_none : t -> bool
|
|
(** Tests if a spin-determinant is [None]. *)
|
|
|
|
val negate_phase : t -> t
|
|
(** Returns a spin-determinant with the phase reversed. *)
|
|
|
|
|
|
(** {1 Second quantization operators} *)
|
|
|
|
val vac : t
|
|
(** Vacuum state, [vac = Some ]{% $|\rangle$ %} *)
|
|
|
|
val creation : particle -> t -> t
|
|
(** [creation p] is the creation operator {% $a^\dagger_p$ %}. *)
|
|
|
|
val annihilation : hole -> t -> t
|
|
(** [annihilation h] is the annihilation operator {% $a_h$ %}. *)
|
|
|
|
val single_excitation : hole -> particle -> t -> t
|
|
(** Single excitation operator {% $T_h^p = a^\dagger_p a_h$ %}. *)
|
|
|
|
val double_excitation : hole -> particle -> hole -> particle -> t -> t
|
|
(** Double excitation operator {% $T_{hh'}^{pp'} = a^\dagger_p a^\dagger_{p'} a_{h'} a_h$ %}. *)
|
|
|
|
val degree : t -> t -> int
|
|
(** Returns degree of excitation between two spin-determinants. *)
|
|
|
|
val holes_of : t -> t -> int list
|
|
(** Returns the list of holes in the excitation from one determinant to another. *)
|
|
|
|
val particles_of : t -> t -> int list
|
|
(** Returns the list of particles in the excitation from one determinant to another. *)
|
|
|
|
val holes_particles_of : t -> t -> (int*int) list
|
|
(** Returns the list of pairs of holes/particles in the excitation from one determinant to
|
|
another. *)
|
|
|
|
(** {1 Creation} *)
|
|
|
|
val of_bitstring : ?phase:Phase.t -> Z.t -> t
|
|
(** Creates from a bitstring and an optional phase.*)
|
|
|
|
val of_list : int list -> t
|
|
(** Builds a spin-determinant from a list of orbital indices. If the creation of the
|
|
spin-determinant is not possible because of Pauli's exclusion principle, a [None]
|
|
spin-determinant is returned. *)
|
|
|
|
val to_list : t -> int list
|
|
(** Transforms a spin-determinant into a list of orbital indices. *)
|
|
|
|
(** {1 Printers}. *)
|
|
|
|
val pp_spindet : int -> Format.formatter -> t -> unit
|
|
(** First [int] is the number of MOs to print *)
|
|
|
|
|
|
(** {1 Unit testing} *)
|
|
|
|
val test_case : unit -> (string * [> `Quick ] * (unit -> unit)) list
|