[petsc-users] Number of decimals in Viewer

[Elias Goldmann]

Hi,

is there any possibility to change the number of decimals written to the 
file
while using PetscRealView ?

Thank you,
Elias