diff --git a/ansi-tests/complex.lsp b/ansi-tests/complex.lsp index 8da4a823df4cfd58d375f32ad0dd8c16ec30c4bb..64e9f050b8f8524d7674e5912055d0ec4f52b0e9 100644 --- a/ansi-tests/complex.lsp +++ b/ansi-tests/complex.lsp @@ -48,3 +48,14 @@ (eql (float 0 x) (realpart c)) (eql x (imagpart c)))) t) + +;;; Tests of some properties of complex numbers + +(deftest complex.5 + (loop for c in *complexes* + unless (loop for type in '(short-float single-float double-float long-float) + always (if (typep (realpart c) type) + (typep (imagpart c) type) + (not (typep (imagpart c) type)))) + collect c) + nil) diff --git a/ansi-tests/universe.lsp b/ansi-tests/universe.lsp index 6d48cb4fac430e57aee505b9cd293fafd53c1870..5c8ccddb79bcafbdd9b3f5e98ec3e6202f401cb0 100644 --- a/ansi-tests/universe.lsp +++ b/ansi-tests/universe.lsp @@ -126,7 +126,23 @@ #C(-1.0 -1.0) #C(1289713.12312 -9.12681271) #C(1.0D100 1.0D100) - #C(-1.0D-100 -1.0D-100))) + #C(-1.0D-100 -1.0D-100) + #C(10.0s0 20.0s0) + #C(100.0l0 200.0l0) + #C(1.0s0 2.0f0) + #C(1.0s0 3.0d0) + #C(1.0s0 4.0l0) + #C(1.0f0 5.0d0) + #C(1.0f0 6.0l0) + #C(1.0d0 7.0l0) + #C(1.0f0 2.0s0) + #C(1.0d0 3.0s0) + #C(1.0l0 4.0s0) + #C(1.0d0 5.0f0) + #C(1.0l0 6.0f0) + #C(1.0l0 7.0d0) + #C(1/2 1/3) + )) (defparameter *numbers* (append *integers*