mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-30 17:00:23 +02:00
Code Activity

(scm_product): For flonum*inum and complex*inum, return

Browse source 
exact 0 if inum==0.  Already done for inum*flonum and inum*complex,
and as per R5RS section "Exactness".
This commit is contained in:
Kevin Ryde 2006-12-05 00:58:04 +00:00
parent f6bf9ed903
commit 924a59a7b9
1 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

16
libguile/numbers.c
View file

@ -4492,7 +4492,12 @@ scm_product (SCM x, SCM y)
else if (SCM_REALP (x)) else if (SCM_REALP (x))
{ {
if (SCM_I_INUMP (y)) if (SCM_I_INUMP (y))
return scm_from_double (SCM_I_INUM (y) * SCM_REAL_VALUE (x)); {
/* inexact*exact0 => exact 0, per R5RS "Exactness" section */
if (scm_is_eq (y, SCM_INUM0))
return y;
return scm_from_double (SCM_I_INUM (y) * SCM_REAL_VALUE (x));
}
else if (SCM_BIGP (y)) else if (SCM_BIGP (y))
{ {
double result = mpz_get_d (SCM_I_BIG_MPZ (y)) * SCM_REAL_VALUE (x); double result = mpz_get_d (SCM_I_BIG_MPZ (y)) * SCM_REAL_VALUE (x);
@ -4512,8 +4517,13 @@ scm_product (SCM x, SCM y)
else if (SCM_COMPLEXP (x)) else if (SCM_COMPLEXP (x))
{ {
if (SCM_I_INUMP (y)) if (SCM_I_INUMP (y))
return scm_c_make_rectangular (SCM_I_INUM (y) * SCM_COMPLEX_REAL (x), {
SCM_I_INUM (y) * SCM_COMPLEX_IMAG (x)); /* inexact*exact0 => exact 0, per R5RS "Exactness" section */
if (scm_is_eq (y, SCM_INUM0))
return y;
return scm_c_make_rectangular (SCM_I_INUM (y) * SCM_COMPLEX_REAL (x),
SCM_I_INUM (y) * SCM_COMPLEX_IMAG (x));
}
else if (SCM_BIGP (y)) else if (SCM_BIGP (y))
{ {
double z = mpz_get_d (SCM_I_BIG_MPZ (y)); double z = mpz_get_d (SCM_I_BIG_MPZ (y));