gawk, division, décimales

Question

Bonjour, 

J'essaie de diviser des nombres en batch et bien sur impossible d'obtenir la valeur décimale correcte :

SET /A NbJrDifference=734800/365
ECHO %NbJrDifference%
=> 2013

le résultat souhaité est 2013,150684931507

J'essaie avec Gawk mais c'est un peu la galère :

ECHO %NbJrDifference%|GAWK "{printf "$1/365"}"

résultat : 2013.15, ce qui est mieux mais incomplet. J'ai essayé de le tourner autrement en utilisant par exemple printf "%2.7f", printf ("%%s	%.1f
"... ça ne marche pas et il y a des erreurs de backslash mais je ne sais pas si elles sont dues à ma syntaxe ou a un pb d'interprétation des % au sein de gawk (comme cela arrive sous windows avec des variables)

Auriez-vous une idée de la solution pour obtenir ce résultat souhaité avec gawk (à savoir le maximum de décimales) ?

Merci

Configuration: Windows 7 / Firefox 18.0

dubcek · Answer

hello
gawk en ligne de commande est la galère en DOS.
utiliser un fichier
gawk -f xx et dans xx {printf "%2.7f" $1/365}

eZula · Answer

merci dubcek!

Mais je bute encore 

C:\Users\g\Desktop\Recent>ECHO 734801  | gawk -f x.txt
gawk: x.txt:1: (FILENAME=- FNR=1) fatal: not enough arguments to satisfy format
string
        '%2.7f2013.15'
            ^ ran out for this one

il ne donne en plus que deux décimales, en dehors du plantage :(

eZula · Answer

ça y est j'ai trouvé en creusant par ici http://forum.ubuntu-fr.org/viewtopic.php?id=422229   

ECHO %NbJrDifference%|gawk -f "x.txt"

et x.txt :   

{printf "%.20f
", $1/365}

ce qui donne 2013.15342465753430000000  

Ceci dit et pour avoir de la marge, j'ai mis 20 décimales (%.20f
). Mais peut être y a-t-il moyen plus général et plus précis de lui indiquer d'écrire autant de décimales qu'il y en a, dans cet exemple 13 (ce qui répondrait à 100% à ma question :) )?

dubcek · Answer

effectivement, il manquait une virgule pour l'argument du printf.
voir la doc printf, c'est le printf du C
http://www.linux-france.org/article/man-fr/man3/printf-3.html

dubcek · Answer

utiliser ce code pour supprimer les zéros en fin de chaine
{s=sprintf("%.20f
", $1/365); sub("0*$", "", s); printf s}

eZula · Answer

ah, le résultat de la dernière commande ne semble pas éliminer les zéros, sauf erreur de ma part :

C:\Users\g\Desktop\Recent>ECHO 734801  | gawk -f "x.txt"
2013.15342465753430000000

J'ai pensé à cette parade gourmande sinon :

C:\Users\g\Desktop\Recent>ECHO 734801  | gawk -f "x.txt"   | SED "s/0*$//"
2013.1534246575343

Mais si elle peut se faire directement avec gawk ce n'est pas plus mal. Je pensais qu'il existait une expression pour matérialiser le nombre max de décimales mais c'est compliqué à trouver, si tenté que cela existe :)

dubcek · Answer

on peut changer le nombre de décimales mais pas le rendre variable en fonction du résultat.
chez moi, il enlève bien les 0 finaux, même expression que le sed

Gawk, division, décimales

7 réponses

Discussions similaires

Newsletters