Number of decimals in records
Created by: marcusfuchs
Currently, TEASER outputs records with a very high number of decimals, e.g.
...
UWin= 1.1034256322858929,
ratioWinConRad = 0.02,
AExt = {148.12145999999998, 148.12145999999998, 148.12145999999998, 148.12145999999998, 159.44039999999998, 159.44039999999998},
hConExt = 2.350107008525131,
nExt = 1,
RExt = {4.262502303317977e-05},
RExtRem = 0.00454563643967992 ,
CExt = {255007830.43196833},
...
We see that depending on different platforms (Linux, Windows), some of these values can change in very minor decimals. Is there any objection to limiting the number of decimals to a meaningful limit to avoid this and also to make the records easier to read? I would expect that we cannot meaningfully calculate e.g. the value for RExt
to a precision of 1e-20 as is done currently.