comparison fft/fftw/fftw-3.3.4/genfft/complex.mli @ 19:26056e866c29

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