2014-09-17 14:57:12 +02:00
|
|
|
open Core.Std;;
|
2014-09-17 23:47:13 +02:00
|
|
|
open Qptypes;;
|
2014-09-17 14:57:12 +02:00
|
|
|
|
2014-10-25 21:24:21 +02:00
|
|
|
type t = (Symmetry.Xyz.t * Gto.t * Nucl_number.t ) list with sexp
|
2014-09-17 14:57:12 +02:00
|
|
|
|
|
|
|
let of_basis b =
|
|
|
|
let rec do_work accu = function
|
|
|
|
| [] -> accu
|
2014-09-17 23:47:13 +02:00
|
|
|
| (g,n)::tail ->
|
2014-09-17 14:57:12 +02:00
|
|
|
begin
|
|
|
|
let new_accu =
|
|
|
|
Symmetry.Xyz.of_symmetry g.Gto.sym
|
2014-09-17 23:47:13 +02:00
|
|
|
|> List.map ~f:(fun x-> (x,g,n))
|
2014-09-17 14:57:12 +02:00
|
|
|
in
|
|
|
|
do_work (new_accu@accu) tail
|
|
|
|
end
|
|
|
|
in
|
|
|
|
do_work [] b
|
|
|
|
|> List.rev
|
|
|
|
;;
|
|
|
|
|
2014-10-26 12:46:17 +01:00
|
|
|
let to_basis b =
|
|
|
|
let rec do_work accu = function
|
|
|
|
| [] -> List.rev accu
|
|
|
|
| (s,g,n)::tail ->
|
|
|
|
let first_sym =
|
|
|
|
Symmetry.Xyz.of_symmetry g.Gto.sym
|
|
|
|
|> List.hd_exn
|
|
|
|
in
|
|
|
|
let new_accu =
|
|
|
|
if ( s = first_sym ) then
|
|
|
|
(g,n)::accu
|
|
|
|
else
|
|
|
|
accu
|
|
|
|
in
|
|
|
|
do_work new_accu tail
|
|
|
|
in
|
|
|
|
do_work [] b
|
|
|
|
;;
|
2014-09-17 14:57:12 +02:00
|
|
|
|
|
|
|
let to_string b =
|
2014-10-25 21:24:21 +02:00
|
|
|
let middle = List.map ~f:(fun (x,y,z) ->
|
|
|
|
"( "^((Int.to_string (Nucl_number.to_int z)))^", "^
|
|
|
|
(Symmetry.Xyz.to_string x)^", "^(Gto.to_string y)
|
|
|
|
^" )"
|
2014-09-17 14:57:12 +02:00
|
|
|
) b
|
2014-10-25 21:24:21 +02:00
|
|
|
|> String.concat ~sep:",\n"
|
|
|
|
in "("^middle^")"
|
2014-09-17 14:57:12 +02:00
|
|
|
;;
|
2014-10-26 17:29:11 +01:00
|
|
|
|
|
|
|
include To_md5;;
|
|
|
|
let to_md5 = to_md5 sexp_of_t
|
|
|
|
;;
|
|
|
|
|