9 |
structure BasisNames = |
structure BasisNames = |
10 |
struct |
struct |
11 |
|
|
12 |
(* operators *) |
(* binary operators *) |
13 |
val op_at = Atom.atom "@" |
val op_at = Atom.atom "@" |
14 |
val op_add = Atom.atom "+" |
val op_add = Atom.atom "+" |
15 |
val op_sub = Atom.atom "-" |
val op_sub = Atom.atom "-" |
17 |
val op_div = Atom.atom "/" |
val op_div = Atom.atom "/" |
18 |
val op_lt = Atom.atom "<" |
val op_lt = Atom.atom "<" |
19 |
val op_lte = Atom.atom "<=" |
val op_lte = Atom.atom "<=" |
20 |
val op_eql = Atom.atom "==" |
val op_equ = Atom.atom "==" |
21 |
val op_neq = Atom.atom "!=" |
val op_neq = Atom.atom "!=" |
22 |
val op_gte = Atom.atom ">=" |
val op_gte = Atom.atom ">=" |
23 |
val op_gt = Atom.atom ">" |
val op_gt = Atom.atom ">" |
24 |
|
val op_subscript = Atom.atom "[]" |
25 |
|
|
26 |
|
(* unary operators *) |
27 |
|
val op_neg = Atom.atom "unary -" |
28 |
|
val op_not = Atom.atom "!" |
29 |
val op_D = Atom.atom "D" |
val op_D = Atom.atom "D" |
|
val op_orelse = Atom.atom "||" |
|
|
val op_andalso = Atom.atom "&&" |
|
30 |
val op_norm = Atom.atom "|()|" |
val op_norm = Atom.atom "|()|" |
31 |
|
|
32 |
(* function names *) |
(* function names *) |
36 |
val fn_dot = Atom.atom "dot" |
val fn_dot = Atom.atom "dot" |
37 |
val fn_inside = Atom.atom "inside" |
val fn_inside = Atom.atom "inside" |
38 |
val fn_load = Atom.atom "load" |
val fn_load = Atom.atom "load" |
39 |
|
val fn_modulate = Atom.atom "modulate" |
40 |
val fn_pow = Atom.atom "pow" |
val fn_pow = Atom.atom "pow" |
41 |
val fn_principleEvec = Atom.atom "principleEvec" |
val fn_principleEvec = Atom.atom "principleEvec" |
42 |
val fn_sin = Atom.atom "sin" |
val fn_sin = Atom.atom "sin" |