Artificial discontinuities of single-parametric Gröbner bases - Archive ouverte HAL
Article Dans Une Revue Journal of Symbolic Computation Année : 2011

Artificial discontinuities of single-parametric Gröbner bases

Jean-Charles Faugère
Ye Liang
  • Fonction : Auteur
  • PersonId : 966055

Résumé

Artificial discontinuity is a kind of singularity at a parametric point in computing the Gröbner basis of a specialized parametric ideal w.r.t. a certain term order. When it occurs, though parameters change continuously at the point and the properties of the parametric ideal have no sudden changes, the Gröbner basis will still have a jump at the parametric point. This phenomenon can cause instabilities in computing approximate Gröbner bases.In this paper, we study artificial discontinuities in single-parametric case by proposing a solid theoretical foundation for them. We provide a criterion to recognize artificial discontinuities by comparing the zero point numbers of specialized parametric ideals. Moreover, we prove that for a single-parametric polynomial ideal with some restrictions, its artificially discontinuous specializations (ADS) can be locally repaired to continuous specializations (CS) by the TSV (Term Substitution with Variables) strategy.

Dates et versions

hal-01147173 , version 1 (29-04-2015)

Identifiants

Citer

Jean-Charles Faugère, Ye Liang. Artificial discontinuities of single-parametric Gröbner bases. Journal of Symbolic Computation, 2011, 46 (4), pp.459--466. ⟨10.1016/j.jsc.2010.11.001⟩. ⟨hal-01147173⟩
141 Consultations
0 Téléchargements

Altmetric

Partager

More