Smooth over ℚ

Whether the characteristic-zero realization space, the fiber of the realization-space scheme over $\operatorname{Spec}\mathbb Q$, is smooth. This is the generic fiber of the scheme whose smoothness over $\mathbb Z$ is recorded in smooth over ℤ, so smoothness over $\mathbb Z$ implies smoothness over $\mathbb Q$.

Computed for rank 3 on 12 elements, where it is complete: 157 of the 31,899,134 realization spaces are singular.

Full details: docs/r3_n12_smoothness_over_QQ.md.