Characteristic dimensions

A list of pairs $(p, d)$: $d$ is the dimension of the realization space fiber in characteristic $p$, computed by reducing to that characteristic and saturating by the inequations. The list is compact:

• finite characteristic set: one pair for every realized prime;
• cofinite set: $(0, d_{\mathbb Q})$, plus only those realized primes whose dimension differs from $d_{\mathbb Q}$;
• empty characteristic set: [].

Computed for rank 3 on at most 11 elements. In that range no realized prime of a cofinite set has a dimension different from $d_{\mathbb Q}$. See also rs_characteristic_dimensions_method.

Full details: docs/characteristic_dimensions.md.