Mercurial > hg > sv-dependency-builds

annotate src/fftw-3.3.8/genfft/complex.mli @ 83:ae30d91d2ffe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace these with versions built using an older toolset (so as to avoid ABI compatibilities when linking on Ubuntu 14.04 for packaging purposes)
author Chris Cannam
date Fri, 07 Feb 2020 11:51:13 +0000
parents d0c2a83c1364
children
rev   line source
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