|
IEEE_854_remainder
[b,p:above(1),
alpha,E_max:integer,
E_min:{i:integer|E_max>i}]: THEORY
BEGIN
IMPORTING IEEE_854_values[b,p,E_max,E_min],
real_to_fp[b,p,alpha,E_max,E_min],
round
fin, fin1, fin2: var (finite?)
REM(fin1, (fin2:{fin|not zero?(fin)})): fp_num =
let x = value(fin1),
y = value(fin2) in
if (x - y * round_to_even(x/y)) = 0
then finite(sign(fin1),E_min,d_zero)
else real_to_fp(x - y * round_to_even(x/y))
endif
END IEEE_854_remainder
¤ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
