src/test/regress/sql/float8.sql

   1 --
   2 -- FLOAT8
   3 --
   4
   5 CREATE TABLE FLOAT8_TBL(f1 float8);
   6
   7 INSERT INTO FLOAT8_TBL(f1) VALUES ('    0.0   ');
   8 INSERT INTO FLOAT8_TBL(f1) VALUES ('1004.30  ');
   9 INSERT INTO FLOAT8_TBL(f1) VALUES ('   -34.84');
  10 INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e+200');
  11 INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e-200');
  12
  13 -- test for underflow and overflow handling
  14 SELECT '10e400'::float8;
  15 SELECT '-10e400'::float8;
  16 SELECT '10e-400'::float8;
  17 SELECT '-10e-400'::float8;
  18
  19 -- bad input
  20 INSERT INTO FLOAT8_TBL(f1) VALUES ('');
  21 INSERT INTO FLOAT8_TBL(f1) VALUES ('     ');
  22 INSERT INTO FLOAT8_TBL(f1) VALUES ('xyz');
  23 INSERT INTO FLOAT8_TBL(f1) VALUES ('5.0.0');
  24 INSERT INTO FLOAT8_TBL(f1) VALUES ('5 . 0');
  25 INSERT INTO FLOAT8_TBL(f1) VALUES ('5.   0');
  26 INSERT INTO FLOAT8_TBL(f1) VALUES ('    - 3');
  27 INSERT INTO FLOAT8_TBL(f1) VALUES ('123           5');
  28
  29 -- special inputs
  30 SELECT 'NaN'::float8;
  31 SELECT 'nan'::float8;
  32 SELECT '   NAN  '::float8;
  33 SELECT 'infinity'::float8;
  34 SELECT '          -INFINiTY   '::float8;
  35 -- bad special inputs
  36 SELECT 'N A N'::float8;
  37 SELECT 'NaN x'::float8;
  38 SELECT ' INFINITY    x'::float8;
  39
  40 SELECT 'Infinity'::float8 + 100.0;
  41 SELECT 'Infinity'::float8 / 'Infinity'::float8;
  42 SELECT 'nan'::float8 / 'nan'::float8;
  43
  44 SELECT '' AS five, * FROM FLOAT8_TBL;
  45
  46 SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <> '1004.3';
  47
  48 SELECT '' AS one, f.* FROM FLOAT8_TBL f WHERE f.f1 = '1004.3';
  49
  50 SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE '1004.3' > f.f1;
  51
  52 SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE  f.f1 < '1004.3';
  53
  54 SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE '1004.3' >= f.f1;
  55
  56 SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE  f.f1 <= '1004.3';
  57
  58 SELECT '' AS three, f.f1, f.f1 * '-10' AS x
  59    FROM FLOAT8_TBL f
  60    WHERE f.f1 > '0.0';
  61
  62 SELECT '' AS three, f.f1, f.f1 + '-10' AS x
  63    FROM FLOAT8_TBL f
  64    WHERE f.f1 > '0.0';
  65
  66 SELECT '' AS three, f.f1, f.f1 / '-10' AS x
  67    FROM FLOAT8_TBL f
  68    WHERE f.f1 > '0.0';
  69
  70 SELECT '' AS three, f.f1, f.f1 - '-10' AS x
  71    FROM FLOAT8_TBL f
  72    WHERE f.f1 > '0.0';
  73
  74 SELECT '' AS one, f.f1 ^ '2.0' AS square_f1
  75    FROM FLOAT8_TBL f where f.f1 = '1004.3';
  76
  77 -- absolute value
  78 SELECT '' AS five, f.f1, @f.f1 AS abs_f1
  79    FROM FLOAT8_TBL f;
  80
  81 -- truncate
  82 SELECT '' AS five, f.f1, trunc(f.f1) AS trunc_f1
  83    FROM FLOAT8_TBL f;
  84
  85 -- round
  86 SELECT '' AS five, f.f1, round(f.f1) AS round_f1
  87    FROM FLOAT8_TBL f;
  88
  89 -- ceil / ceiling
  90 select ceil(f1) as ceil_f1 from float8_tbl f;
  91 select ceiling(f1) as ceiling_f1 from float8_tbl f;
  92
  93 -- floor
  94 select floor(f1) as floor_f1 from float8_tbl f;
  95
  96 -- sign
  97 select sign(f1) as sign_f1 from float8_tbl f;
  98
  99 -- square root
 100 SELECT sqrt(float8 '64') AS eight;
 101
 102 SELECT |/ float8 '64' AS eight;
 103
 104 SELECT '' AS three, f.f1, |/f.f1 AS sqrt_f1
 105    FROM FLOAT8_TBL f
 106    WHERE f.f1 > '0.0';
 107
 108 -- power
 109 SELECT power(float8 '144', float8 '0.5');
 110
 111 -- take exp of ln(f.f1)
 112 SELECT '' AS three, f.f1, exp(ln(f.f1)) AS exp_ln_f1
 113    FROM FLOAT8_TBL f
 114    WHERE f.f1 > '0.0';
 115
 116 -- cube root
 117 SELECT ||/ float8 '27' AS three;
 118
 119 SELECT '' AS five, f.f1, ||/f.f1 AS cbrt_f1 FROM FLOAT8_TBL f;
 120
 121
 122 SELECT '' AS five, * FROM FLOAT8_TBL;
 123
 124 UPDATE FLOAT8_TBL
 125    SET f1 = FLOAT8_TBL.f1 * '-1'
 126    WHERE FLOAT8_TBL.f1 > '0.0';
 127
 128 SELECT '' AS bad, f.f1 * '1e200' from FLOAT8_TBL f;
 129
 130 SELECT '' AS bad, f.f1 ^ '1e200' from FLOAT8_TBL f;
 131
 132 SELECT 0 ^ 0 + 0 ^ 1 + 0 ^ 0.0 + 0 ^ 0.5;
 133
 134 SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 = '0.0' ;
 135
 136 SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 < '0.0' ;
 137
 138 SELECT '' AS bad, exp(f.f1) from FLOAT8_TBL f;
 139
 140 SELECT '' AS bad, f.f1 / '0.0' from FLOAT8_TBL f;
 141
 142 SELECT '' AS five, * FROM FLOAT8_TBL;
 143
 144 -- test for over- and underflow
 145 INSERT INTO FLOAT8_TBL(f1) VALUES ('10e400');
 146
 147 INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e400');
 148
 149 INSERT INTO FLOAT8_TBL(f1) VALUES ('10e-400');
 150
 151 INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e-400');
 152
 153 -- maintain external table consistency across platforms
 154 -- delete all values and reinsert well-behaved ones
 155
 156 DELETE FROM FLOAT8_TBL;
 157
 158 INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0');
 159
 160 INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84');
 161
 162 INSERT INTO FLOAT8_TBL(f1) VALUES ('-1004.30');
 163
 164 INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e+200');
 165
 166 INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e-200');
 167
 168 SELECT '' AS five, * FROM FLOAT8_TBL;
 169