Minimal primary decomposition (source code)

= Minimal primary decomposition

A minimal primary decomposition of an ideal $I$ is an irredundant finite intersection $I=\bigcap_iQ_i$ of primary ideals whose radicals are pairwise distinct.