Degree bounds and lifting techniques for triangular sets

  • Authors:

  • Éric Schost

  • Affiliations:

  • École polytechnique, 91128 Palaiseau, France

  • Venue:
  • Proceedings of the 2002 international symposium on Symbolic and algebraic computation
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the representation of the solutions of a polynomial system by triangular sets, and concentrate on the positive-dimensional case. We reduce to dimension zero by placing the free variables in the base-field, so the solutions can be represented by triangular sets with coefficients in a rational function field. First, we give bounds on the degree of these coefficients; then we show how to apply lifting techniques in this context, and point out the role played by the evaluation properties of the input system. Our algorithms are implemented in Magma; we present two applications.