(* basis-names.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *
 * Builtin names used for Basis functions.
 *)

structure BasisNames =
  struct

  (* operators *)
    val op_at = Atom.atom "@"
    val op_add = Atom.atom "+"
    val op_sub = Atom.atom "-"
    val op_mul = Atom.atom "*"
    val op_div = Atom.atom "/"
    val op_lt = Atom.atom "<"
    val op_lte = Atom.atom "<="
    val op_eql = Atom.atom "=="
    val op_neq = Atom.atom "!="
    val op_gte = Atom.atom ">="
    val op_gt = Atom.atom ">"
    val op_D = Atom.atom "D"
    val op_orelse = Atom.atom "||"
    val op_andalso = Atom.atom "&&"
    val op_norm = Atom.atom "|()|"

  (* function names *)
    val fn_convolve = Atom.atom "convolve"
    val fn_cos = Atom.atom "cos"
    val fn_dot = Atom.atom "dot"
    val fn_inside = Atom.atom "inside"
    val fn_load = Atom.atom "load"
    val fn_pow = Atom.atom "pow"
    val fn_sin = Atom.atom "sin"

  (* kernel names *)
    val kn_bspln3 = Atom.atom "bspln3"

  end

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus:     val fn_sin = Atom.atom &quot;sin&quot;

  (* kernel names *)
    val kn_bspln3 = Atom.atom &quot;bspln3&quot;

  end</div>
</div></div>
</body></html>