ADE classification (source code)

= ADE classification
{c}

The connected positive-definite simply-laced Dynkin diagrams are $A_n$ for $n\geq1$, $D_n$ for $n\geq4$, and the exceptional diagrams $E_6,E_7,E_8$.