Optimiseur d'algèbre linéaire avec saturation d'égalité à l'aide d'Egglog

Ce tutoriel montre comment construire un optimiseur d'algèbre linéaire à l'aide d'Egglog. En commençant par des expressions arithmétiques simples (constantes, variables, addition, multiplication), il utilise la saturation d'égalité pour construire des règles d'optimisation (commutativité, associativité, pliage de constantes). Le tutoriel détaille la définition des convertisseurs, l'écriture des règles de réécriture et l'utilisation de `egraph.run()` pour l'optimisation, vérifiant finalement l'équivalence des expressions, telle que l'équivalence de 2 * (x * 3) et 6 * x.