1(*
2    Title:      Standard Basis Library: Math Signature.
3    Author:     David Matthews
4    Copyright   David Matthews 2000
5
6    This library is free software; you can redistribute it and/or
7    modify it under the terms of the GNU Lesser General Public
8    License as published by the Free Software Foundation; either
9    version 2.1 of the License, or (at your option) any later version.
10    
11    This library 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 GNU
14    Lesser General Public License for more details.
15    
16    You should have received a copy of the GNU Lesser General Public
17    License along with this library; if not, write to the Free Software
18    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
19*)
20
21(* G&R 2004 status: checked, no change required. *)
22
23signature MATH =
24sig
25    type real
26    val pi : real 
27    val e : real 
28    val sqrt : real -> real 
29    val sin : real -> real 
30    val cos : real -> real 
31    val tan : real -> real 
32    val asin : real -> real 
33    val acos : real -> real 
34    val atan : real -> real 
35    val atan2 : (real * real) -> real 
36    val exp : real -> real 
37    val pow : (real * real) -> real 
38    val ln : real -> real 
39    val log10 : real -> real 
40    val sinh : real -> real 
41    val cosh : real -> real 
42    val tanh : real -> real 
43end;
44