Comprehensive Systems for Primary Decompositions of Parametric Ideals
Comprehensive Systems for Primary Decompositions of Parametric Ideals
We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with rational coefficients $\mathbb{Q}[A,X]$ where $A$ is the set of parameters and $X$ is the set …