isLocallyPrincipal

Indicates that an ideal (or similar structure) can be generated by a single element after localizing at each relevant point or prime, i.e., it becomes principal in every local setting.