From 8b99dfe028faf76c23811eaf9cee8df88d231f87 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Tue, 17 Mar 2020 16:34:00 +0100
Subject: Nicer printing for decimal constants in R

Print 1.5 as 1.5 and not 15e-1.

We choose the shortest representation
with tie break to the dot notation (0.01 rather than 1e-3).

The printing remains injective, i.e. 12*10^2 is printed 12e2 in order
not to mix it with 1200 and 12/10^1 is not mixed with 120/10^2, the
first being printed as 1.2 and the last as 1.20.
---
 test-suite/output/RealSyntax.out | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'test-suite/output/RealSyntax.out')

diff --git a/test-suite/output/RealSyntax.out b/test-suite/output/RealSyntax.out
index ebc272d9af..1685964b0f 100644
--- a/test-suite/output/RealSyntax.out
+++ b/test-suite/output/RealSyntax.out
@@ -2,21 +2,21 @@
      : R
 (-31)%R
      : R
-15e-1%R
+1.5%R
      : R
 15%R
      : R
-eq_refl : 102e-2 = 102e-2
-     : 102e-2 = 102e-2
-eq_refl : 102e-1 = 102e-1
-     : 102e-1 = 102e-1
+eq_refl : 1.02 = 1.02
+     : 1.02 = 1.02
+eq_refl : 10.2 = 10.2
+     : 10.2 = 10.2
 eq_refl : 102e1 = 102e1
      : 102e1 = 102e1
 eq_refl : 102 = 102
      : 102 = 102
-eq_refl : 102e-2 = 102e-2
-     : 102e-2 = 102e-2
+eq_refl : 1.02 = 1.02
+     : 1.02 = 1.02
 eq_refl : -1e-4 = -1e-4
      : -1e-4 = -1e-4
-eq_refl : -50e-2 = -50e-2
-     : -50e-2 = -50e-2
+eq_refl : -0.50 = -0.50
+     : -0.50 = -0.50
-- 
cgit v1.2.3