2000-01-04 17:21:02 +01:00
|
|
|
--
|
|
|
|
-- FLOAT8
|
|
|
|
--
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
CREATE TABLE FLOAT8_TBL(f1 float8);
|
|
|
|
|
2004-03-11 03:11:14 +01:00
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES (' 0.0 ');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('1004.30 ');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES (' -34.84');
|
1997-04-05 13:26:55 +02:00
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e+200');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e-200');
|
|
|
|
|
2004-03-24 03:02:27 +01:00
|
|
|
-- test for underflow and overflow handling
|
|
|
|
SELECT '10e400'::float8;
|
|
|
|
SELECT '-10e400'::float8;
|
|
|
|
SELECT '10e-400'::float8;
|
|
|
|
SELECT '-10e-400'::float8;
|
2004-03-11 03:11:14 +01:00
|
|
|
|
|
|
|
-- bad input
|
2005-02-11 05:09:05 +01:00
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('');
|
2004-03-11 03:11:14 +01:00
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES (' ');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('xyz');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('5.0.0');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('5 . 0');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('5. 0');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES (' - 3');
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('123 5');
|
|
|
|
|
|
|
|
-- special inputs
|
|
|
|
SELECT 'NaN'::float8;
|
|
|
|
SELECT 'nan'::float8;
|
|
|
|
SELECT ' NAN '::float8;
|
2004-03-12 01:25:43 +01:00
|
|
|
SELECT 'infinity'::float8;
|
|
|
|
SELECT ' -INFINiTY '::float8;
|
2004-03-11 03:11:14 +01:00
|
|
|
-- bad special inputs
|
|
|
|
SELECT 'N A N'::float8;
|
2004-03-12 01:25:43 +01:00
|
|
|
SELECT 'NaN x'::float8;
|
|
|
|
SELECT ' INFINITY x'::float8;
|
|
|
|
|
|
|
|
SELECT 'Infinity'::float8 + 100.0;
|
|
|
|
SELECT 'Infinity'::float8 / 'Infinity'::float8;
|
|
|
|
SELECT 'nan'::float8 / 'nan'::float8;
|
2010-02-27 22:53:21 +01:00
|
|
|
SELECT 'nan'::numeric::float8;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
2005-04-07 03:51:41 +02:00
|
|
|
SELECT '' AS five, * FROM FLOAT8_TBL;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <> '1004.3';
|
|
|
|
|
|
|
|
SELECT '' AS one, f.* FROM FLOAT8_TBL f WHERE f.f1 = '1004.3';
|
|
|
|
|
|
|
|
SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE '1004.3' > f.f1;
|
|
|
|
|
|
|
|
SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE f.f1 < '1004.3';
|
|
|
|
|
|
|
|
SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE '1004.3' >= f.f1;
|
|
|
|
|
|
|
|
SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <= '1004.3';
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
SELECT '' AS three, f.f1, f.f1 * '-10' AS x
|
1997-04-05 13:26:55 +02:00
|
|
|
FROM FLOAT8_TBL f
|
|
|
|
WHERE f.f1 > '0.0';
|
|
|
|
|
|
|
|
SELECT '' AS three, f.f1, f.f1 + '-10' AS x
|
|
|
|
FROM FLOAT8_TBL f
|
|
|
|
WHERE f.f1 > '0.0';
|
|
|
|
|
|
|
|
SELECT '' AS three, f.f1, f.f1 / '-10' AS x
|
|
|
|
FROM FLOAT8_TBL f
|
|
|
|
WHERE f.f1 > '0.0';
|
|
|
|
|
|
|
|
SELECT '' AS three, f.f1, f.f1 - '-10' AS x
|
|
|
|
FROM FLOAT8_TBL f
|
|
|
|
WHERE f.f1 > '0.0';
|
|
|
|
|
|
|
|
SELECT '' AS one, f.f1 ^ '2.0' AS square_f1
|
|
|
|
FROM FLOAT8_TBL f where f.f1 = '1004.3';
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- absolute value
|
|
|
|
SELECT '' AS five, f.f1, @f.f1 AS abs_f1
|
1997-04-05 13:26:55 +02:00
|
|
|
FROM FLOAT8_TBL f;
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- truncate
|
2005-06-08 23:15:29 +02:00
|
|
|
SELECT '' AS five, f.f1, trunc(f.f1) AS trunc_f1
|
1997-04-05 13:26:55 +02:00
|
|
|
FROM FLOAT8_TBL f;
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- round
|
2005-06-08 23:15:29 +02:00
|
|
|
SELECT '' AS five, f.f1, round(f.f1) AS round_f1
|
1997-04-05 13:26:55 +02:00
|
|
|
FROM FLOAT8_TBL f;
|
|
|
|
|
2004-04-23 22:32:20 +02:00
|
|
|
-- ceil / ceiling
|
2002-10-19 04:08:19 +02:00
|
|
|
select ceil(f1) as ceil_f1 from float8_tbl f;
|
2004-04-23 22:32:20 +02:00
|
|
|
select ceiling(f1) as ceiling_f1 from float8_tbl f;
|
2002-10-19 04:08:19 +02:00
|
|
|
|
|
|
|
-- floor
|
|
|
|
select floor(f1) as floor_f1 from float8_tbl f;
|
|
|
|
|
|
|
|
-- sign
|
|
|
|
select sign(f1) as sign_f1 from float8_tbl f;
|
2000-03-15 00:06:59 +01:00
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- square root
|
2002-10-19 04:08:19 +02:00
|
|
|
SELECT sqrt(float8 '64') AS eight;
|
|
|
|
|
2000-03-15 00:06:59 +01:00
|
|
|
SELECT |/ float8 '64' AS eight;
|
|
|
|
|
1997-04-05 13:26:55 +02:00
|
|
|
SELECT '' AS three, f.f1, |/f.f1 AS sqrt_f1
|
|
|
|
FROM FLOAT8_TBL f
|
|
|
|
WHERE f.f1 > '0.0';
|
|
|
|
|
2004-04-23 22:32:20 +02:00
|
|
|
-- power
|
|
|
|
SELECT power(float8 '144', float8 '0.5');
|
2018-04-29 21:21:44 +02:00
|
|
|
SELECT power(float8 'NaN', float8 '0.5');
|
|
|
|
SELECT power(float8 '144', float8 'NaN');
|
|
|
|
SELECT power(float8 'NaN', float8 'NaN');
|
2018-04-30 00:15:16 +02:00
|
|
|
SELECT power(float8 '-1', float8 'NaN');
|
2018-04-29 21:21:44 +02:00
|
|
|
SELECT power(float8 '1', float8 'NaN');
|
|
|
|
SELECT power(float8 'NaN', float8 '0');
|
2004-04-23 22:32:20 +02:00
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- take exp of ln(f.f1)
|
2000-03-20 06:19:11 +01:00
|
|
|
SELECT '' AS three, f.f1, exp(ln(f.f1)) AS exp_ln_f1
|
1997-04-05 13:26:55 +02:00
|
|
|
FROM FLOAT8_TBL f
|
|
|
|
WHERE f.f1 > '0.0';
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- cube root
|
2000-03-15 00:06:59 +01:00
|
|
|
SELECT ||/ float8 '27' AS three;
|
|
|
|
|
1997-04-05 13:26:55 +02:00
|
|
|
SELECT '' AS five, f.f1, ||/f.f1 AS cbrt_f1 FROM FLOAT8_TBL f;
|
|
|
|
|
|
|
|
|
2005-04-07 03:51:41 +02:00
|
|
|
SELECT '' AS five, * FROM FLOAT8_TBL;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
UPDATE FLOAT8_TBL
|
|
|
|
SET f1 = FLOAT8_TBL.f1 * '-1'
|
|
|
|
WHERE FLOAT8_TBL.f1 > '0.0';
|
|
|
|
|
|
|
|
SELECT '' AS bad, f.f1 * '1e200' from FLOAT8_TBL f;
|
|
|
|
|
|
|
|
SELECT '' AS bad, f.f1 ^ '1e200' from FLOAT8_TBL f;
|
|
|
|
|
2008-05-09 00:17:54 +02:00
|
|
|
SELECT 0 ^ 0 + 0 ^ 1 + 0 ^ 0.0 + 0 ^ 0.5;
|
|
|
|
|
2000-03-20 06:19:11 +01:00
|
|
|
SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 = '0.0' ;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
2000-03-20 06:19:11 +01:00
|
|
|
SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 < '0.0' ;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
2000-03-20 06:19:11 +01:00
|
|
|
SELECT '' AS bad, exp(f.f1) from FLOAT8_TBL f;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
SELECT '' AS bad, f.f1 / '0.0' from FLOAT8_TBL f;
|
|
|
|
|
2005-04-07 03:51:41 +02:00
|
|
|
SELECT '' AS five, * FROM FLOAT8_TBL;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- test for over- and underflow
|
1998-09-22 18:52:59 +02:00
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('10e400');
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e400');
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('10e-400');
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e-400');
|
|
|
|
|
|
|
|
-- maintain external table consistency across platforms
|
|
|
|
-- delete all values and reinsert well-behaved ones
|
|
|
|
|
|
|
|
DELETE FROM FLOAT8_TBL;
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0');
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84');
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('-1004.30');
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e+200');
|
|
|
|
|
|
|
|
INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e-200');
|
|
|
|
|
2005-04-07 03:51:41 +02:00
|
|
|
SELECT '' AS five, * FROM FLOAT8_TBL;
|
2016-01-22 21:46:22 +01:00
|
|
|
|
|
|
|
-- test exact cases for trigonometric functions in degrees
|
2016-04-19 22:47:21 +02:00
|
|
|
SET extra_float_digits = 3;
|
|
|
|
|
|
|
|
SELECT x,
|
|
|
|
sind(x),
|
|
|
|
sind(x) IN (-1,-0.5,0,0.5,1) AS sind_exact
|
|
|
|
FROM (VALUES (0), (30), (90), (150), (180),
|
|
|
|
(210), (270), (330), (360)) AS t(x);
|
|
|
|
|
2016-01-22 21:46:22 +01:00
|
|
|
SELECT x,
|
2016-04-19 22:47:21 +02:00
|
|
|
cosd(x),
|
|
|
|
cosd(x) IN (-1,-0.5,0,0.5,1) AS cosd_exact
|
|
|
|
FROM (VALUES (0), (60), (90), (120), (180),
|
|
|
|
(240), (270), (300), (360)) AS t(x);
|
2016-01-22 21:46:22 +01:00
|
|
|
|
|
|
|
SELECT x,
|
2016-04-19 22:47:21 +02:00
|
|
|
tand(x),
|
|
|
|
tand(x) IN ('-Infinity'::float8,-1,0,
|
|
|
|
1,'Infinity'::float8) AS tand_exact,
|
|
|
|
cotd(x),
|
|
|
|
cotd(x) IN ('-Infinity'::float8,-1,0,
|
|
|
|
1,'Infinity'::float8) AS cotd_exact
|
|
|
|
FROM (VALUES (0), (45), (90), (135), (180),
|
|
|
|
(225), (270), (315), (360)) AS t(x);
|
|
|
|
|
|
|
|
SELECT x,
|
|
|
|
asind(x),
|
|
|
|
asind(x) IN (-90,-30,0,30,90) AS asind_exact,
|
|
|
|
acosd(x),
|
|
|
|
acosd(x) IN (0,60,90,120,180) AS acosd_exact
|
2016-01-22 21:46:22 +01:00
|
|
|
FROM (VALUES (-1), (-0.5), (0), (0.5), (1)) AS t(x);
|
|
|
|
|
2016-04-19 22:47:21 +02:00
|
|
|
SELECT x,
|
|
|
|
atand(x),
|
|
|
|
atand(x) IN (-90,-45,0,45,90) AS atand_exact
|
|
|
|
FROM (VALUES ('-Infinity'::float8), (-1), (0), (1),
|
|
|
|
('Infinity'::float8)) AS t(x);
|
2016-01-22 21:46:22 +01:00
|
|
|
|
|
|
|
SELECT x, y,
|
2016-04-19 22:47:21 +02:00
|
|
|
atan2d(y, x),
|
|
|
|
atan2d(y, x) IN (-90,0,90,180) AS atan2d_exact
|
2016-01-22 21:46:22 +01:00
|
|
|
FROM (SELECT 10*cosd(a), 10*sind(a)
|
|
|
|
FROM generate_series(0, 360, 90) AS t(a)) AS t(x,y);
|
2016-04-19 22:47:21 +02:00
|
|
|
|
|
|
|
RESET extra_float_digits;
|