cout.precision change apres l'écriture d'un système

[bneveu]

l'instruction
cout << sys << endl; (où sys est un System)

change le nombre de chiffres écrits par cout (cout.precision())
qui passe de 6 à 16
double a = 1.22222222222222222;
cout << a << endl;
cout << cout.precision() << endl;
cout << *sys << endl;
cout << a << endl;
cout << cout.precision() << endl;

1.22223
6
variables:
x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20
box:
([-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10] ; [-10, 10])
goal:
((((((((((((((((((((x1-1)^2+(2*((2x2^2)-x1)^2))+(3((2x3^2)-x2)^2))+(4((2x4^2)-x3)^2))+(5((2x5^2)-x4)^2))+(6((2x6^2)-x5)^2))+(7((2x7^2)-x6)^2))+(8((2x8^2)-x7)^2))+(9((2x9^2)-x8)^2))+(10((2x10^2)-x9)^2))+(11((2x11^2)-x10)^2))+(12((2x12^2)-x11)^2))+(13((2x13^2)-x12)^2))+(14((2x14^2)-x13)^2))+(15((2x15^2)-x14)^2))+(16((2x16^2)-x15)^2))+(17((2x17^2)-x16)^2))+(18((2x18^2)-x17)^2))+(19((2x19^2)-x18)^2))+(20((2*x20^2)-x19)^2))

1.222222222222223
16

[gchabert]

C'est en fait au niveau de gaol (affichage d'un intervalle) que la précision est effectivement fixée à 16.
Une solution serait de modifier gaol (fichier gaol_common.cpp). Une autre serait de stocker/ restorer la précision courante au niveau du wrapper ibex (fichier interval_lib_wrapper/gaol/ibex_IntervalLibWrapper.cpp) mais je me demande si cela ne risque pas de ralentir les affichages longs (du genre, buffer de cellules).

[bneveu]

Je pense que la deuxième solution serait la meilleure.
Ca doit etre rare d'avoir des affichages longs (sauf pour nous en debogage, mais on a le temps)

[gchabert]

ok c'est fait