diff options
| author | thevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2008-05-20 16:07:05 +0000 |
|---|---|---|
| committer | thevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2008-05-20 16:07:05 +0000 |
| commit | 9ec7d187aa59155fee7092de88ccc9e0cffbf8c2 (patch) | |
| tree | f01ebba7619c9fc037f5c81d38bed4e27f0cd6be /tests/tcosh.c | |
| parent | 31921ad2183826be4fca909e939ccaff0d30d22f (diff) | |
| download | mpc-9ec7d187aa59155fee7092de88ccc9e0cffbf8c2.tar.gz | |
Improve test suit.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@135 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/tcosh.c')
| -rw-r--r-- | tests/tcosh.c | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/tests/tcosh.c b/tests/tcosh.c index 867a535..149abc3 100644 --- a/tests/tcosh.c +++ b/tests/tcosh.c @@ -540,27 +540,27 @@ pure_real_argument () mpfr_cosh (MPC_RE (u), MPC_RE (z), GMP_RNDN); mpfr_set_ui (MPC_IM (u), 0, GMP_RNDN); mpc_cosh (cosh_z, z, MPC_RNDNN); - if (mpc_cmp (cosh_z, u) != 0) + if (mpc_cmp (cosh_z, u) != 0 || mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); /* cosh(1 -i*0) = cosh(1) -i*0 */ mpc_conj (z, z, MPC_RNDNN); mpc_conj (u, u, MPC_RNDNN); mpc_cosh (cosh_z, z, MPC_RNDNN); - if (mpc_cmp (cosh_z, u) != 0) + if (mpc_cmp (cosh_z, u) != 0 || !mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); /* cosh(-1 +i*0) = cosh(1) -i*0 */ mpc_neg (z, z, MPC_RNDNN); mpc_cosh (cosh_z, z, MPC_RNDNN); - if (mpc_cmp (cosh_z, u) != 0) + if (mpc_cmp (cosh_z, u) != 0 || !mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); /* cosh(-1 -i*0) = cosh(1) +i*0 */ mpc_conj (z, z, MPC_RNDNN); mpc_conj (u, u, MPC_RNDNN); mpc_cosh (cosh_z, z, MPC_RNDNN); - if (mpc_cmp (cosh_z, u) != 0) + if (mpc_cmp (cosh_z, u) != 0 || mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); mpc_clear (cosh_z); @@ -585,24 +585,28 @@ pure_imaginary_argument () mpc_set_ui_ui (z, 0, 1, MPC_RNDNN); mpfr_cos (MPC_RE (u), MPC_IM (z), GMP_RNDN); mpfr_set_ui (MPC_IM (u), 0, GMP_RNDN); - if (mpc_cmp (cosh_z, u) != 0) + mpc_cosh (cosh_z, z, MPC_RNDNN); + if (mpc_cmp (cosh_z, u) != 0 || mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); /* cosh(+0 -i) = cos(1) -i*0 */ mpc_conj (z, z, MPC_RNDNN); mpc_conj (u, u, MPC_RNDNN); - if (mpc_cmp (cosh_z, u) != 0) + mpc_cosh (cosh_z, z, MPC_RNDNN); + if (mpc_cmp (cosh_z, u) != 0 || !mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); /* cosh(-0 +i) = cos(1) -i*0 */ mpc_neg (z, z, MPC_RNDNN); - if (mpc_cmp (cosh_z, u) != 0) + mpc_cosh (cosh_z, z, MPC_RNDNN); + if (mpc_cmp (cosh_z, u) != 0 || !mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); /* cosh(-0 -i) = cos(1) +i*0 */ mpc_conj (z, z, MPC_RNDNN); mpc_conj (u, u, MPC_RNDNN); - if (mpc_cmp (cosh_z, u) != 0) + mpc_cosh (cosh_z, z, MPC_RNDNN); + if (mpc_cmp (cosh_z, u) != 0 || mpfr_signbit (MPC_IM (cosh_z))) test_failed (z, cosh_z, u); mpc_clear (cosh_z); |