⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 rounding.dectest

📁 eda is an estimation of distributions algorithm
💻 DECTEST
📖 第 1 页 / 共 4 页
字号:
rsux106  add -12345  0         -> -12345
rsux107  add -12345  0.0000001 -> -12344 Inexact Rounded
rsux108  add -12345  0.000001  -> -12344 Inexact Rounded
rsux109  add -12345  0.00001   -> -12344 Inexact Rounded
rsux110  add -12345  0.0001    -> -12344 Inexact Rounded
rsux111  add -12345  0.001     -> -12344 Inexact Rounded
rsux112  add -12345  0.01      -> -12344 Inexact Rounded
rsux113  add -12345  0.1       -> -12344 Inexact Rounded

rsux115  add -12346  0.49999   -> -12345 Inexact Rounded
rsux116  add -12346  0.5       -> -12345 Inexact Rounded
rsux117  add -12346  0.50001   -> -12345 Inexact Rounded

rsux120  add -12345  0.4       -> -12344 Inexact Rounded
rsux121  add -12345  0.49      -> -12344 Inexact Rounded
rsux122  add -12345  0.499     -> -12344 Inexact Rounded
rsux123  add -12345  0.49999   -> -12344 Inexact Rounded
rsux124  add -12345  0.5       -> -12344 Inexact Rounded
rsux125  add -12345  0.50001   -> -12344 Inexact Rounded
rsux126  add -12345  0.5001    -> -12344 Inexact Rounded
rsux127  add -12345  0.501     -> -12344 Inexact Rounded
rsux128  add -12345  0.51      -> -12344 Inexact Rounded
rsux129  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_down

rsux140  add -12345 -0.1       -> -12345 Inexact Rounded
rsux141  add -12345 -0.01      -> -12345 Inexact Rounded
rsux142  add -12345 -0.001     -> -12345 Inexact Rounded
rsux143  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux144  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux145  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux146  add -12345  0         -> -12345
rsux147  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux148  add -12345  0.000001  -> -12345 Inexact Rounded
rsux149  add -12345  0.00001   -> -12345 Inexact Rounded
rsux150  add -12345  0.0001    -> -12345 Inexact Rounded
rsux151  add -12345  0.001     -> -12345 Inexact Rounded
rsux152  add -12345  0.01      -> -12345 Inexact Rounded
rsux153  add -12345  0.1       -> -12345 Inexact Rounded

rsux155  add -12346  0.49999   -> -12346 Inexact Rounded
rsux156  add -12346  0.5       -> -12345 Inexact Rounded
rsux157  add -12346  0.50001   -> -12345 Inexact Rounded

rsux160  add -12345  0.4       -> -12345 Inexact Rounded
rsux161  add -12345  0.49      -> -12345 Inexact Rounded
rsux162  add -12345  0.499     -> -12345 Inexact Rounded
rsux163  add -12345  0.49999   -> -12345 Inexact Rounded
rsux164  add -12345  0.5       -> -12344 Inexact Rounded
rsux165  add -12345  0.50001   -> -12344 Inexact Rounded
rsux166  add -12345  0.5001    -> -12344 Inexact Rounded
rsux167  add -12345  0.501     -> -12344 Inexact Rounded
rsux168  add -12345  0.51      -> -12344 Inexact Rounded
rsux169  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_even

rsux170  add -12345 -0.1       -> -12345 Inexact Rounded
rsux171  add -12345 -0.01      -> -12345 Inexact Rounded
rsux172  add -12345 -0.001     -> -12345 Inexact Rounded
rsux173  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux174  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux175  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux176  add -12345  0         -> -12345
rsux177  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux178  add -12345  0.000001  -> -12345 Inexact Rounded
rsux179  add -12345  0.00001   -> -12345 Inexact Rounded
rsux180  add -12345  0.0001    -> -12345 Inexact Rounded
rsux181  add -12345  0.001     -> -12345 Inexact Rounded
rsux182  add -12345  0.01      -> -12345 Inexact Rounded
rsux183  add -12345  0.1       -> -12345 Inexact Rounded

rsux185  add -12346  0.49999   -> -12346 Inexact Rounded
rsux186  add -12346  0.5       -> -12346 Inexact Rounded
rsux187  add -12346  0.50001   -> -12345 Inexact Rounded

rsux190  add -12345  0.4       -> -12345 Inexact Rounded
rsux191  add -12345  0.49      -> -12345 Inexact Rounded
rsux192  add -12345  0.499     -> -12345 Inexact Rounded
rsux193  add -12345  0.49999   -> -12345 Inexact Rounded
rsux194  add -12345  0.5       -> -12344 Inexact Rounded
rsux195  add -12345  0.50001   -> -12344 Inexact Rounded
rsux196  add -12345  0.5001    -> -12344 Inexact Rounded
rsux197  add -12345  0.501     -> -12344 Inexact Rounded
rsux198  add -12345  0.51      -> -12344 Inexact Rounded
rsux199  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_up

rsux200  add -12345 -0.1       -> -12345 Inexact Rounded
rsux201  add -12345 -0.01      -> -12345 Inexact Rounded
rsux202  add -12345 -0.001     -> -12345 Inexact Rounded
rsux203  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux204  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux205  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux206  add -12345  0         -> -12345
rsux207  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux208  add -12345  0.000001  -> -12345 Inexact Rounded
rsux209  add -12345  0.00001   -> -12345 Inexact Rounded
rsux210  add -12345  0.0001    -> -12345 Inexact Rounded
rsux211  add -12345  0.001     -> -12345 Inexact Rounded
rsux212  add -12345  0.01      -> -12345 Inexact Rounded
rsux213  add -12345  0.1       -> -12345 Inexact Rounded

rsux215  add -12346  0.49999   -> -12346 Inexact Rounded
rsux216  add -12346  0.5       -> -12346 Inexact Rounded
rsux217  add -12346  0.50001   -> -12345 Inexact Rounded

rsux220  add -12345  0.4       -> -12345 Inexact Rounded
rsux221  add -12345  0.49      -> -12345 Inexact Rounded
rsux222  add -12345  0.499     -> -12345 Inexact Rounded
rsux223  add -12345  0.49999   -> -12345 Inexact Rounded
rsux224  add -12345  0.5       -> -12345 Inexact Rounded
rsux225  add -12345  0.50001   -> -12344 Inexact Rounded
rsux226  add -12345  0.5001    -> -12344 Inexact Rounded
rsux227  add -12345  0.501     -> -12344 Inexact Rounded
rsux228  add -12345  0.51      -> -12344 Inexact Rounded
rsux229  add -12345  0.6       -> -12344 Inexact Rounded

rounding: up

rsux230  add -12345 -0.1       -> -12346 Inexact Rounded
rsux231  add -12345 -0.01      -> -12346 Inexact Rounded
rsux232  add -12345 -0.001     -> -12346 Inexact Rounded
rsux233  add -12345 -0.00001   -> -12346 Inexact Rounded
rsux234  add -12345 -0.000001  -> -12346 Inexact Rounded
rsux235  add -12345 -0.0000001 -> -12346 Inexact Rounded
rsux236  add -12345  0         -> -12345
rsux237  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux238  add -12345  0.000001  -> -12345 Inexact Rounded
rsux239  add -12345  0.00001   -> -12345 Inexact Rounded
rsux240  add -12345  0.0001    -> -12345 Inexact Rounded
rsux241  add -12345  0.001     -> -12345 Inexact Rounded
rsux242  add -12345  0.01      -> -12345 Inexact Rounded
rsux243  add -12345  0.1       -> -12345 Inexact Rounded

rsux245  add -12346  0.49999   -> -12346 Inexact Rounded
rsux246  add -12346  0.5       -> -12346 Inexact Rounded
rsux247  add -12346  0.50001   -> -12346 Inexact Rounded

rsux250  add -12345  0.4       -> -12345 Inexact Rounded
rsux251  add -12345  0.49      -> -12345 Inexact Rounded
rsux252  add -12345  0.499     -> -12345 Inexact Rounded
rsux253  add -12345  0.49999   -> -12345 Inexact Rounded
rsux254  add -12345  0.5       -> -12345 Inexact Rounded
rsux255  add -12345  0.50001   -> -12345 Inexact Rounded
rsux256  add -12345  0.5001    -> -12345 Inexact Rounded
rsux257  add -12345  0.501     -> -12345 Inexact Rounded
rsux258  add -12345  0.51      -> -12345 Inexact Rounded
rsux259  add -12345  0.6       -> -12345 Inexact Rounded

rounding: floor

rsux300  add -12345 -0.1       -> -12346 Inexact Rounded
rsux301  add -12345 -0.01      -> -12346 Inexact Rounded
rsux302  add -12345 -0.001     -> -12346 Inexact Rounded
rsux303  add -12345 -0.00001   -> -12346 Inexact Rounded
rsux304  add -12345 -0.000001  -> -12346 Inexact Rounded
rsux305  add -12345 -0.0000001 -> -12346 Inexact Rounded
rsux306  add -12345  0         -> -12345
rsux307  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux308  add -12345  0.000001  -> -12345 Inexact Rounded
rsux309  add -12345  0.00001   -> -12345 Inexact Rounded
rsux310  add -12345  0.0001    -> -12345 Inexact Rounded
rsux311  add -12345  0.001     -> -12345 Inexact Rounded
rsux312  add -12345  0.01      -> -12345 Inexact Rounded
rsux313  add -12345  0.1       -> -12345 Inexact Rounded

rsux315  add -12346  0.49999   -> -12346 Inexact Rounded
rsux316  add -12346  0.5       -> -12346 Inexact Rounded
rsux317  add -12346  0.50001   -> -12346 Inexact Rounded

rsux320  add -12345  0.4       -> -12345 Inexact Rounded
rsux321  add -12345  0.49      -> -12345 Inexact Rounded
rsux322  add -12345  0.499     -> -12345 Inexact Rounded
rsux323  add -12345  0.49999   -> -12345 Inexact Rounded
rsux324  add -12345  0.5       -> -12345 Inexact Rounded
rsux325  add -12345  0.50001   -> -12345 Inexact Rounded
rsux326  add -12345  0.5001    -> -12345 Inexact Rounded
rsux327  add -12345  0.501     -> -12345 Inexact Rounded
rsux328  add -12345  0.51      -> -12345 Inexact Rounded
rsux329  add -12345  0.6       -> -12345 Inexact Rounded

rounding: ceiling

rsux330  add -12345 -0.1       -> -12345 Inexact Rounded
rsux331  add -12345 -0.01      -> -12345 Inexact Rounded
rsux332  add -12345 -0.001     -> -12345 Inexact Rounded
rsux333  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux334  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux335  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux336  add -12345  0         -> -12345
rsux337  add -12345  0.0000001 -> -12344 Inexact Rounded
rsux338  add -12345  0.000001  -> -12344 Inexact Rounded
rsux339  add -12345  0.00001   -> -12344 Inexact Rounded
rsux340  add -12345  0.0001    -> -12344 Inexact Rounded
rsux341  add -12345  0.001     -> -12344 Inexact Rounded
rsux342  add -12345  0.01      -> -12344 Inexact Rounded
rsux343  add -12345  0.1       -> -12344 Inexact Rounded

rsux345  add -12346  0.49999   -> -12345 Inexact Rounded
rsux346  add -12346  0.5       -> -12345 Inexact Rounded
rsux347  add -12346  0.50001   -> -12345 Inexact Rounded

rsux350  add -12345  0.4       -> -12344 Inexact Rounded
rsux351  add -12345  0.49      -> -12344 Inexact Rounded
rsux352  add -12345  0.499     -> -12344 Inexact Rounded
rsux353  add -12345  0.49999   -> -12344 Inexact Rounded
rsux354  add -12345  0.5       -> -12344 Inexact Rounded
rsux355  add -12345  0.50001   -> -12344 Inexact Rounded
rsux356  add -12345  0.5001    -> -12344 Inexact Rounded
rsux357  add -12345  0.501     -> -12344 Inexact Rounded
rsux358  add -12345  0.51      -> -12344 Inexact Rounded
rsux359  add -12345  0.6       -> -12344 Inexact Rounded

-- Check cancellation subtractions
-- (The IEEE 854 'curious rule' in $6.3)

rounding: down
rzex001  add  0    0    ->  0
rzex002  add  0   -0    ->  0
rzex003  add -0    0    ->  0
rzex004  add -0   -0    -> -0
rzex005  add  1   -1    ->  0
rzex006  add -1    1    ->  0
rzex007  add  1.5 -1.5  ->  0.0
rzex008  add -1.5  1.5  ->  0.0
rzex009  add  2   -2    ->  0
rzex010  add -2    2    ->  0

rounding: up
rzex011  add  0    0    ->  0
rzex012  add  0   -0    ->  0
rzex013  add -0    0    ->  0
rzex014  add -0   -0    -> -0
rzex015  add  1   -1    ->  0
rzex016  add -1    1    ->  0
rzex017  add  1.5 -1.5  ->  0.0
rzex018  add -1.5  1.5  ->  0.0
rzex019  add  2   -2    ->  0
rzex020  add -2    2    ->  0

rounding: half_up
rzex021  add  0    0    ->  0
rzex022  add  0   -0    ->  0
rzex023  add -0    0    ->  0
rzex024  add -0   -0    -> -0
rzex025  add  1   -1    ->  0
rzex026  add -1    1    ->  0
rzex027  add  1.5 -1.5  ->  0.0
rzex028  add -1.5  1.5  ->  0.0
rzex029  add  2   -2    ->  0
rzex030  add -2    2    ->  0

rounding: half_down
rzex031  add  0    0    ->  0
rzex032  add  0   -0    ->  0
rzex033  add -0    0    ->  0
rzex034  add -0   -0    -> -0
rzex035  add  1   -1    ->  0
rzex036  add -1    1    ->  0
rzex037  add  1.5 -1.5  ->  0.0
rzex038  add -1.5  1.5  ->  0.0
rzex039  add  2   -2    ->  0
rzex040  add -2    2    ->  0

rounding: half_even
rzex041  add  0    0    ->  0
rzex042  add  0   -0    ->  0

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -