Complex: generalized type of exp
authorhuffman
Mon May 28 16:30:28 2007 +0200 (2007-05-28)
changeset 2311616e1401afe91
parent 23115 4615b2078592
child 23117 e2744f32641e
Complex: generalized type of exp
NEWS
     1.1 --- a/NEWS	Mon May 28 16:29:17 2007 +0200
     1.2 +++ b/NEWS	Mon May 28 16:30:28 2007 +0200
     1.3 @@ -924,6 +924,7 @@
     1.4    is(NS)Cont     :: ['a::real_normed_vector => 'b::real_normed_vector, 'a] => bool
     1.5    deriv          :: ['a::real_normed_field => 'a, 'a, 'a] => bool
     1.6    sgn            :: 'a::real_normed_vector => 'a
     1.7 +  exp            :: 'a::{recpower,real_normed_field,banach} => 'a
     1.8  
     1.9  * Complex: Some complex-specific constants are now abbreviations for
    1.10  overloaded ones: complex_of_real = of_real, cmod = norm, hcmod =