Polytope-based computation of polynomial ranges

  • Authors:
  • Christoph Fünfzig;Dominique Michelucci;Sebti Foufou

  • Affiliations:
  • LE2I (UMR CNRS 5158), Univ. Bourgogne, 9 av Alain Savary, 21078 Dijon, France;LE2I (UMR CNRS 5158), Univ. Bourgogne, 9 av Alain Savary, 21078 Dijon, France;LE2I (UMR CNRS 5158), Univ. Bourgogne, 9 av Alain Savary, 21078 Dijon, France and CSE, Univ. Qatar, P.O.B. 2713, Doha, Qatar

  • Venue:
  • Computer Aided Geometric Design
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Polynomial ranges are commonly used for numerically solving polynomial systems with interval Newton solvers. Often ranges are computed using the convex hull property of the tensorial Bernstein basis, which is exponential size in the number n of variables. In this paper, we consider methods to compute tight bounds for polynomials in n variables by solving two linear programming problems over a polytope. We formulate a polytope defined as the convex hull of the coefficients with respect to the tensorial Bernstein basis, and we formulate several polytopes based on the Bernstein polynomials of the domain. These Bernstein polytopes can be defined by a polynomial number of halfspaces. We give the number of vertices, the number of hyperfaces, and the volume of each polytope for n=1,2,3,4, and we compare the computed range widths for random n-variate polynomials for n=