Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/basis/basis-names.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/basis/basis-names.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 750, Wed Apr 6 21:43:51 2011 UTC revision 751, Wed Apr 6 21:44:20 2011 UTC
# Line 14  Line 14 
14      val op_add = Atom.atom "+"      val op_add = Atom.atom "+"
15      val op_sub = Atom.atom "-"      val op_sub = Atom.atom "-"
16      val op_mul = Atom.atom "*"      val op_mul = Atom.atom "*"
17      val op_convolve = Atom.atom "(*)"      val op_dot = Atom.atom "•"                        (* u2022 *)
18        val op_cross = Atom.atom "×"               (* u00d7 *)
19        val op_convolve = Atom.atom "⊛"           (* u229b *)
20      val op_div = Atom.atom "/"      val op_div = Atom.atom "/"
21      val op_lt = Atom.atom "<"      val op_lt = Atom.atom "<"
22      val op_lte = Atom.atom "<="      val op_lte = Atom.atom "<="
# Line 26  Line 28 
28    (* unary operators *)    (* unary operators *)
29      val op_neg = Atom.atom "unary -"      val op_neg = Atom.atom "unary -"
30      val op_not = Atom.atom "!"      val op_not = Atom.atom "!"
31      val op_D = Atom.atom "D"      val op_D = Atom.atom "∇"                  (* u2207 *)
32        val op_Ddot = Atom.atom "∇•"            (* u2207, u2022 *)
33        val op_Dotimes = Atom.atom "∇⊗"         (* u2207, u2297 *)
34        val op_Dtimes = Atom.atom "∇×"           (* u2207, u00d7 *)
35      val op_norm = Atom.atom "|()|"      val op_norm = Atom.atom "|()|"
36    
37    (* function names *)    (* function names *)
# Line 35  Line 40 
40      val fn_CL = Atom.atom "CL"                  (* linear anisotropy measure *)      val fn_CL = Atom.atom "CL"                  (* linear anisotropy measure *)
41      val fn_convolve = Atom.atom "convolve"      val fn_convolve = Atom.atom "convolve"
42      val fn_cos = Atom.atom "cos"      val fn_cos = Atom.atom "cos"
43      val fn_cross = Atom.atom "cross"      val fn_cross = Atom.atom "cross"            (* to be replaced by infix operator *)
44      val fn_dot = Atom.atom "dot"      val fn_dot = Atom.atom "dot"                (* to be replaced by infix operator *)
45        val fn_D = Atom.atom "D"
46      val fn_evecs = Atom.atom "evecs"      val fn_evecs = Atom.atom "evecs"
47      val fn_evals = Atom.atom "evals"      val fn_evals = Atom.atom "evals"
48      val fn_inside = Atom.atom "inside"      val fn_inside = Atom.atom "inside"
# Line 62  Line 68 
68      val kn_bspln5 = Atom.atom "bspln5"      val kn_bspln5 = Atom.atom "bspln5"
69      val kn_ctmr = Atom.atom "ctmr"      val kn_ctmr = Atom.atom "ctmr"
70      val kn_tent = Atom.atom "tent"      val kn_tent = Atom.atom "tent"
71      val kn_c1tent = Atom.atom "c1tent"      val kn_c1tent = Atom.atom "c1tent"  (* fake version of tent for demo purposes *)
72    
73    end    end

Legend:
Removed from v.750  
changed lines
  Added in v.751

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0