|
Chris@82
|
1 (*
|
|
Chris@82
|
2 * Copyright (c) 1997-1999 Massachusetts Institute of Technology
|
|
Chris@82
|
3 * Copyright (c) 2003, 2007-14 Matteo Frigo
|
|
Chris@82
|
4 * Copyright (c) 2003, 2007-14 Massachusetts Institute of Technology
|
|
Chris@82
|
5 *
|
|
Chris@82
|
6 * This program is free software; you can redistribute it and/or modify
|
|
Chris@82
|
7 * it under the terms of the GNU General Public License as published by
|
|
Chris@82
|
8 * the Free Software Foundation; either version 2 of the License, or
|
|
Chris@82
|
9 * (at your option) any later version.
|
|
Chris@82
|
10 *
|
|
Chris@82
|
11 * This program is distributed in the hope that it will be useful,
|
|
Chris@82
|
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Chris@82
|
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
Chris@82
|
14 * GNU General Public License for more details.
|
|
Chris@82
|
15 *
|
|
Chris@82
|
16 * You should have received a copy of the GNU General Public License
|
|
Chris@82
|
17 * along with this program; if not, write to the Free Software
|
|
Chris@82
|
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
Chris@82
|
19 *
|
|
Chris@82
|
20 *)
|
|
Chris@82
|
21
|
|
Chris@82
|
22 type expr
|
|
Chris@82
|
23 val make : (Expr.expr * Expr.expr) -> expr
|
|
Chris@82
|
24 val two : expr
|
|
Chris@82
|
25 val one : expr
|
|
Chris@82
|
26 val i : expr
|
|
Chris@82
|
27 val zero : expr
|
|
Chris@82
|
28 val half : expr
|
|
Chris@82
|
29 val inverse_int : int -> expr
|
|
Chris@82
|
30 val inverse_int_sqrt : int -> expr
|
|
Chris@82
|
31 val int_sqrt : int -> expr
|
|
Chris@82
|
32 val times : expr -> expr -> expr
|
|
Chris@82
|
33 val ctimes : expr -> expr -> expr
|
|
Chris@82
|
34 val ctimesj : expr -> expr -> expr
|
|
Chris@82
|
35 val uminus : expr -> expr
|
|
Chris@82
|
36 val exp : int -> int -> expr
|
|
Chris@82
|
37 val sec : int -> int -> expr
|
|
Chris@82
|
38 val csc : int -> int -> expr
|
|
Chris@82
|
39 val tan : int -> int -> expr
|
|
Chris@82
|
40 val cot : int -> int -> expr
|
|
Chris@82
|
41 val plus : expr list -> expr
|
|
Chris@82
|
42 val real : expr -> expr
|
|
Chris@82
|
43 val imag : expr -> expr
|
|
Chris@82
|
44 val conj : expr -> expr
|
|
Chris@82
|
45 val nan : Expr.transcendent -> expr
|
|
Chris@82
|
46 val sigma : int -> int -> (int -> expr) -> expr
|
|
Chris@82
|
47
|
|
Chris@82
|
48 val (@*) : expr -> expr -> expr
|
|
Chris@82
|
49 val (@+) : expr -> expr -> expr
|
|
Chris@82
|
50 val (@-) : expr -> expr -> expr
|
|
Chris@82
|
51
|
|
Chris@82
|
52 (* a signal is a map from integers to expressions *)
|
|
Chris@82
|
53 type signal = int -> expr
|
|
Chris@82
|
54 val infinite : int -> signal -> signal
|
|
Chris@82
|
55
|
|
Chris@82
|
56 val store_real : Variable.variable -> expr -> Expr.expr
|
|
Chris@82
|
57 val store_imag : Variable.variable -> expr -> Expr.expr
|
|
Chris@82
|
58 val store :
|
|
Chris@82
|
59 Variable.variable * Variable.variable -> expr -> Expr.expr * Expr.expr
|
|
Chris@82
|
60
|
|
Chris@82
|
61 val assign_real : Variable.variable -> expr -> Expr.assignment
|
|
Chris@82
|
62 val assign_imag : Variable.variable -> expr -> Expr.assignment
|
|
Chris@82
|
63 val assign :
|
|
Chris@82
|
64 Variable.variable * Variable.variable ->
|
|
Chris@82
|
65 expr -> Expr.assignment * Expr.assignment
|
|
Chris@82
|
66
|
|
Chris@82
|
67 val hermitian : int -> (int -> expr) -> int -> expr
|
|
Chris@82
|
68 val antihermitian : int -> (int -> expr) -> int -> expr
|
