annotate src/fftw-3.3.5/genfft/complex.mli @ 148:b4bfdf10c4b3

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