2018-02-23 18:44:31 +01:00
|
|
|
open Util
|
|
|
|
open Constants
|
|
|
|
open Coordinate
|
|
|
|
|
|
|
|
type t = {
|
2018-03-13 18:56:28 +01:00
|
|
|
expo : float array; (** Array of exponents {% $\alpha_i$ %} *)
|
|
|
|
coef : float array; (** Array of contraction coefficients {% $d_i$ %} *)
|
|
|
|
center : Coordinate.t; (** Coordinate of the center {% $\mathbf{A} = (X_A,Y_A,Z_A)$ %} *)
|
|
|
|
totAngMom : AngularMomentum.t; (** Total angular momentum : {% $l = n_x + n_y + n_z$ %} *)
|
2018-03-14 21:51:27 +01:00
|
|
|
norm_coef : float array; (** Normalization coefficients of primitive functions {% $1/\mathcal{N}_i$ %} *)
|
2018-03-13 18:56:28 +01:00
|
|
|
norm_coef_scale : float array; (** Scaling factors {% $f_i$ %}, given in the same order as [AngularMomentum.zkey_array totAngMom]. *)
|
|
|
|
index : int; (** Index in the basis set, represented as an array of contracted shells. *)
|
2018-03-14 21:51:27 +01:00
|
|
|
prim : PrimitiveShell.t array;
|
2018-02-23 18:44:31 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
module Am = AngularMomentum
|
2018-03-14 16:22:08 +01:00
|
|
|
module Ps = PrimitiveShell
|
2018-02-23 18:44:31 +01:00
|
|
|
|
2018-03-13 18:24:00 +01:00
|
|
|
|
2018-03-14 16:22:08 +01:00
|
|
|
let make ?(index=0) lc =
|
|
|
|
assert (Array.length lc > 0);
|
2018-02-23 18:44:31 +01:00
|
|
|
|
2018-03-14 16:22:08 +01:00
|
|
|
let coef = Array.map fst lc
|
|
|
|
and prim = Array.map snd lc
|
|
|
|
in
|
2018-02-23 18:44:31 +01:00
|
|
|
|
2018-03-14 16:22:08 +01:00
|
|
|
let center = Ps.center prim.(0) in
|
|
|
|
let rec unique_center = function
|
|
|
|
| 0 -> true
|
|
|
|
| i -> if Ps.center prim.(i) = center then unique_center (i-1) else false
|
2018-02-23 18:44:31 +01:00
|
|
|
in
|
2018-03-14 16:22:08 +01:00
|
|
|
if not (unique_center (Array.length prim - 1)) then
|
|
|
|
invalid_arg "ContractedShell.make Coordinate.t differ";
|
|
|
|
|
|
|
|
let totAngMom = Ps.totAngMom prim.(0) in
|
|
|
|
let rec unique_angmom = function
|
|
|
|
| 0 -> true
|
|
|
|
| i -> if Ps.totAngMom prim.(i) = totAngMom then unique_angmom (i-1) else false
|
2018-02-23 18:44:31 +01:00
|
|
|
in
|
2018-03-14 16:22:08 +01:00
|
|
|
if not (unique_angmom (Array.length prim - 1)) then
|
|
|
|
invalid_arg "ContractedShell.make: AngularMomentum.t differ";
|
|
|
|
|
|
|
|
let expo = Array.map Ps.expo prim in
|
|
|
|
|
2018-02-23 18:44:31 +01:00
|
|
|
let norm_coef =
|
2018-03-14 16:22:08 +01:00
|
|
|
Array.map Ps.norm_coef prim
|
2018-02-23 18:44:31 +01:00
|
|
|
in
|
2018-03-14 16:22:08 +01:00
|
|
|
let norm_coef_scale = Ps.norm_coef_scale prim.(0)
|
2018-02-23 18:44:31 +01:00
|
|
|
in
|
2018-03-14 16:22:08 +01:00
|
|
|
{ index ; expo ; coef ; center ; totAngMom ; norm_coef ;
|
2018-03-14 21:51:27 +01:00
|
|
|
norm_coef_scale ; prim }
|
2018-02-23 18:44:31 +01:00
|
|
|
|
|
|
|
|
|
|
|
let with_index a i =
|
|
|
|
{ a with index = i }
|
|
|
|
|
|
|
|
|
|
|
|
let to_string s =
|
|
|
|
let coord = s.center in
|
|
|
|
let open Printf in
|
|
|
|
(match s.totAngMom with
|
|
|
|
| Am.S -> sprintf "%3d " (s.index+1)
|
2018-03-13 18:24:00 +01:00
|
|
|
| _ -> sprintf "%3d-%-3d" (s.index+1) (s.index+(Array.length s.norm_coef_scale))
|
2018-02-23 18:44:31 +01:00
|
|
|
) ^
|
|
|
|
( sprintf "%1s %8.3f %8.3f %8.3f " (Am.to_string s.totAngMom)
|
|
|
|
(get X coord) (get Y coord) (get Z coord) ) ^
|
|
|
|
(Array.map2 (fun e c -> sprintf "%16.8e %16.8e" e c) s.expo s.coef
|
|
|
|
|> Array.to_list |> String.concat (sprintf "\n%36s" " ") )
|
|
|
|
|
|
|
|
|
|
|
|
|
2018-03-13 18:56:28 +01:00
|
|
|
let expo x = x.expo
|
2018-02-23 18:44:31 +01:00
|
|
|
|
2018-03-13 18:56:28 +01:00
|
|
|
let coef x = x.coef
|
|
|
|
|
|
|
|
let center x = x.center
|
|
|
|
|
|
|
|
let totAngMom x = x.totAngMom
|
|
|
|
|
|
|
|
let size x = Array.length x.coef
|
|
|
|
|
|
|
|
let norm_coef x = x.norm_coef
|
|
|
|
|
|
|
|
let norm_coef_scale x = x.norm_coef_scale
|
|
|
|
|
|
|
|
let index x = x.index
|
|
|
|
|
|
|
|
let size_of_shell x = Array.length x.norm_coef_scale
|
2018-03-14 21:51:27 +01:00
|
|
|
|
|
|
|
let prim x = x.prim
|