Principal ideal

True when the defining ideal of the stored realization space chart is principal, $I = (f)$, so the chart is a hypersurface in an open subset of affine space. Free spaces, with ideal $(0)$, are also counted as principal. The choice of reference basis (good_basis_v2) aims for simple charts, and most non-free charts in the collection are principal.