Restrict types related to acos/asin.

Related to racket/typed-racket#1428.

Author: samth

math-lib/math/private/matrix/matrix-basic.rkt

@@ -312,9 +312,7 @@
 (define (matrix-cos-angle M N)
   (/ (matrix-dot M N) (* (matrix-2norm M) (matrix-2norm N))))
 
-(: matrix-angle (case-> ((Matrix Flonum) (Matrix Flonum) -> Flonum)
-                        ((Matrix Real) (Matrix Real) -> Real)
-                        ((Matrix Float-Complex) (Matrix Float-Complex) -> Float-Complex)
+(: matrix-angle (case-> ((Matrix Float-Complex) (Matrix Float-Complex) -> Float-Complex)
                         ((Matrix Number) (Matrix Number) -> Number)))
 (define (matrix-angle M N)
   (acos (matrix-cos-angle M N)))

math-lib/math/private/matrix/matrix-operator-norm.rkt

@@ -79,9 +79,7 @@ See "How to Measure Errors" in the LAPACK manual for more details:
   ;(matrix-min-singular-value (matrix* (matrix-hermitian M) R))
   (error 'unimplemented))
 
-(: matrix-basis-angle (case-> ((Matrix Flonum) (Matrix Flonum) -> Flonum)
-                              ((Matrix Real) (Matrix Real) -> Real)
-                              ((Matrix Float-Complex) (Matrix Float-Complex) -> Float-Complex)
+(: matrix-basis-angle (case-> ((Matrix Float-Complex) (Matrix Float-Complex) -> Float-Complex)
                               ((Matrix Number) (Matrix Number) -> Number)))
 ;; Returns the angle between the two subspaces spanned by the two given sets of column vectors
 (define (matrix-basis-angle M R)