mirror of
https://gitlab.com/scemama/QCaml.git
synced 2024-12-23 04:43:32 +01:00
2340 lines
117 KiB
HTML
2340 lines
117 KiB
HTML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
|
|
<head>
|
|
<!-- 2021-01-01 Fri 16:38 -->
|
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
<title>Common</title>
|
|
<meta name="generator" content="Org mode" />
|
|
<meta name="author" content="Anthony Scemama" />
|
|
<style type="text/css">
|
|
<!--/*--><![CDATA[/*><!--*/
|
|
.title { text-align: center;
|
|
margin-bottom: .2em; }
|
|
.subtitle { text-align: center;
|
|
font-size: medium;
|
|
font-weight: bold;
|
|
margin-top:0; }
|
|
.todo { font-family: monospace; color: red; }
|
|
.done { font-family: monospace; color: green; }
|
|
.priority { font-family: monospace; color: orange; }
|
|
.tag { background-color: #eee; font-family: monospace;
|
|
padding: 2px; font-size: 80%; font-weight: normal; }
|
|
.timestamp { color: #bebebe; }
|
|
.timestamp-kwd { color: #5f9ea0; }
|
|
.org-right { margin-left: auto; margin-right: 0px; text-align: right; }
|
|
.org-left { margin-left: 0px; margin-right: auto; text-align: left; }
|
|
.org-center { margin-left: auto; margin-right: auto; text-align: center; }
|
|
.underline { text-decoration: underline; }
|
|
#postamble p, #preamble p { font-size: 90%; margin: .2em; }
|
|
p.verse { margin-left: 3%; }
|
|
pre {
|
|
border: 1px solid #ccc;
|
|
box-shadow: 3px 3px 3px #eee;
|
|
padding: 8pt;
|
|
font-family: monospace;
|
|
overflow: auto;
|
|
margin: 1.2em;
|
|
}
|
|
pre.src {
|
|
position: relative;
|
|
overflow: auto;
|
|
padding-top: 1.2em;
|
|
}
|
|
pre.src:before {
|
|
display: none;
|
|
position: absolute;
|
|
background-color: white;
|
|
top: -10px;
|
|
right: 10px;
|
|
padding: 3px;
|
|
border: 1px solid black;
|
|
}
|
|
pre.src:hover:before { display: inline;}
|
|
/* Languages per Org manual */
|
|
pre.src-asymptote:before { content: 'Asymptote'; }
|
|
pre.src-awk:before { content: 'Awk'; }
|
|
pre.src-C:before { content: 'C'; }
|
|
/* pre.src-C++ doesn't work in CSS */
|
|
pre.src-clojure:before { content: 'Clojure'; }
|
|
pre.src-css:before { content: 'CSS'; }
|
|
pre.src-D:before { content: 'D'; }
|
|
pre.src-ditaa:before { content: 'ditaa'; }
|
|
pre.src-dot:before { content: 'Graphviz'; }
|
|
pre.src-calc:before { content: 'Emacs Calc'; }
|
|
pre.src-emacs-lisp:before { content: 'Emacs Lisp'; }
|
|
pre.src-fortran:before { content: 'Fortran'; }
|
|
pre.src-gnuplot:before { content: 'gnuplot'; }
|
|
pre.src-haskell:before { content: 'Haskell'; }
|
|
pre.src-hledger:before { content: 'hledger'; }
|
|
pre.src-java:before { content: 'Java'; }
|
|
pre.src-js:before { content: 'Javascript'; }
|
|
pre.src-latex:before { content: 'LaTeX'; }
|
|
pre.src-ledger:before { content: 'Ledger'; }
|
|
pre.src-lisp:before { content: 'Lisp'; }
|
|
pre.src-lilypond:before { content: 'Lilypond'; }
|
|
pre.src-lua:before { content: 'Lua'; }
|
|
pre.src-matlab:before { content: 'MATLAB'; }
|
|
pre.src-mscgen:before { content: 'Mscgen'; }
|
|
pre.src-ocaml:before { content: 'Objective Caml'; }
|
|
pre.src-octave:before { content: 'Octave'; }
|
|
pre.src-org:before { content: 'Org mode'; }
|
|
pre.src-oz:before { content: 'OZ'; }
|
|
pre.src-plantuml:before { content: 'Plantuml'; }
|
|
pre.src-processing:before { content: 'Processing.js'; }
|
|
pre.src-python:before { content: 'Python'; }
|
|
pre.src-R:before { content: 'R'; }
|
|
pre.src-ruby:before { content: 'Ruby'; }
|
|
pre.src-sass:before { content: 'Sass'; }
|
|
pre.src-scheme:before { content: 'Scheme'; }
|
|
pre.src-screen:before { content: 'Gnu Screen'; }
|
|
pre.src-sed:before { content: 'Sed'; }
|
|
pre.src-sh:before { content: 'shell'; }
|
|
pre.src-sql:before { content: 'SQL'; }
|
|
pre.src-sqlite:before { content: 'SQLite'; }
|
|
/* additional languages in org.el's org-babel-load-languages alist */
|
|
pre.src-forth:before { content: 'Forth'; }
|
|
pre.src-io:before { content: 'IO'; }
|
|
pre.src-J:before { content: 'J'; }
|
|
pre.src-makefile:before { content: 'Makefile'; }
|
|
pre.src-maxima:before { content: 'Maxima'; }
|
|
pre.src-perl:before { content: 'Perl'; }
|
|
pre.src-picolisp:before { content: 'Pico Lisp'; }
|
|
pre.src-scala:before { content: 'Scala'; }
|
|
pre.src-shell:before { content: 'Shell Script'; }
|
|
pre.src-ebnf2ps:before { content: 'ebfn2ps'; }
|
|
/* additional language identifiers per "defun org-babel-execute"
|
|
in ob-*.el */
|
|
pre.src-cpp:before { content: 'C++'; }
|
|
pre.src-abc:before { content: 'ABC'; }
|
|
pre.src-coq:before { content: 'Coq'; }
|
|
pre.src-groovy:before { content: 'Groovy'; }
|
|
/* additional language identifiers from org-babel-shell-names in
|
|
ob-shell.el: ob-shell is the only babel language using a lambda to put
|
|
the execution function name together. */
|
|
pre.src-bash:before { content: 'bash'; }
|
|
pre.src-csh:before { content: 'csh'; }
|
|
pre.src-ash:before { content: 'ash'; }
|
|
pre.src-dash:before { content: 'dash'; }
|
|
pre.src-ksh:before { content: 'ksh'; }
|
|
pre.src-mksh:before { content: 'mksh'; }
|
|
pre.src-posh:before { content: 'posh'; }
|
|
/* Additional Emacs modes also supported by the LaTeX listings package */
|
|
pre.src-ada:before { content: 'Ada'; }
|
|
pre.src-asm:before { content: 'Assembler'; }
|
|
pre.src-caml:before { content: 'Caml'; }
|
|
pre.src-delphi:before { content: 'Delphi'; }
|
|
pre.src-html:before { content: 'HTML'; }
|
|
pre.src-idl:before { content: 'IDL'; }
|
|
pre.src-mercury:before { content: 'Mercury'; }
|
|
pre.src-metapost:before { content: 'MetaPost'; }
|
|
pre.src-modula-2:before { content: 'Modula-2'; }
|
|
pre.src-pascal:before { content: 'Pascal'; }
|
|
pre.src-ps:before { content: 'PostScript'; }
|
|
pre.src-prolog:before { content: 'Prolog'; }
|
|
pre.src-simula:before { content: 'Simula'; }
|
|
pre.src-tcl:before { content: 'tcl'; }
|
|
pre.src-tex:before { content: 'TeX'; }
|
|
pre.src-plain-tex:before { content: 'Plain TeX'; }
|
|
pre.src-verilog:before { content: 'Verilog'; }
|
|
pre.src-vhdl:before { content: 'VHDL'; }
|
|
pre.src-xml:before { content: 'XML'; }
|
|
pre.src-nxml:before { content: 'XML'; }
|
|
/* add a generic configuration mode; LaTeX export needs an additional
|
|
(add-to-list 'org-latex-listings-langs '(conf " ")) in .emacs */
|
|
pre.src-conf:before { content: 'Configuration File'; }
|
|
|
|
table { border-collapse:collapse; }
|
|
caption.t-above { caption-side: top; }
|
|
caption.t-bottom { caption-side: bottom; }
|
|
td, th { vertical-align:top; }
|
|
th.org-right { text-align: center; }
|
|
th.org-left { text-align: center; }
|
|
th.org-center { text-align: center; }
|
|
td.org-right { text-align: right; }
|
|
td.org-left { text-align: left; }
|
|
td.org-center { text-align: center; }
|
|
dt { font-weight: bold; }
|
|
.footpara { display: inline; }
|
|
.footdef { margin-bottom: 1em; }
|
|
.figure { padding: 1em; }
|
|
.figure p { text-align: center; }
|
|
.equation-container {
|
|
display: table;
|
|
text-align: center;
|
|
width: 100%;
|
|
}
|
|
.equation {
|
|
vertical-align: middle;
|
|
}
|
|
.equation-label {
|
|
display: table-cell;
|
|
text-align: right;
|
|
vertical-align: middle;
|
|
}
|
|
.inlinetask {
|
|
padding: 10px;
|
|
border: 2px solid gray;
|
|
margin: 10px;
|
|
background: #ffffcc;
|
|
}
|
|
#org-div-home-and-up
|
|
{ text-align: right; font-size: 70%; white-space: nowrap; }
|
|
textarea { overflow-x: auto; }
|
|
.linenr { font-size: smaller }
|
|
.code-highlighted { background-color: #ffff00; }
|
|
.org-info-js_info-navigation { border-style: none; }
|
|
#org-info-js_console-label
|
|
{ font-size: 10px; font-weight: bold; white-space: nowrap; }
|
|
.org-info-js_search-highlight
|
|
{ background-color: #ffff00; color: #000000; font-weight: bold; }
|
|
.org-svg { width: 90%; }
|
|
/*]]>*/-->
|
|
</style>
|
|
<link rel="stylesheet" type="text/css" href="https://fniessen.github.io/org-html-themes/src/readtheorg_theme/css/htmlize.css"/>
|
|
<link rel="stylesheet" type="text/css" href="https://fniessen.github.io/org-html-themes/src/readtheorg_theme/css/readtheorg.css"/>
|
|
<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.3/jquery.min.js"></script>
|
|
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/js/bootstrap.min.js"></script>
|
|
<script type="text/javascript" src="https://fniessen.github.io/org-html-themes/src/lib/js/jquery.stickytableheaders.min.js"></script>
|
|
<script type="text/javascript" src="https://fniessen.github.io/org-html-themes/src/readtheorg_theme/js/readtheorg.js"></script>
|
|
<script type="text/javascript">
|
|
// @license magnet:?xt=urn:btih:e95b018ef3580986a04669f1b5879592219e2a7a&dn=public-domain.txt Public Domain
|
|
<!--/*--><![CDATA[/*><!--*/
|
|
function CodeHighlightOn(elem, id)
|
|
{
|
|
var target = document.getElementById(id);
|
|
if(null != target) {
|
|
elem.classList.add("code-highlighted");
|
|
target.classList.add("code-highlighted");
|
|
}
|
|
}
|
|
function CodeHighlightOff(elem, id)
|
|
{
|
|
var target = document.getElementById(id);
|
|
if(null != target) {
|
|
elem.classList.remove("code-highlighted");
|
|
target.classList.remove("code-highlighted");
|
|
}
|
|
}
|
|
/*]]>*///-->
|
|
// @license-end
|
|
</script>
|
|
<script type="text/x-mathjax-config">
|
|
MathJax.Hub.Config({
|
|
displayAlign: "center",
|
|
displayIndent: "0em",
|
|
|
|
"HTML-CSS": { scale: 100,
|
|
linebreaks: { automatic: "false" },
|
|
webFont: "TeX"
|
|
},
|
|
SVG: {scale: 100,
|
|
linebreaks: { automatic: "false" },
|
|
font: "TeX"},
|
|
NativeMML: {scale: 100},
|
|
TeX: { equationNumbers: {autoNumber: "AMS"},
|
|
MultLineWidth: "85%",
|
|
TagSide: "right",
|
|
TagIndent: ".8em"
|
|
}
|
|
});
|
|
</script>
|
|
<script type="text/javascript"
|
|
src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS_HTML"></script>
|
|
</head>
|
|
<body>
|
|
<div id="content">
|
|
<h1 class="title">Common</h1>
|
|
<div id="table-of-contents">
|
|
<h2>Table of Contents</h2>
|
|
<div id="text-table-of-contents">
|
|
<ul>
|
|
<li><a href="#org25ab29e">1. Angular Momentum</a>
|
|
<ul>
|
|
<li><a href="#org3ea868c">1.1. Type</a></li>
|
|
<li><a href="#orgb0cbb20">1.2. Conversions</a></li>
|
|
<li><a href="#orgcb83545">1.3. Shell functions</a></li>
|
|
<li><a href="#orgd8aef10">1.4. Arithmetic</a></li>
|
|
<li><a href="#org01df443">1.5. Printers</a></li>
|
|
<li><a href="#orgac51640">1.6. <span class="todo TODO">TODO</span> Tests</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orga5805c3">2. Bit string</a>
|
|
<ul>
|
|
<li><a href="#org3bd7ae1">2.1. Type</a></li>
|
|
<li><a href="#org30b774f">2.2. General implementation</a></li>
|
|
<li><a href="#org6f9dfce">2.3. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orgd7dcbc8">3. Charge</a>
|
|
<ul>
|
|
<li><a href="#org8ad0965">3.1. Type</a></li>
|
|
<li><a href="#org8520b8f">3.2. Conversions</a></li>
|
|
<li><a href="#org4c56380">3.3. Simple operations</a></li>
|
|
<li><a href="#org0a63c06">3.4. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orgcf1f7fd">4. Command line</a>
|
|
<ul>
|
|
<li><a href="#org92a7091">4.1. Type</a></li>
|
|
<li><a href="#org3cd6e47">4.2. Mutable attributes</a></li>
|
|
<li><a href="#org320aa98">4.3. Query functions</a></li>
|
|
<li><a href="#org61f657e">4.4. Specification</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orgea6de0a">5. Constants</a>
|
|
<ul>
|
|
<li><a href="#org8dd04dc">5.1. Thresholds</a></li>
|
|
<li><a href="#org8387758">5.2. Mathematical constants</a></li>
|
|
<li><a href="#org108a9bd">5.3. Physical constants</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#org59ed36f">6. Coordinate</a>
|
|
<ul>
|
|
<li><a href="#org1f7b85c">6.1. Type</a></li>
|
|
<li><a href="#orgd6e8c83">6.2. Creation</a></li>
|
|
<li><a href="#org335ca3c">6.3. Conversion</a></li>
|
|
<li><a href="#orgd5f8d27">6.4. Vector operations</a></li>
|
|
<li><a href="#orgefb3ff6">6.5. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orgcb9318f">7. Non-negative float</a>
|
|
<ul>
|
|
<li><a href="#orgd563762">7.1. Type</a></li>
|
|
<li><a href="#orga3900fc">7.2. Conversions</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orgc61d6af">8. Powers</a>
|
|
<ul>
|
|
<li><a href="#org1cfd4a6">8.1. Type</a></li>
|
|
<li><a href="#orgd33cf48">8.2. Conversions</a></li>
|
|
<li><a href="#org517f9b6">8.3. Operations</a></li>
|
|
<li><a href="#org6137d70">8.4. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#org40cccba">9. QCaml</a></li>
|
|
<li><a href="#org86e7860">10. Range</a>
|
|
<ul>
|
|
<li><a href="#org8f662b3">10.1. Type</a></li>
|
|
<li><a href="#orga9f0dfc">10.2. Conversion</a></li>
|
|
<li><a href="#org544d254">10.3. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orgc3ccc53">11. Spin</a>
|
|
<ul>
|
|
<li><a href="#org4d2531d">11.1. Type</a></li>
|
|
<li><a href="#orgaf9df0e">11.2. Functions</a></li>
|
|
<li><a href="#org0805857">11.3. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#orgfa403db">12. Util</a>
|
|
<ul>
|
|
<li><a href="#org0253eca">12.1. External C functions</a>
|
|
<ul>
|
|
<li><a href="#org70390cd">12.1.1. Erf</a></li>
|
|
<li><a href="#org81dcc90">12.1.2. Erfc</a></li>
|
|
<li><a href="#org146f96f">12.1.3. Gamma</a></li>
|
|
<li><a href="#org105e531">12.1.4. Popcnt</a></li>
|
|
<li><a href="#orgddbd857">12.1.5. Trailz</a></li>
|
|
<li><a href="#orged08e45">12.1.6. Leadz</a></li>
|
|
<li><a href="#org20dced2">12.1.7. Test</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#org3589774">12.2. General functions</a></li>
|
|
<li><a href="#orge9081ef">12.3. Functions related to the Boys function</a></li>
|
|
<li><a href="#org582e235">12.4. List functions</a></li>
|
|
<li><a href="#orgd39fe05">12.5. Array functions</a></li>
|
|
<li><a href="#orge2a24cb">12.6. Stream functions</a></li>
|
|
<li><a href="#org3f26496">12.7. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#org0953011">13. Zkey</a>
|
|
<ul>
|
|
<li><a href="#org5c77f54">13.1. Types</a></li>
|
|
<li><a href="#orgb07b216">13.2. Conversions</a></li>
|
|
<li><a href="#org5af02ca">13.3. Functions for hash tables</a></li>
|
|
<li><a href="#org35fc486">13.4. Printers</a></li>
|
|
</ul>
|
|
</li>
|
|
<li><a href="#org67d6591">14. Zmap</a>
|
|
<ul>
|
|
<li><a href="#orgc1fb2fb">14.1. Type</a></li>
|
|
</ul>
|
|
</li>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml" id="org8d2909b"><span class="org-string">"Utility functions used by all the other directories."</span>
|
|
</pre>
|
|
</div>
|
|
|
|
|
|
<div id="outline-container-org25ab29e" class="outline-2">
|
|
<h2 id="org25ab29e"><span class="section-number-2">1</span> Angular Momentum</h2>
|
|
<div class="outline-text-2" id="text-1">
|
|
<p>
|
|
Azimuthal quantum number, repsesented as \( s,p,d,\dots \) .
|
|
</p>
|
|
</div>
|
|
|
|
<div id="outline-container-org3ea868c" class="outline-3">
|
|
<h3 id="org3ea868c"><span class="section-number-3">1.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-1-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml" id="org36dc796"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span> <span class="org-tuareg-font-lock-operator">=</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">S</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">P</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">D</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">F</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">G</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">H</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">I</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">J</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">K</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">L</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">M</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">N</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">O</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Int</span> <span class="org-keyword">of</span> int
|
|
|
|
<span class="org-keyword">exception</span> <span class="org-tuareg-font-lock-constructor">Angular_momentum_error</span> <span class="org-keyword">of</span> string
|
|
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">kind</span> <span class="org-tuareg-font-lock-operator">=</span>
|
|
<span class="org-tuareg-font-lock-constructor">Singlet</span> <span class="org-keyword">of</span> t
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Doublet</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-operator">(</span>t <span class="org-tuareg-font-lock-operator">*</span> t<span class="org-tuareg-font-lock-operator">)</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Triplet</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-operator">(</span>t <span class="org-tuareg-font-lock-operator">*</span> t <span class="org-tuareg-font-lock-operator">*</span> t<span class="org-tuareg-font-lock-operator">)</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Quartet</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-operator">(</span>t <span class="org-tuareg-font-lock-operator">*</span> t <span class="org-tuareg-font-lock-operator">*</span> t <span class="org-tuareg-font-lock-operator">*</span> t<span class="org-tuareg-font-lock-operator">)</span>
|
|
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
An exception is raised when the <code>Angular_momentum.t</code> element can't
|
|
be created.
|
|
</p>
|
|
|
|
<p>
|
|
The <code>kind</code> is used to build shells, shell doublets, triplets or
|
|
quartets, use in the two-electron operators.
|
|
</p>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgb0cbb20" class="outline-3">
|
|
<h3 id="orgb0cbb20"><span class="section-number-3">1.2</span> Conversions</h3>
|
|
<div class="outline-text-3" id="text-1-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_char</span> <span class="org-tuareg-font-lock-operator">:</span> char <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_char</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> char
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_int</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_int</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_string</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> string
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>of_char</code></td>
|
|
<td class="org-left">Returns an <code>Angular_momentum.t</code> when a shell is given as a character (case insensitive)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>to_char</code></td>
|
|
<td class="org-left">Converts the angular momentum into a char</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_int</code></td>
|
|
<td class="org-left">Returns a shell given an \(l\) value.</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>to_int</code></td>
|
|
<td class="org-left">Returns the \(l_{max}\) value of the shell</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>to_string</code></td>
|
|
<td class="org-left">Converts the angular momentum into a string</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
|
|
<pre class="example" id="org4ebbb0f">
|
|
Angular_momentum.of_char 'p';;
|
|
- : Angular_momentum.t = P
|
|
|
|
Angular_momentum.(to_char P);;
|
|
- : char = 'P'
|
|
|
|
Angular_momentum.of_int 2;;
|
|
- : Angular_momentum.t = D
|
|
|
|
Angular_momentum.(to_int D);;
|
|
- : int = 2
|
|
|
|
Angular_momentum.(to_string D);;
|
|
- : string = "D"
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgcb83545" class="outline-3">
|
|
<h3 id="orgcb83545"><span class="section-number-3">1.3</span> Shell functions</h3>
|
|
<div class="outline-text-3" id="text-1-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">n_functions</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">zkey_array</span> <span class="org-tuareg-font-lock-operator">:</span> kind <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Zkey.</span>t array
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>n_functions</code></td>
|
|
<td class="org-left">Returns the number of cartesian functions in a shell.</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>zkey_array</code></td>
|
|
<td class="org-left">Array of <code>Zkey.t</code>, where each element is a a key associated with the the powers of \(x,y,z\).</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
|
|
<pre class="example" id="orgbd999a8">
|
|
Angular_momentum.(n_functions D) ;;
|
|
- : int = 6
|
|
|
|
Angular_momentum.( zkey_array (Doublet (P,S)) );;
|
|
- : Zkey.t array =
|
|
[|< 01125899906842624 | 1, 0, 0, 0, 0, 0 >;
|
|
< 01099511627776 | 0, 1, 0, 0, 0, 0 >;
|
|
< 01073741824 | 0, 0, 1, 0, 0, 0 >|]
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgd8aef10" class="outline-3">
|
|
<h3 id="orgd8aef10"><span class="section-number-3">1.4</span> Arithmetic</h3>
|
|
<div class="outline-text-3" id="text-1-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">+</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">-</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
</pre>
|
|
</div>
|
|
|
|
<pre class="example" id="org43dbb75">
|
|
Angular_momentum.(D + P);;
|
|
- : Angular_momentum.t = F
|
|
|
|
Angular_momentum.(F - P);;
|
|
- : Angular_momentum.t = D
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org01df443" class="outline-3">
|
|
<h3 id="org01df443"><span class="section-number-3">1.5</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-1-5">
|
|
<p>
|
|
Printers can print as a string (default) or as an integer.
|
|
</p>
|
|
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_string</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_int</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgac51640" class="outline-3">
|
|
<h3 id="orgac51640"><span class="section-number-3">1.6</span> <span class="todo TODO">TODO</span> Tests</h3>
|
|
</div>
|
|
</div>
|
|
<div id="outline-container-orga5805c3" class="outline-2">
|
|
<h2 id="orga5805c3"><span class="section-number-2">2</span> Bit string</h2>
|
|
<div class="outline-text-2" id="text-2">
|
|
<p>
|
|
We define here a data type to handle bit strings efficiently. When
|
|
the bit string contains less than 64 bits, it is stored internally
|
|
in a 63-bit integer and uses bitwise instructions. When more than
|
|
63 bits are required, the <code>zarith</code> library is used to consider the
|
|
bit string as a multi-precision integer.
|
|
</p>
|
|
</div>
|
|
|
|
|
|
<div id="outline-container-org3bd7ae1" class="outline-3">
|
|
<h3 id="org3bd7ae1"><span class="section-number-3">2.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-2-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org30b774f" class="outline-3">
|
|
<h3 id="org30b774f"><span class="section-number-3">2.2</span> General implementation</h3>
|
|
<div class="outline-text-3" id="text-2-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_int</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_z</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Z.</span>t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">zero</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">is_zero</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> bool
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">numbits</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">testbit</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> bool
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">neg</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">shift_left</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">shift_right</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">shift_left_one</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">logor</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">logxor</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">logand</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">lognot</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">plus_one</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">minus_one</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">hamdist</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">trailing_zeros</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">popcount</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_list</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-label">?accu</span><span class="org-tuareg-font-lock-operator">:(</span>int list<span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> int list
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">permutations</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> t list
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>of_int</code></td>
|
|
<td class="org-left">Creates a bit string from an <code>int</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_z</code></td>
|
|
<td class="org-left">Creates a bit string from an <code>Z.t</code> multi-precision integer</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>zero</code></td>
|
|
<td class="org-left"><code>zero n</code> creates a zero bit string with <code>n</code> bits</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>is_zero</code></td>
|
|
<td class="org-left">True if all the bits of the bit string are zero.</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>numbits</code></td>
|
|
<td class="org-left">Returns the number of bits used to represent the bit string</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>testbit</code></td>
|
|
<td class="org-left"><code>testbit t n</code> is true if the <code>n</code>-th bit of the bit string <code>t</code> is set to <code>1</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>neg</code></td>
|
|
<td class="org-left">Returns the negative of the integer interpretation of the bit string</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>shift_left</code></td>
|
|
<td class="org-left"><code>shift_left t n</code> returns a new bit strings with all the bits shifted <code>n</code> positions to the left</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>shift_right</code></td>
|
|
<td class="org-left"><code>shift_right t n</code> returns a new bit strings with all the bits shifted <code>n</code> positions to the right</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>shift_left_one</code></td>
|
|
<td class="org-left"><code>shift_left_one size n</code> returns a new bit strings with the <code>n</code>-th bit set to one. It is equivalent as shifting <code>1</code> by <code>n</code> bits to the left, <code>size</code> is the total number of bits of the bit string</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>logor</code></td>
|
|
<td class="org-left">Bitwise logical or</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>logxor</code></td>
|
|
<td class="org-left">Bitwise logical exclusive or</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>logand</code></td>
|
|
<td class="org-left">Bitwise logical and</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>lognot</code></td>
|
|
<td class="org-left">Bitwise logical negation</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>plus_one</code></td>
|
|
<td class="org-left">Takes the integer representation of the bit string and adds one</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>minus_one</code></td>
|
|
<td class="org-left">Takes the integer representation of the bit string and removes one</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>hamdist</code></td>
|
|
<td class="org-left">Returns the Hamming distance, i.e. the number of bits differing between two bit strings</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>trailing_zeros</code></td>
|
|
<td class="org-left">Returns the number of trailing zeros in the bit string</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>permutations</code></td>
|
|
<td class="org-left"><code>permutations m n</code> generates the list of all possible <code>n</code>-bit strings with <code>m</code> bits set to <code>1</code>. Algorithm adapted from <a href="https://graphics.stanford.edu/~seander/bithacks.html#NextBitPermutation">Bit twiddling hacks</a></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>popcount</code></td>
|
|
<td class="org-left">Returns the number of bits set to one in the bit string</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>to_list</code></td>
|
|
<td class="org-left">Converts a bit string into a list of integers indicating the positions where the bits are set to <code>1</code>. The first value for the position is not <code>0</code> but <code>1</code></td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
|
|
<pre class="example" id="orgf356d5b">
|
|
Bitstring.of_int 15;;
|
|
- : Bitstring.t =
|
|
++++------------------------------------------------------------
|
|
</pre>
|
|
|
|
<pre class="example" id="org0a7dc7d">
|
|
Bitstring.(shift_left (of_int 15) 2);;
|
|
- : Bitstring.t =
|
|
--++++----------------------------------------------------------
|
|
|
|
Bitstring.(shift_right (of_int 15) 2);;
|
|
- : Bitstring.t =
|
|
++--------------------------------------------------------------
|
|
|
|
Bitstring.shift_left_one 32 4;;
|
|
- : Bitstring.t =
|
|
----+-----------------------------------------------------------
|
|
|
|
Bitstring.(testbit (of_int 15) 3);;
|
|
- : bool = true
|
|
|
|
Bitstring.(testbit (of_int 15) 4);;
|
|
- : bool = false
|
|
</pre>
|
|
|
|
<pre class="example" id="orge5dfb64">
|
|
Bitstring.(logor (of_int 15) (of_int 73));;
|
|
- : Bitstring.t =
|
|
++++--+---------------------------------------------------------
|
|
|
|
Bitstring.(logand (of_int 15) (of_int 10));;
|
|
- : Bitstring.t =
|
|
-+-+------------------------------------------------------------
|
|
|
|
Bitstring.(logxor (of_int 15) (of_int 73));;
|
|
- : Bitstring.t =
|
|
-++---+---------------------------------------------------------
|
|
</pre>
|
|
|
|
|
|
<pre class="example" id="org09a67ca">
|
|
Bitstring.(plus_one (of_int 15));;
|
|
- : Bitstring.t =
|
|
----+-----------------------------------------------------------
|
|
|
|
Bitstring.(minus_one (of_int 15));;
|
|
- : Bitstring.t =
|
|
-+++------------------------------------------------------------
|
|
</pre>
|
|
|
|
|
|
<pre class="example" id="orged63a27">
|
|
Bitstring.(trailing_zeros (of_int 12));;
|
|
- : int = 2
|
|
|
|
Bitstring.(hamdist (of_int 15) (of_int 73));;
|
|
- : int = 3
|
|
|
|
Bitstring.(popcount (of_int 15));;
|
|
- : int = 4
|
|
</pre>
|
|
|
|
<pre class="example" id="org1b787ee">
|
|
Bitstring.(to_list (of_int 45));;
|
|
- : int list = [1; 3; 4; 6]
|
|
</pre>
|
|
|
|
<pre class="example" id="org9c3bdc9">
|
|
Bitstring.permutations 2 4;;
|
|
- : Bitstring.t list =
|
|
[++--------------------------------------------------------------;
|
|
+-+-------------------------------------------------------------;
|
|
-++-------------------------------------------------------------;
|
|
+--+------------------------------------------------------------;
|
|
-+-+------------------------------------------------------------;
|
|
--++------------------------------------------------------------]
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org6f9dfce" class="outline-3">
|
|
<h3 id="org6f9dfce"><span class="section-number-3">2.3</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-2-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgd7dcbc8" class="outline-2">
|
|
<h2 id="orgd7dcbc8"><span class="section-number-2">3</span> Charge</h2>
|
|
<div class="outline-text-2" id="text-3">
|
|
</div>
|
|
|
|
<div id="outline-container-org8ad0965" class="outline-3">
|
|
<h3 id="org8ad0965"><span class="section-number-3">3.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-3-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span>
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
This type should be used for all charges in the program (electrons, nuclei,…).
|
|
</p>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org8520b8f" class="outline-3">
|
|
<h3 id="org8520b8f"><span class="section-number-3">3.2</span> Conversions</h3>
|
|
<div class="outline-text-3" id="text-3-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_float</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_float</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> float
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_int</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_int</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_string</span><span class="org-tuareg-font-lock-operator">:</span> string <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_string</span><span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> string
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org4c56380" class="outline-3">
|
|
<h3 id="org4c56380"><span class="section-number-3">3.3</span> Simple operations</h3>
|
|
<div class="outline-text-3" id="text-3-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">+</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">-</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">*</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> float <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">/</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> float <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">is_null</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> bool
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org0a63c06" class="outline-3">
|
|
<h3 id="org0a63c06"><span class="section-number-3">3.4</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-3-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgcf1f7fd" class="outline-2">
|
|
<h2 id="orgcf1f7fd"><span class="section-number-2">4</span> Command line</h2>
|
|
<div class="outline-text-2" id="text-4">
|
|
<p>
|
|
This module is a wrapper around the <code>Getopt</code> library and helps to
|
|
define command-line arguments.
|
|
</p>
|
|
|
|
<p>
|
|
Here is an example of how to use this module.
|
|
First, define the specification:
|
|
</p>
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">let</span> <span class="org-tuareg-font-lock-governing">open </span><span class="org-tuareg-font-lock-module">Command_line</span> <span class="org-tuareg-font-lock-governing">in</span>
|
|
<span class="org-tuareg-font-lock-governing">begin</span>
|
|
set_header_doc <span class="org-tuareg-font-lock-operator">(</span><span class="org-tuareg-font-lock-module">Sys.</span>argv.<span class="org-tuareg-font-lock-operator">(</span>0<span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">^</span> <span class="org-string">" - One-line description"</span><span class="org-tuareg-font-lock-operator">);</span>
|
|
set_description_doc <span class="org-string">"Long description of the command."</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
set_specs
|
|
<span class="org-tuareg-font-lock-operator">[</span> <span class="org-tuareg-font-lock-operator">{</span> short<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">'c'</span><span class="org-tuareg-font-lock-operator">;</span> long<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">"check"</span><span class="org-tuareg-font-lock-operator">;</span> opt<span class="org-tuareg-font-lock-operator">=</span><span class="org-tuareg-font-lock-constructor">Optional</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
doc<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">"Checks the input data"</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
arg<span class="org-tuareg-font-lock-operator">=</span><span class="org-tuareg-font-lock-constructor">Without_arg</span><span class="org-tuareg-font-lock-operator">;</span> <span class="org-tuareg-font-lock-operator">};</span>
|
|
|
|
<span class="org-tuareg-font-lock-operator">{</span> short<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">'b'</span> <span class="org-tuareg-font-lock-operator">;</span> long<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">"basis"</span> <span class="org-tuareg-font-lock-operator">;</span> opt<span class="org-tuareg-font-lock-operator">=</span><span class="org-tuareg-font-lock-constructor">Mandatory</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
arg<span class="org-tuareg-font-lock-operator">=</span><span class="org-tuareg-font-lock-constructor">With_arg</span> <span class="org-string">"<string>"</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
doc<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">"Name of the file containing the basis set"</span><span class="org-tuareg-font-lock-operator">;</span> <span class="org-tuareg-font-lock-operator">}</span> <span class="org-tuareg-font-lock-operator">;</span>
|
|
|
|
<span class="org-tuareg-font-lock-operator">{</span> short<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">'m'</span> <span class="org-tuareg-font-lock-operator">;</span> long<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">"multiplicity"</span> <span class="org-tuareg-font-lock-operator">;</span> opt<span class="org-tuareg-font-lock-operator">=</span><span class="org-tuareg-font-lock-constructor">Optional</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
arg<span class="org-tuareg-font-lock-operator">=</span><span class="org-tuareg-font-lock-constructor">With_arg</span> <span class="org-string">"<int>"</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
doc<span class="org-tuareg-font-lock-operator">=</span><span class="org-string">"Spin multiplicity (2S+1). Default is singlet"</span><span class="org-tuareg-font-lock-operator">;</span> <span class="org-tuareg-font-lock-operator">}</span> <span class="org-tuareg-font-lock-operator">;</span>
|
|
<span class="org-tuareg-font-lock-operator">]</span>
|
|
<span class="org-tuareg-font-lock-governing">end</span><span class="org-tuareg-font-lock-operator">;</span>
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Then, define what to do with the arguments:
|
|
</p>
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">let</span> <span class="org-variable-name">c</span> <span class="org-tuareg-font-lock-operator">=</span>
|
|
<span class="org-tuareg-font-lock-module">Command_line.</span>get_bool <span class="org-string">"check"</span>
|
|
<span class="org-tuareg-font-lock-governing">in</span>
|
|
|
|
<span class="org-tuareg-font-lock-governing">let</span> <span class="org-variable-name">basis</span> <span class="org-tuareg-font-lock-operator">=</span>
|
|
<span class="org-keyword">match</span> <span class="org-tuareg-font-lock-module">Command_line.</span>get <span class="org-string">"basis"</span> <span class="org-keyword">with</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Some</span> x <span class="org-tuareg-font-lock-operator">-></span> x
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">None</span> <span class="org-tuareg-font-lock-operator">-></span> <span class="org-keyword">assert</span> <span class="org-constant">false</span>
|
|
<span class="org-tuareg-font-lock-governing">in</span>
|
|
|
|
<span class="org-tuareg-font-lock-governing">let</span> <span class="org-variable-name">multiplicity</span> <span class="org-tuareg-font-lock-operator">=</span>
|
|
<span class="org-keyword">match</span> <span class="org-tuareg-font-lock-module">Command_line.</span>get <span class="org-string">"multiplicity"</span> <span class="org-keyword">with</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">None</span> <span class="org-tuareg-font-lock-operator">-></span> 1
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Some</span> n <span class="org-tuareg-font-lock-operator">-></span> int_of_string n
|
|
<span class="org-tuareg-font-lock-governing">in</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org92a7091" class="outline-3">
|
|
<h3 id="org92a7091"><span class="section-number-3">4.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-4-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml" id="org85b72c5"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">short_opt</span> <span class="org-tuareg-font-lock-operator">=</span> char
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">long_opt</span> <span class="org-tuareg-font-lock-operator">=</span> string
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">optional</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-tuareg-font-lock-constructor">Mandatory</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Optional</span>
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">documentation</span> <span class="org-tuareg-font-lock-operator">=</span> string
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">argument</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-tuareg-font-lock-constructor">With_arg</span> <span class="org-keyword">of</span> string <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Without_arg</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">With_opt_arg</span> <span class="org-keyword">of</span> string
|
|
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">description</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-tuareg-font-lock-operator">{</span>
|
|
short<span class="org-tuareg-font-lock-operator">:</span> short_opt <span class="org-tuareg-font-lock-operator">;</span>
|
|
long <span class="org-tuareg-font-lock-operator">:</span> long_opt <span class="org-tuareg-font-lock-operator">;</span>
|
|
opt <span class="org-tuareg-font-lock-operator">:</span> optional <span class="org-tuareg-font-lock-operator">;</span>
|
|
doc <span class="org-tuareg-font-lock-operator">:</span> documentation <span class="org-tuareg-font-lock-operator">;</span>
|
|
arg <span class="org-tuareg-font-lock-operator">:</span> argument <span class="org-tuareg-font-lock-operator">;</span>
|
|
<span class="org-tuareg-font-lock-operator">}</span>
|
|
|
|
</pre>
|
|
</div>
|
|
|
|
<ul class="org-ul">
|
|
<li>Short option: in the command line, a dash with a single character
|
|
(ex: <code>ls -l</code>)</li>
|
|
<li>Long option: in the command line, two dashes with a word
|
|
(ex: <code>ls --directory</code>)</li>
|
|
<li>Command-line options can be <code>Mandatory</code> or <code>Optional</code></li>
|
|
<li>Documentation of the option is used in the help function</li>
|
|
<li>Some options require an argument (<code>ls --ignore="*.ml"</code> ), some
|
|
don't (<code>ls -l</code>) and for some arguments the argument is optional
|
|
(<code>git --log[=<n>]</code>)</li>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org3cd6e47" class="outline-3">
|
|
<h3 id="org3cd6e47"><span class="section-number-3">4.2</span> Mutable attributes</h3>
|
|
<div class="outline-text-3" id="text-4-2">
|
|
<p>
|
|
All the options are stored in the hash table <code>dict</code> where the key
|
|
is the long option and the value is a value of type <code>description</code>.
|
|
</p>
|
|
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">set_header_doc</span> <span class="org-tuareg-font-lock-operator">:</span> string <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">set_description_doc</span> <span class="org-tuareg-font-lock-operator">:</span> string <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">set_footer_doc</span> <span class="org-tuareg-font-lock-operator">:</span> string <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Functions to set the header, footer and main description of the
|
|
documentation provided by the <code>help</code> function:
|
|
</p>
|
|
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">anonymous</span> <span class="org-tuareg-font-lock-operator">:</span> long_opt <span class="org-tuareg-font-lock-operator">-></span> optional <span class="org-tuareg-font-lock-operator">-></span> documentation <span class="org-tuareg-font-lock-operator">-></span> description
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Function to create an anonymous argument.
|
|
</p>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org320aa98" class="outline-3">
|
|
<h3 id="org320aa98"><span class="section-number-3">4.3</span> Query functions</h3>
|
|
<div class="outline-text-3" id="text-4-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">get</span> <span class="org-tuareg-font-lock-operator">:</span> long_opt <span class="org-tuareg-font-lock-operator">-></span> string option
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">get_bool</span> <span class="org-tuareg-font-lock-operator">:</span> long_opt <span class="org-tuareg-font-lock-operator">-></span> bool
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">anon_args</span> <span class="org-tuareg-font-lock-operator">:</span> unit <span class="org-tuareg-font-lock-operator">-></span> string list
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>get</code></td>
|
|
<td class="org-left">Returns the argument associated with a long option</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>get_bool</code></td>
|
|
<td class="org-left">True if the <code>Optional</code> argument is present in the command-line</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>anon_args</code></td>
|
|
<td class="org-left">Returns the list of anonymous arguments</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<div id="outline-container-org61f657e" class="outline-3">
|
|
<h3 id="org61f657e"><span class="section-number-3">4.4</span> Specification</h3>
|
|
<div class="outline-text-3" id="text-4-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">set_specs</span> <span class="org-tuareg-font-lock-operator">:</span> description list <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Sets the specifications of the current program from a list of
|
|
<code>descrption</code> variables.
|
|
</p>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgea6de0a" class="outline-2">
|
|
<h2 id="orgea6de0a"><span class="section-number-2">5</span> Constants</h2>
|
|
<div class="outline-text-2" id="text-5">
|
|
<p>
|
|
All constants used in the program.
|
|
</p>
|
|
</div>
|
|
|
|
<div id="outline-container-org8dd04dc" class="outline-3">
|
|
<h3 id="org8dd04dc"><span class="section-number-3">5.1</span> Thresholds</h3>
|
|
<div class="outline-text-3" id="text-5-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">epsilon</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">integrals_cutoff</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>epsilon</code></td>
|
|
<td class="org-left">Value below which a float is considered null. Default is ε = 2.10<sup>-15</sup></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>integrals_cutoff</code></td>
|
|
<td class="org-left">Cutoff value for integrals. Default is ε</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org8387758" class="outline-3">
|
|
<h3 id="org8387758"><span class="section-number-3">5.2</span> Mathematical constants</h3>
|
|
<div class="outline-text-3" id="text-5-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pi</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">two_pi</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">sq_pi</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">sq_pi_over_two</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pi_inv</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">two_over_sq_pi</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>pi</code></td>
|
|
<td class="org-left">\(\pi = 3.141~592~653~589~793~12\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>two_pi</code></td>
|
|
<td class="org-left">\(2 \pi\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>sq_pi</code></td>
|
|
<td class="org-left">\(\sqrt{\pi}\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>sq_pi_over_two</code></td>
|
|
<td class="org-left">\(\sqrt{\pi} / 2\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>pi_inv</code></td>
|
|
<td class="org-left">\(1 / \pi\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>two_over_sq_pi</code></td>
|
|
<td class="org-left">\(2 / \sqrt{\pi}\)</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org108a9bd" class="outline-3">
|
|
<h3 id="org108a9bd"><span class="section-number-3">5.3</span> Physical constants</h3>
|
|
<div class="outline-text-3" id="text-5-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">a0</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">a0_inv</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">ha_to_ev</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">ev_to_ha</span> <span class="org-tuareg-font-lock-operator">:</span> float
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>a0</code></td>
|
|
<td class="org-left">Bohr's radius : \(a_0 = 0.529~177~210~67(23)\) angstrom</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>a0_inv</code></td>
|
|
<td class="org-left">\(1 / a_0\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>ha_to_ev</code></td>
|
|
<td class="org-left">Hartree to eV conversion factor : \(27.211~386~02(17)\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>ev_to_ha</code></td>
|
|
<td class="org-left">eV to Hartree conversion factor : 1 / <code>ha_to_ev</code></td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org59ed36f" class="outline-2">
|
|
<h2 id="org59ed36f"><span class="section-number-2">6</span> Coordinate</h2>
|
|
<div class="outline-text-2" id="text-6">
|
|
<p>
|
|
Coordinates in 3D space.
|
|
</p>
|
|
|
|
<p>
|
|
All operations on points are done in atomic units. Therefore,
|
|
all coordinates are given in bohr and manipulated with this
|
|
module.
|
|
</p>
|
|
</div>
|
|
|
|
<div id="outline-container-org1f7b85c" class="outline-3">
|
|
<h3 id="org1f7b85c"><span class="section-number-3">6.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-6-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml" id="org94b7b31"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">bohr</span>
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">angstrom</span>
|
|
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">xyz</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-tuareg-font-lock-operator">{</span>
|
|
x <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">;</span>
|
|
y <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">;</span>
|
|
z <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">;</span>
|
|
<span class="org-tuareg-font-lock-operator">}</span>
|
|
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">'a point</span> <span class="org-tuareg-font-lock-operator">=</span> xyz
|
|
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span> <span class="org-tuareg-font-lock-operator">=</span> bohr point
|
|
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">axis</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-tuareg-font-lock-constructor">X</span> <span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Y</span> <span class="org-tuareg-font-lock-operator">|</span> Z
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgd6e8c83" class="outline-3">
|
|
<h3 id="orgd6e8c83"><span class="section-number-3">6.2</span> Creation</h3>
|
|
<div class="outline-text-3" id="text-6-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">make</span> <span class="org-tuareg-font-lock-operator">:</span> 'a point <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">make_angstrom</span> <span class="org-tuareg-font-lock-operator">:</span> 'a point <span class="org-tuareg-font-lock-operator">-></span> angstrom point
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">zero</span> <span class="org-tuareg-font-lock-operator">:</span> bohr point
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>make</code></td>
|
|
<td class="org-left">Creates a point in atomic units</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>make_angstrom</code></td>
|
|
<td class="org-left">Creates a point in angstrom</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>zero</code></td>
|
|
<td class="org-left">\((0., 0., 0.)\)</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org335ca3c" class="outline-3">
|
|
<h3 id="org335ca3c"><span class="section-number-3">6.3</span> Conversion</h3>
|
|
<div class="outline-text-3" id="text-6-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">bohr_to_angstrom</span> <span class="org-tuareg-font-lock-operator">:</span> bohr point <span class="org-tuareg-font-lock-operator">-></span> angstrom point
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">angstrom_to_bohr</span> <span class="org-tuareg-font-lock-operator">:</span> angstrom point <span class="org-tuareg-font-lock-operator">-></span> bohr point
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>bohr_to_angstrom</code></td>
|
|
<td class="org-left">Converts a point in bohr to angstrom</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>angstrom_to_bohr</code></td>
|
|
<td class="org-left">Converts a point in angstrom to bohr</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgd5f8d27" class="outline-3">
|
|
<h3 id="orgd5f8d27"><span class="section-number-3">6.4</span> Vector operations</h3>
|
|
<div class="outline-text-3" id="text-6-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">neg</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">get</span> <span class="org-tuareg-font-lock-operator">:</span> axis <span class="org-tuareg-font-lock-operator">-></span> bohr point <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">dot</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">norm</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">|</span>. <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">|+</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-tuareg-font-lock-operator">(</span> <span class="org-tuareg-font-lock-operator">|-</span> <span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>neg</code></td>
|
|
<td class="org-left">Negative of a point</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>get</code></td>
|
|
<td class="org-left">Extracts the projection of the coordinate on an axis</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>dot</code></td>
|
|
<td class="org-left">Dot product</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>norm</code></td>
|
|
<td class="org-left">\(\ell{^2}\) norm of the vector</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>¦.</code></td>
|
|
<td class="org-left">Scales the vector by a constant</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>¦+</code></td>
|
|
<td class="org-left">Adds two vectors</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>¦-</code></td>
|
|
<td class="org-left">Subtracts two vectors</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
|
|
<pre class="example" id="org591bc46">
|
|
Coordinate.neg { x=1. ; y=2. ; z=3. } ;;
|
|
- : Coordinate.t = -1.0000 -2.0000 -3.0000
|
|
|
|
Coordinate.(get Y { x=1. ; y=2. ; z=3. }) ;;
|
|
- : float = 2.
|
|
|
|
Coordinate.(
|
|
2. |. { x=1. ; y=2. ; z=3. }
|
|
) ;;
|
|
- : Coordinate.t = 2.0000 4.0000 6.0000
|
|
|
|
Coordinate.(
|
|
{ x=1. ; y=2. ; z=3. } |+ { x=2. ; y=3. ; z=1. }
|
|
);;
|
|
- : Coordinate.t = 3.0000 5.0000 4.0000
|
|
|
|
Coordinate.(
|
|
{ x=1. ; y=2. ; z=3. } |- { x=2. ; y=3. ; z=1. }
|
|
);;
|
|
- : Coordinate.t = -1.0000 -1.0000 2.0000
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<div id="outline-container-orgefb3ff6" class="outline-3">
|
|
<h3 id="orgefb3ff6"><span class="section-number-3">6.5</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-6-5">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_bohr</span><span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_angstrom</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Coordinates can be printed in bohr or angstrom.
|
|
</p>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgcb9318f" class="outline-2">
|
|
<h2 id="orgcb9318f"><span class="section-number-2">7</span> Non-negative float</h2>
|
|
<div class="outline-text-2" id="text-7">
|
|
</div>
|
|
|
|
<div id="outline-container-orgd563762" class="outline-3">
|
|
<h3 id="orgd563762"><span class="section-number-3">7.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-7-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-keyword">private</span> float
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orga3900fc" class="outline-3">
|
|
<h3 id="orga3900fc"><span class="section-number-3">7.2</span> Conversions</h3>
|
|
<div class="outline-text-3" id="text-7-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_float</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">unsafe_of_float</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_float</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> float
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_string</span> <span class="org-tuareg-font-lock-operator">:</span> string <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_string</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> string
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
The <code>of_float</code> function checks that the float is non-negative.
|
|
The unsafe variant doesn't do this check.
|
|
</p>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgc61d6af" class="outline-2">
|
|
<h2 id="orgc61d6af"><span class="section-number-2">8</span> Powers</h2>
|
|
<div class="outline-text-2" id="text-8">
|
|
<p>
|
|
Contains powers of x, y and z describing the polynomials in atomic basis sets.
|
|
</p>
|
|
</div>
|
|
|
|
<div id="outline-container-org1cfd4a6" class="outline-3">
|
|
<h3 id="org1cfd4a6"><span class="section-number-3">8.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-8-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-keyword">private</span> <span class="org-tuareg-font-lock-operator">{</span>
|
|
x <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">;</span>
|
|
y <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">;</span>
|
|
z <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">;</span>
|
|
tot <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">;</span>
|
|
<span class="org-tuareg-font-lock-operator">}</span>
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
<code>tot</code> always contains <code>x+y+z</code>.
|
|
</p>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgd33cf48" class="outline-3">
|
|
<h3 id="orgd33cf48"><span class="section-number-3">8.2</span> Conversions</h3>
|
|
<div class="outline-text-3" id="text-8-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_int_tuple</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">*</span> int <span class="org-tuareg-font-lock-operator">*</span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_int_tuple</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">*</span> int <span class="org-tuareg-font-lock-operator">*</span> int
|
|
</pre>
|
|
</div>
|
|
|
|
<pre class="example" id="org7595104">
|
|
Powers.of_int_tuple (2,3,1);;
|
|
- : Powers.t = x^2 + y^3 + z^1
|
|
|
|
Powers.(to_int_tuple (of_int_tuple (2,3,1)));;
|
|
- : int * int * int = (2, 3, 1)
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org517f9b6" class="outline-3">
|
|
<h3 id="org517f9b6"><span class="section-number-3">8.3</span> Operations</h3>
|
|
<div class="outline-text-3" id="text-8-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">get</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Coordinate.</span>axis <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">incr</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Coordinate.</span>axis <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">decr</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Coordinate.</span>axis <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>get</code></td>
|
|
<td class="org-left">Returns the value of the power for \(x\), \(y\) or \(z\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>incr</code></td>
|
|
<td class="org-left">Returns a new <code>Powers.t</code> with the power on the given axis incremented</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>decr</code></td>
|
|
<td class="org-left">Returns a new <code>Powers.t</code> with the power on the given axis decremented. As opposed to <code>of_int_tuple</code>, the values may become negative</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
|
|
<pre class="example" id="org2453c5a">
|
|
Powers.get Coordinate.Y (Powers.of_int_tuple (2,3,1));;
|
|
- : int = 3
|
|
|
|
Powers.incr Coordinate.Y (Powers.of_int_tuple (2,3,1));;
|
|
- : Powers.t = x^2 + y^4 + z^1
|
|
|
|
Powers.decr Coordinate.Y (Powers.of_int_tuple (2,3,1));;
|
|
- : Powers.t = x^2 + y^2 + z^1
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<div id="outline-container-org6137d70" class="outline-3">
|
|
<h3 id="org6137d70"><span class="section-number-3">8.4</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-8-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org40cccba" class="outline-2">
|
|
<h2 id="org40cccba"><span class="section-number-2">9</span> QCaml</h2>
|
|
<div class="outline-text-2" id="text-9">
|
|
<p>
|
|
QCaml-specific parameters
|
|
</p>
|
|
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">root</span> <span class="org-tuareg-font-lock-operator">:</span> string
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">name</span> <span class="org-tuareg-font-lock-operator">:</span> string
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>root</code></td>
|
|
<td class="org-left">Path to the QCaml source directory</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>name</code></td>
|
|
<td class="org-left"><code>"QCaml"</code></td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org86e7860" class="outline-2">
|
|
<h2 id="org86e7860"><span class="section-number-2">10</span> Range</h2>
|
|
<div class="outline-text-2" id="text-10">
|
|
<p>
|
|
A range is a sorted list of integers in an interval.
|
|
</p>
|
|
|
|
<ul class="org-ul">
|
|
<li><code>"[a-b]"</code> : range between a and b (included)</li>
|
|
<li><code>"[a]"</code> : the list with only one integer a</li>
|
|
<li><code>"a"</code> : equivalent to "[a]"</li>
|
|
<li><code>"[36-53,72-107,126-131]"</code> represents the list of integers
|
|
[ 37 ; 37 ; 38 ; … ; 52 ; 53 ; 72 ; 73 ; … ; 106 ; 107 ; 126 ; 127 ; … ; 130 ; 131 ].</li>
|
|
</ul>
|
|
</div>
|
|
|
|
<div id="outline-container-org8f662b3" class="outline-3">
|
|
<h3 id="org8f662b3"><span class="section-number-3">10.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-10-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orga9f0dfc" class="outline-3">
|
|
<h3 id="orga9f0dfc"><span class="section-number-3">10.2</span> Conversion</h3>
|
|
<div class="outline-text-3" id="text-10-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_string</span> <span class="org-tuareg-font-lock-operator">:</span> string <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_string</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> string
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_int_list</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int list
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org544d254" class="outline-3">
|
|
<h3 id="org544d254"><span class="section-number-3">10.3</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-10-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgc3ccc53" class="outline-2">
|
|
<h2 id="orgc3ccc53"><span class="section-number-2">11</span> Spin</h2>
|
|
<div class="outline-text-2" id="text-11">
|
|
<p>
|
|
Electron spin
|
|
</p>
|
|
</div>
|
|
|
|
<div id="outline-container-org4d2531d" class="outline-3">
|
|
<h3 id="org4d2531d"><span class="section-number-3">11.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-11-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span> <span class="org-tuareg-font-lock-operator">=</span> <span class="org-tuareg-font-lock-constructor">Alfa</span> <span class="org-tuareg-font-lock-operator">|</span> Beta
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Note :
|
|
<code>Alfa</code> if written with an 'f' instead of 'ph' because it has the same number of
|
|
letters as <code>Beta</code>, so the alignment of the code is nicer.
|
|
</p>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgaf9df0e" class="outline-3">
|
|
<h3 id="orgaf9df0e"><span class="section-number-3">11.2</span> Functions</h3>
|
|
<div class="outline-text-3" id="text-11-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">other</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Returns the opposite spin
|
|
</p>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org0805857" class="outline-3">
|
|
<h3 id="org0805857"><span class="section-number-3">11.3</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-11-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgfa403db" class="outline-2">
|
|
<h2 id="orgfa403db"><span class="section-number-2">12</span> Util</h2>
|
|
<div class="outline-text-2" id="text-12">
|
|
<p>
|
|
Utility functions.
|
|
</p>
|
|
</div>
|
|
|
|
|
|
<div id="outline-container-org0253eca" class="outline-3">
|
|
<h3 id="org0253eca"><span class="section-number-3">12.1</span> External C functions</h3>
|
|
<div class="outline-text-3" id="text-12-1">
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>erf_float</code></td>
|
|
<td class="org-left">Error function <code>erf</code> from <code>libm</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>erfc_float</code></td>
|
|
<td class="org-left">Complementary error function <code>erfc</code> from <code>libm</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>gamma_float</code></td>
|
|
<td class="org-left">Gamma function <code>gamma</code> from <code>libm</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>popcnt</code></td>
|
|
<td class="org-left"><code>popcnt</code> instruction</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>trailz</code></td>
|
|
<td class="org-left"><code>ctz</code> instruction</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>leadz</code></td>
|
|
<td class="org-left"><code>bsf</code> instruction</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
|
|
<div id="outline-container-org70390cd" class="outline-4">
|
|
<h4 id="org70390cd"><span class="section-number-4">12.1.1</span> Erf</h4>
|
|
<div class="outline-text-4" id="text-12-1-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">external</span> <span class="org-function-name">erf_float</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> float <span class="org-tuareg-font-lock-operator">=</span> <span class="org-string">"erf_float_bytecode"</span> <span class="org-string">"erf_float"</span> <span class="org-tuareg-font-lock-attribute">[@@unboxed]</span> <span class="org-tuareg-font-lock-attribute">[@@noalloc]</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org81dcc90" class="outline-4">
|
|
<h4 id="org81dcc90"><span class="section-number-4">12.1.2</span> Erfc</h4>
|
|
<div class="outline-text-4" id="text-12-1-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">external</span> <span class="org-function-name">erfc_float</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> float <span class="org-tuareg-font-lock-operator">=</span> <span class="org-string">"erfc_float_bytecode"</span> <span class="org-string">"erfc_float"</span> <span class="org-tuareg-font-lock-attribute">[@@unboxed]</span> <span class="org-tuareg-font-lock-attribute">[@@noalloc]</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org146f96f" class="outline-4">
|
|
<h4 id="org146f96f"><span class="section-number-4">12.1.3</span> Gamma</h4>
|
|
<div class="outline-text-4" id="text-12-1-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">external</span> <span class="org-function-name">gamma_float</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> float <span class="org-tuareg-font-lock-operator">=</span> <span class="org-string">"gamma_float_bytecode"</span> <span class="org-string">"gamma_float"</span> <span class="org-tuareg-font-lock-attribute">[@@unboxed]</span> <span class="org-tuareg-font-lock-attribute">[@@noalloc]</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org105e531" class="outline-4">
|
|
<h4 id="org105e531"><span class="section-number-4">12.1.4</span> Popcnt</h4>
|
|
<div class="outline-text-4" id="text-12-1-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">popcnt</span> <span class="org-tuareg-font-lock-operator">:</span> int64 <span class="org-tuareg-font-lock-operator">-></span> int
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgddbd857" class="outline-4">
|
|
<h4 id="orgddbd857"><span class="section-number-4">12.1.5</span> Trailz</h4>
|
|
<div class="outline-text-4" id="text-12-1-5">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">trailz</span> <span class="org-tuareg-font-lock-operator">:</span> int64 <span class="org-tuareg-font-lock-operator">-></span> int
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orged08e45" class="outline-4">
|
|
<h4 id="orged08e45"><span class="section-number-4">12.1.6</span> Leadz</h4>
|
|
<div class="outline-text-4" id="text-12-1-6">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">leadz</span> <span class="org-tuareg-font-lock-operator">:</span> int64 <span class="org-tuareg-font-lock-operator">-></span> int
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org20dced2" class="outline-4">
|
|
<h4 id="org20dced2"><span class="section-number-4">12.1.7</span> Test</h4>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org3589774" class="outline-3">
|
|
<h3 id="org3589774"><span class="section-number-3">12.2</span> General functions</h3>
|
|
<div class="outline-text-3" id="text-12-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">fact</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-comment-delimiter">(* </span><span class="org-comment">@raise Invalid_argument for negative arguments or arguments >100. </span><span class="org-comment-delimiter">*)</span>
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">binom</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">binom_float</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> float
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">chop</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-operator">(</span>unit <span class="org-tuareg-font-lock-operator">-></span> float<span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pow</span> <span class="org-tuareg-font-lock-operator">:</span> float <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">float_of_int_fast</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> float
|
|
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_some</span> <span class="org-tuareg-font-lock-operator">:</span> 'a option <span class="org-tuareg-font-lock-operator">-></span> 'a
|
|
|
|
<span class="org-keyword">exception</span> <span class="org-tuareg-font-lock-constructor">Not_implemented</span> <span class="org-keyword">of</span> string
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">not_implemented</span> <span class="org-tuareg-font-lock-operator">:</span> string <span class="org-tuareg-font-lock-operator">-></span> 'a
|
|
<span class="org-comment-delimiter">(* </span><span class="org-comment">@raise Not_implemented. </span><span class="org-comment-delimiter">*)</span>
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>fact</code></td>
|
|
<td class="org-left">Factorial function.</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>binom</code></td>
|
|
<td class="org-left">Binomial coefficient. <code>binom n k</code> = \(C_n^k\)</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>binom_float</code></td>
|
|
<td class="org-left">float variant of <code>binom</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>pow</code></td>
|
|
<td class="org-left">Fast implementation of the power function for small integer powers</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>chop</code></td>
|
|
<td class="org-left">In <code>chop a f</code>, evaluate <code>f</code> only if the absolute value of <code>a</code> is larger than <code>Constants.epsilon</code>, and return <code>a *. f ()</code>.</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>float_of_int_fast</code></td>
|
|
<td class="org-left">Faster implementation of float<sub>of</sub><sub>int</sub> for small positive ints</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>not_implemented</code></td>
|
|
<td class="org-left">Fails if some functionality is not implemented</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_some</code></td>
|
|
<td class="org-left">Extracts the value of an option</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orge9081ef" class="outline-3">
|
|
<h3 id="orge9081ef"><span class="section-number-3">12.3</span> Functions related to the Boys function</h3>
|
|
<div class="outline-text-3" id="text-12-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">incomplete_gamma</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-label">alpha</span><span class="org-tuareg-font-lock-operator">:</span>float <span class="org-tuareg-font-lock-operator">-></span> float <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-comment-delimiter">(* </span><span class="org-comment">@raise Failure when the calculation doesn't converge. </span><span class="org-comment-delimiter">*)</span>
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
The lower <a href="https://en.wikipedia.org/wiki/Incomplete_gamma_function">Incomplete Gamma function</a> is implemented :
|
|
\[
|
|
\gamma(\alpha,x) = \int_0^x e^{-t} t^{\alpha-1} dt
|
|
\]
|
|
</p>
|
|
|
|
<p>
|
|
p: \(\frac{1}{\Gamma(\alpha)} \int_0^x e^{-t} t^{\alpha-1} dt\)
|
|
</p>
|
|
|
|
<p>
|
|
q: \(\frac{1}{\Gamma(\alpha)} \int_x^\infty e^{-t} t^{\alpha-1} dt\)
|
|
</p>
|
|
|
|
<p>
|
|
Reference : Haruhiko Okumura: C-gengo niyoru saishin algorithm jiten
|
|
(New Algorithm handbook in C language) (Gijyutsu hyouron sha,
|
|
Tokyo, 1991) p.227 [in Japanese]
|
|
</p>
|
|
|
|
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">boys_function</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-label">maxm</span><span class="org-tuareg-font-lock-operator">:</span>int <span class="org-tuareg-font-lock-operator">-></span> float <span class="org-tuareg-font-lock-operator">-></span> float array
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
The <a href="https://link.springer.com/article/10.1007/s10910-005-9023-3">Generalized Boys function</a> is implemented,
|
|
<code>maxm</code> is the maximum total angular momentum.
|
|
</p>
|
|
|
|
<p>
|
|
\[
|
|
F_m(x) = \frac{\gamma(m+1/2,x)}{2x^{m+1/2}}
|
|
\]
|
|
where \(\gamma\) is the incomplete gamma function.
|
|
</p>
|
|
|
|
<ul class="org-ul">
|
|
<li>\(F_0(0.) = 1\)</li>
|
|
<li>\(F_0(t) = \frac{\sqrt{\pi}}{2\sqrt{t}} \text{erf} ( \sqrt{t} )\)</li>
|
|
<li>\(F_m(0.) = \frac{1}{2m+1}\)</li>
|
|
<li>\(F_m(t) = \frac{\gamma{m+1/2,t}}{2t^{m+1/2}}\)</li>
|
|
<li>\(F_m(t) = \frac{ 2t\, F_{m+1}(t) + e^{-t} }{2m+1}\)</li>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org582e235" class="outline-3">
|
|
<h3 id="org582e235"><span class="section-number-3">12.4</span> List functions</h3>
|
|
<div class="outline-text-3" id="text-12-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">list_some</span> <span class="org-tuareg-font-lock-operator">:</span> 'a option list <span class="org-tuareg-font-lock-operator">-></span> 'a list
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">list_range</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> int list
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">list_pack</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> 'a list <span class="org-tuareg-font-lock-operator">-></span> 'a list list
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>list_some</code></td>
|
|
<td class="org-left">Filters out all <code>None</code> elements of the list, and returns the elements without the <code>Some</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>list_range</code></td>
|
|
<td class="org-left">Creates a list of consecutive integers</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>list_pack</code></td>
|
|
<td class="org-left"><code>list_pack n l</code> Creates a list of <code>n</code>-elements lists</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgd39fe05" class="outline-3">
|
|
<h3 id="orgd39fe05"><span class="section-number-3">12.5</span> Array functions</h3>
|
|
<div class="outline-text-3" id="text-12-5">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">array_range</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> int array
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">array_sum</span> <span class="org-tuareg-font-lock-operator">:</span> float array <span class="org-tuareg-font-lock-operator">-></span> float
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">array_product</span> <span class="org-tuareg-font-lock-operator">:</span> float array <span class="org-tuareg-font-lock-operator">-></span> float
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>array_range</code></td>
|
|
<td class="org-left">Creates an array of consecutive integers</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>array_sum</code></td>
|
|
<td class="org-left">Returns the sum of all the elements of the array</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>array_product</code></td>
|
|
<td class="org-left">Returns the product of all the elements of the array</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orge2a24cb" class="outline-3">
|
|
<h3 id="orge2a24cb"><span class="section-number-3">12.6</span> Stream functions</h3>
|
|
<div class="outline-text-3" id="text-12-6">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">stream_range</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-module">Stream.</span>t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">stream_to_list</span> <span class="org-tuareg-font-lock-operator">:</span> 'a <span class="org-tuareg-font-lock-module">Stream.</span>t <span class="org-tuareg-font-lock-operator">-></span> 'a list
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">stream_fold</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-operator">(</span>'a <span class="org-tuareg-font-lock-operator">-></span> 'b <span class="org-tuareg-font-lock-operator">-></span> 'a<span class="org-tuareg-font-lock-operator">)</span> <span class="org-tuareg-font-lock-operator">-></span> 'a <span class="org-tuareg-font-lock-operator">-></span> 'b <span class="org-tuareg-font-lock-module">Stream.</span>t <span class="org-tuareg-font-lock-operator">-></span> 'a
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>stream_range</code></td>
|
|
<td class="org-left">Creates a stream returning consecutive integers</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>stream_to_list</code></td>
|
|
<td class="org-left">Read a stream and put items in a list</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>stream_fold</code></td>
|
|
<td class="org-left">Apply a fold to the elements of the stream</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org3f26496" class="outline-3">
|
|
<h3 id="org3f26496"><span class="section-number-3">12.7</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-12-7">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_float_array_size</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> float array <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_float_array</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> float array <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_float_2darray_size</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> float array array <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_float_2darray</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> float array array <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp_bitstring</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Z.</span>t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>pp_float_array</code></td>
|
|
<td class="org-left">Printer for float arrays</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>pp_float_array_size</code></td>
|
|
<td class="org-left">Printer for float arrays with size</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>pp_float_2darray</code></td>
|
|
<td class="org-left">Printer for matrices</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>pp_float_2darray_size</code></td>
|
|
<td class="org-left">Printer for matrices with size</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>pp_bitstring</code></td>
|
|
<td class="org-left">Printer for bit strings (used by <code>Bitstring</code> module)</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
|
|
<pre class="example" id="orgb1d8078">
|
|
pp_float_array_size:
|
|
[ 6: 1.000000 1.732051 1.732051 1.000000 1.732051 1.000000 ]
|
|
|
|
pp_float_array:
|
|
[ 1.000000 1.732051 1.732051 1.000000 1.732051 1.000000 ]
|
|
|
|
pp_float_2darray_size
|
|
[
|
|
2:[ 6: 1.000000 1.732051 1.732051 1.000000 1.732051 1.000000 ]
|
|
[ 4: 1.000000 2.000000 3.000000 4.000000 ] ]
|
|
|
|
pp_float_2darray:
|
|
[ [ 1.000000 1.732051 1.732051 1.000000 1.732051 1.000000 ]
|
|
[ 1.000000 2.000000 3.000000 4.000000 ] ]
|
|
|
|
pp_bitstring 14:
|
|
+++++------+--
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org0953011" class="outline-2">
|
|
<h2 id="org0953011"><span class="section-number-2">13</span> Zkey</h2>
|
|
<div class="outline-text-2" id="text-13">
|
|
<p>
|
|
Encodes the powers of x, y, z in a compact form, suitable for being
|
|
used as keys in a hash table.
|
|
</p>
|
|
|
|
<p>
|
|
Internally, the <code>Zkey.t</code> is made of two integers, <code>left</code> and <code>right</code>.
|
|
The small integers x, y and z are stored compactly in this 126-bits
|
|
space:
|
|
</p>
|
|
|
|
<pre class="example" id="org804e98a">
|
|
Left Right
|
|
3 [--------------------------------------------------------------] [------------------|---------------|---------------|---------------]
|
|
x y z
|
|
|
|
6 [--------------------------------------------------------------] [---|----------|----------|----------|----------|----------|---------]
|
|
x1 y1 z1 x2 y2 z2
|
|
|
|
9 [---------------------------------|----------|----------|---------] [---|----------|----------|----------|----------|----------|---------]
|
|
x1 y1 z1 x2 y2 z2 x3 y3 z3
|
|
|
|
12 [---|----------|----------|----------|----------|----------|---------] [---|----------|----------|----------|----------|----------|---------]
|
|
x1 y1 z1 x2 y2 z2 x3 y3 z3 x4 y4 z4
|
|
</pre>
|
|
|
|
<p>
|
|
The values of x,y,z should be positive and should not exceed 32767 for
|
|
<code>kind=3</code>. For all other kinds kinds the values should not exceed 1023.
|
|
</p>
|
|
</div>
|
|
|
|
<div id="outline-container-org5c77f54" class="outline-3">
|
|
<h3 id="org5c77f54"><span class="section-number-3">13.1</span> Types</h3>
|
|
<div class="outline-text-3" id="text-13-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">t</span>
|
|
|
|
<span class="org-tuareg-font-lock-governing">type</span> <span class="org-type">kind</span> <span class="org-tuareg-font-lock-operator">=</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Three</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-module">Powers.</span>t
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Four</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-operator">(</span>int <span class="org-tuareg-font-lock-operator">*</span> int <span class="org-tuareg-font-lock-operator">*</span> int <span class="org-tuareg-font-lock-operator">*</span> int<span class="org-tuareg-font-lock-operator">)</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Six</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-operator">(</span><span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">*</span> <span class="org-tuareg-font-lock-module">Powers.</span>t<span class="org-tuareg-font-lock-operator">)</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Nine</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-operator">(</span><span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">*</span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">*</span> <span class="org-tuareg-font-lock-module">Powers.</span>t<span class="org-tuareg-font-lock-operator">)</span>
|
|
<span class="org-tuareg-font-lock-operator">|</span> <span class="org-tuareg-font-lock-constructor">Twelve</span> <span class="org-keyword">of</span> <span class="org-tuareg-font-lock-operator">(</span><span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">*</span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">*</span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">*</span> <span class="org-tuareg-font-lock-module">Powers.</span>t<span class="org-tuareg-font-lock-operator">)</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-orgb07b216" class="outline-3">
|
|
<h3 id="orgb07b216"><span class="section-number-3">13.2</span> Conversions</h3>
|
|
<div class="outline-text-3" id="text-13-2">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_powers_three</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_powers_six</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_powers_nine</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_powers_twelve</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> <span class="org-tuareg-font-lock-module">Powers.</span>t <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_powers</span> <span class="org-tuareg-font-lock-operator">:</span> kind <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_int_array</span> <span class="org-tuareg-font-lock-operator">:</span> int array <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">of_int_four</span> <span class="org-tuareg-font-lock-operator">:</span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> int <span class="org-tuareg-font-lock-operator">-></span> t
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_int_array</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int array
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_powers</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> kind
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">to_string</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> string
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>of_powers_three</code></td>
|
|
<td class="org-left">Create from a <code>Powers.t</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_powers_six</code></td>
|
|
<td class="org-left">Create from two <code>Powers.t</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_powers_nine</code></td>
|
|
<td class="org-left">Create from three <code>Powers.t</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_powers_twelve</code></td>
|
|
<td class="org-left">Create from four <code>Powers.t</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_powers</code></td>
|
|
<td class="org-left">Create using the <code>kind</code> type</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_int_array</code></td>
|
|
<td class="org-left">Convert from an <code>int</code> array</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>of_int_four</code></td>
|
|
<td class="org-left">Create from four <code>ints</code></td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>to_int_array</code></td>
|
|
<td class="org-left">Convert to an <code>int</code> array</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>to_powers</code></td>
|
|
<td class="org-left">Convert to an <code>Powers.t</code> array</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>to_string</code></td>
|
|
<td class="org-left">Pretty printing</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org5af02ca" class="outline-3">
|
|
<h3 id="org5af02ca"><span class="section-number-3">13.3</span> Functions for hash tables</h3>
|
|
<div class="outline-text-3" id="text-13-3">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">hash</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">equal</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> bool
|
|
<span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">compare</span> <span class="org-tuareg-font-lock-operator">:</span> t <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> int
|
|
</pre>
|
|
</div>
|
|
|
|
<table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides">
|
|
|
|
|
|
<colgroup>
|
|
<col class="org-left" />
|
|
|
|
<col class="org-left" />
|
|
</colgroup>
|
|
<tbody>
|
|
<tr>
|
|
<td class="org-left"><code>hash</code></td>
|
|
<td class="org-left">Associates a nonnegative integer to any Zkey</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>equal</code></td>
|
|
<td class="org-left">The equal function. True if two Zkeys are equal</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td class="org-left"><code>compare</code></td>
|
|
<td class="org-left">Comparison function, used for sorting</td>
|
|
</tr>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org35fc486" class="outline-3">
|
|
<h3 id="org35fc486"><span class="section-number-3">13.4</span> Printers</h3>
|
|
<div class="outline-text-3" id="text-13-4">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">val</span> <span class="org-function-name">pp</span> <span class="org-tuareg-font-lock-operator">:</span> <span class="org-tuareg-font-lock-module">Format.</span>formatter <span class="org-tuareg-font-lock-operator">-></span> t <span class="org-tuareg-font-lock-operator">-></span> unit
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="outline-container-org67d6591" class="outline-2">
|
|
<h2 id="org67d6591"><span class="section-number-2">14</span> Zmap</h2>
|
|
<div class="outline-text-2" id="text-14">
|
|
<p>
|
|
A hash table where the keys are <code>Zkey</code>
|
|
</p>
|
|
</div>
|
|
|
|
<div id="outline-container-orgc1fb2fb" class="outline-3">
|
|
<h3 id="orgc1fb2fb"><span class="section-number-3">14.1</span> Type</h3>
|
|
<div class="outline-text-3" id="text-14-1">
|
|
<div class="org-src-container">
|
|
<pre class="src src-ocaml"><span class="org-tuareg-font-lock-governing">include</span> <span class="org-tuareg-font-lock-governing">module type of</span> <span class="org-tuareg-font-lock-module">Hashtbl.Make</span><span class="org-tuareg-font-lock-operator">(</span><span class="org-tuareg-font-lock-constructor">Zkey</span><span class="org-tuareg-font-lock-operator">)</span>
|
|
</pre>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
<div id="postamble" class="status">
|
|
<p class="author">Author: Anthony Scemama</p>
|
|
<p class="date">Created: 2021-01-01 Fri 16:38</p>
|
|
<p class="validation"><a href="https://validator.w3.org/check?uri=referer">Validate</a></p>
|
|
</div>
|
|
</body>
|
|
</html>
|