File: TODO

package info (click to toggle)
mpfi 1.5.1-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 3,676 kB
  • ctags: 1,018
  • sloc: ansic: 14,950; sh: 11,118; makefile: 95
file content (49 lines) | stat: -rw-r--r-- 1,145 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
* Fix predicates
From: "Sisyphus" <sisyphus1@optusnet.com.au>
To: "philippe theveny" <philippe.theveny@inrialpes.fr>,
        <Nathalie.Revol@ens-lyon.fr>
Subject: mpfi-1.4: Some surprises wrt nans
Date: Mon, 1 Feb 2010 21:26:01 +1100

Hi,

Here's the demo prog:

###############################
#include <stdio.h>
#include <mpfi.h>
#include <mpfi_io.h>

int main(void) {
mpfi_t x;

mpfi_init(x);
mpfi_out_str(stdout, 10, 0, x);

printf("\n%d %d %d %d %d %d\n",
        mpfi_is_pos(x),
        mpfi_is_strictly_pos(x),
        mpfi_is_nonneg(x),
        mpfi_is_neg(x),
        mpfi_is_strictly_neg(x),
        mpfi_is_nonpos(x));

return 0;
}

###############################

It shows that mpfi_is_pos(), mpfi_is_strictly_pos(), mpfi_is_nonneg(), 
mpfi_is_neg(), mpfi_is_strictly_neg() and mpfi_is_nonpos() all return true 
for nans.

I expected that they all would return false .... though there might be some 
room for debate on that as regards nonpos and nonneg.

(Btw, there's no need for any patches - I can wait for the next release. 
Main purpose of this post is just to make sure you're aware of this 
behaviour.)

Cheers,
Rob 
------