Lionel Debroux (./81) :
Je sais, mais ça montre qu'il y a _beaucoup_ de xxx.l: en moyenne, plus d'un octet sur 5 dans PedroM est une référence xxx.l ! (et encore, le linker en a déjà optimisé plus de 3000 xxx.l, en plus du range-cutting)

Tiens c'est vrai. Ca me parait étrange quand même un tel taux. Mais c'est pas impossible.

Lionel Debroux (./81) :
PedroM est probablement un bon exemple pour faire du profiling de --cut-ranges, --optimize-code, --reorder-sections

Surement.

Lionel Debroux (./81) :
La syntaxe de l'environnement de calcul formel est pas super user-friendly, je trouve

C'est exactement la même syntaxe que celle du petit outil fournit avec MAYLIB.
Forcément, c'est le même outil.
On m'a promis une super interface de la mort qui tue

Lionel Debroux (./81) :
Il y a un repository d'un SCM quelconque où on puisse accéder au source ?

Oui, mais non public
Sinon, ca utilise GMP / MPFR / MAYLIB qui sont tous disponibles.

[EDIT]: Nouveau screenshot:
Note: Le "CPU time" donné est faux.

Comparaison AMS et PedroM:

C'est trop gros pour rentrer à l'écran. Mais il le calcule