Come risolvere questo problema align ambiente un po 'più ordinato?

Question

Sto scrivendo una descrizione di come funzioni ricorsive vengono applicate all'interno liste usando l'ambiente align da amsmath in LaTeX. Ecco il codice:

\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*}

o il mio provare per migliorare la leggibilità. \quads inseriti là:

\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*}

E 'solo non ha un aspetto piacevole. Ecco una foto rapida di questi ultimi:

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

E 'quasi sia leggibile ed estetico, ma non del tutto.

Come rendere il divario più piccolo? E tutti gli altri suggerimenti che potete avere sono apprezzati!

Answer 1

Come sull'utilizzo di un ambiente tabulare, invece di align, con il quale è più facile controllare l'allineamento delle colonne? Personalmente mi è piaciuto i risultati di:

\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}

provoca l'apparecchio a destra per forma (visivamente parlando) un triangolo rovesciato. Ho anche sostituito \ quad con \, \, \ quad sembrava troppo, e \; non basta ... lo spazio c'è.

ho brevemente considerati fare lo stesso per le somme nella propria colonna, ma ha deciso che le somme 'in crescita a destra' era visivamente più efficace.