Aftermath of the rerouting of `primary_decomposition` and friends#3115

Closed

HechtiDerLachs wants to merge 1 commit intooscar-system:masterfrom HechtiDerLachs:primary_decomposition_aftermath

+39

Commits on Dec 15, 2023

Duplicate the old methods for primary_decomposition and minimal_primes with new names.
HechtiDerLachs
committed