Isolated prime of a primary decomposition (source code)

= Isolated prime of a primary decomposition

An isolated prime of a minimal primary decomposition is a minimal member of the set of radicals of its primary components.