Add additional example for interval multiplication.

Fix example for day and hours interval subtraction for new computation
method.

Update interval examples to display zero seconds, which is our default.

Backpatch to 8.1.X.

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 8e60ba63c81e14d23f8674416dfb7e869d202e21..914d6d64a31c7c2927db55d92008d72ea87fcf19 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -1,5 +1,5 @@
 
 
@@ -5120,37 +5120,37 @@ SELECT SUBSTRING('XY1234Z', 'Y*?([0-9]{1,3})');
        
          + 
         date '2001-09-28' + interval '1 hour'
-        timestamp '2001-09-28 01:00'
+        timestamp '2001-09-28 01:00:00'
        
 
        
          + 
         date '2001-09-28' + time '03:00'
-        timestamp '2001-09-28 03:00'
+        timestamp '2001-09-28 03:00:00'
        
 
        
          + 
         interval '1 day' + interval '1 hour'
-        interval '1 day 01:00'
+        interval '1 day 01:00:00'
        
 
        
          + 
         timestamp '2001-09-28 01:00' + interval '23 hours'
-        timestamp '2001-09-29 00:00'
+        timestamp '2001-09-29 00:00:00'
        
 
        
          + 
         time '01:00' + interval '3 hours'
-        time '04:00'
+        time '04:00:00'
        
 
        
          - 
         - interval '23 hours'
-        interval '-23:00'
+        interval '-23:00:00'
        
 
        
@@ -5168,49 +5168,55 @@ SELECT SUBSTRING('XY1234Z', 'Y*?([0-9]{1,3})');
        
          - 
         date '2001-09-28' - interval '1 hour'
-        timestamp '2001-09-27 23:00'
+        timestamp '2001-09-27 23:00:00'
        
 
        
          - 
         time '05:00' - time '03:00'
-        interval '02:00'
+        interval '02:00:00'
        
 
        
          - 
         time '05:00' - interval '2 hours'
-        time '03:00'
+        time '03:00:00'
        
 
        
          - 
         timestamp '2001-09-28 23:00' - interval '23 hours'
-        timestamp '2001-09-28 00:00'
+        timestamp '2001-09-28 00:00:00'
        
 
        
          - 
         interval '1 day' - interval '1 hour'
-        interval '23:00'
+        interval '1 day -01:00:00'
        
 
        
          - 
         timestamp '2001-09-29 03:00' - timestamp '2001-09-27 12:00'
-        interval '1 day 15:00'
+        interval '1 day 15:00:00'
        
 
        
          * 
-        interval '1 hour' * double precision '3.5'
-        interval '03:30'
+        900 * interval '1 second'
+        interval '00:15:00'
+       
+
+       
+         * 
+        double precision '3.5' * interval '1 hour'
+        interval '03:30:00'
        
 
        
          / 
         interval '1 hour' / double precision '1.5'
-        interval '00:40'
+        interval '00:40:00'