Pour simplifier l’affichage des solutions, il est utile de ne pas afficher plusieurs exemplaires de solutions dont la structure paraît similaire “à l’oeil humain”. Par exemple, il est évident que les deux calculs : 6×100+2 et 2+100×6 ont une structure similaire et que seul l’un des deux devrait apparaître en tant que solution.

Kitsune tient compte actuellement des équivalences suivantes :

• Commutativité de l’addition et de la multiplication :

100×3=3×100 et de même 10+4=4+10.

• Associativité de l’addition et de la multiplication :

2x(3×100)=(2×3)x100=2x3x100.

• La multiplication et la division par 1 sont inutiles :

100/1=100.

• Commutativité de la division si le résultat vaut 1 :

5/(3+2)=(3+2)/5.

Les équivalences suivantes peuvent être activées ou désactivées dans le menu “options” :

• 2+2=2×2 :

Seuls les calculs de la forme 2×2 seront affichés.

• Même résultat dans un sous-calcul :

Si on considère un sous-calcul de la solution (éventuellement lui-même), il ne faut pas qu’un de ses sous-calculs ait même valeur, même après réorganisation.
Cette loi générale conduit à beaucoup de simplifications : 10+4-4=10, 9×5/5=9, 10-5=5, 25/5=5, 10+2-7=7-2, 7+5-10=7-5, 10/(4+1)+1=4-1, 10/(7-4-1)-2=4-1.

• Factorisation :

100×7+5×7=(100+5)x7, ou 10/2+75×8/2=(10+75×8)/2, ou même (6x5x2+10×4)=(6+4)x10.