Comment corriger cet environnement align un peu plus propre?

Question

Je vous écris une description de la façon dont les fonctions récursives sont appliquées dans les listes à l'aide de l'environnement de align de amsmath en LaTeX. Voici le code:

\begin{align*}
  & \reduce (+, 0,                  & [1, 2, 3, 4]) \\
= & \reduce (+, 0 + 1,              & [2, 3, 4]) \\
= & \reduce (+, 0 + 1 + 2,          & [3, 4]) \\
= & \reduce (+, 0 + 1 + 2 + 3,      & [4]) \\
= & \reduce (+, 0 + 1 + 2 + 3 + 4,  & []) \\
= & 0 + 1 + 2 + 3 + 4\\
= & 10
\end{align*}

ou mon essayer pour améliorer la lisibilité. \quads Inséré là-bas:

\begin{align*}
 & \reduce (+,\quad 0,                   & [1, 2, 3, 4]) \\
=& \reduce (+,\quad 0 + 1,               & [2, 3, 4]) \\
=& \reduce (+,\quad 0 + 1 + 2,           & [3, 4]) \\
=& \reduce (+,\quad 0 + 1 + 2 + 3,       & [4]) \\
=& \reduce (+,\quad 0 + 1 + 2 + 3 + 4,   & []) \\
=& 0 + 1 + 2 + 3 + 4\\
=& 10
\end{align*}

Il ne fonctionne tout simplement pas l'air agréable. Voici une photo rapide de ce dernier:

http://havu.viuhka.fi/kuvat/alignenv.png

Il est presque à la fois lisible et esthétique, mais pas tout à fait.

Comment faire l'écart plus petit? Et d'autres conseils que vous pourriez avoir sont appréciés!

Answer 1

Comment l'utilisation d'un environnement sous forme de tableau au lieu d'aligner, avec lequel vous pouvez contrôler plus facilement l'alignement des colonnes? J'ai personnellement aimé les résultats de:

\begin{tabular}{ r l c }
 & reduce(+,\;\, 0,                   & [1, 2, 3, 4]) \\
=& reduce(+,\;\, 0 + 1,               & [2, 3, 4]) \\
=& reduce(+,\;\, 0 + 1 + 2,           & [3, 4]) \\
=& reduce(+,\;\, 0 + 1 + 2 + 3,       & [4]) \\
=& reduce(+,\;\, 0 + 1 + 2 + 3 + 4,   & []) \\
=& 0 + 1 + 2 + 3 + 4\\
=& 10
\end{tabular}

provoque l'ensemble sur la droite pour la forme (visuellement parlant) une forme de triangle à l'envers. J'ai également remplacé \ quad avec \; \, \ quad semblait trop, et \; pas assez ... espace là.

J'ai brièvement envisagé de faire la même chose pour les sommes dans leur propre colonne, mais a décidé que les sommes « de plus en plus à droite » était visuellement plus efficace.