Arrondir avec un script shell (awk?)

Bonjour les magiciens du awk !

Je galère avec les arrondis....

J'ai un fichier texte formatté comme ça :
1231, 4.00000000E+001, 3.50000021E+001,-9.37821412E-002
188, 4.00000000E-014,-3.50000021E+001, 9.37821412E-003
...
Et je voudrais simplement que le 4.00000000E-014 soit remplacé par 0.00000000E+000.

Je pense que ça doit se faire en awk mais je ne sais pas comment dire "si valeur absolue de $2 < 0.000001, alors print 0.00000000E+000 sinon print $2".

Attention : mes virgules sont toujours collées au champ de gauche. Mais elles le sont au champ de droite SI ET SEULEMENT SI ce dernier est négatif. Alors j'ai peur que ça groupe des champs ensemble. Il faudrait imposer que le séparateur de champ soit le caractère ",".

Merci de votre aide !
Configuration: Windows 2000
Internet Explorer 6.0

6 réponses

  1. Modérateur
    Salut,

    j'ai peur de comprendre mal l'astuce.

    Manifestement, il s'agit de données séparées par des virgules, en format anglais (point décimal) et qui peuvent être signées.

    Donc si tu souhaites remplacer 4.00000000E-014 par 0.00000000E+000, tu vas perdre une donnée (et non de la précision dans un nombre).

    Ou alors j'ai pas compris...
    0
    1. En fait, je veux arrondir à 0 ce qui est plus petit (en valeur abolu) que 0.0000001.

      L'histoire des virgules et des signes, c'est juste un souci que je vois arriver gros comme une maison si j'utilise du awk. Mais bon, il faut dire que je ne suis pas un David Coperfield du awk aussi... :p
      0
      1. Contributeur
        4.00000000E-014 c'est 4 puissance -14 donc très très petit
        0
        1. En fait, c'est même moins que ça !
          C'est 4 fois 10 puissance -14. Donc 0,00000000000004.
          0
      2. Contributeur
        juste, j'avais oublié le 10 ...
        0
        1. Maintenant que les matheux se sont exprimés, peut-être un info-man (attention à la prononciation douteuse...) aurait-il une idée ?
          0
          1. Contributeur
            x=$2 ; if(x < 0.0) x=x*-1.0 ; if (x < 0.0000001 ) x=0.0 ; printf("%1.E", x) ;
            0