Mathematica > Mathematics and Algorithms > Polynomial Algebra > Polynomial Systems >

CylindricalDecomposition

CylindricalDecomposition[ineqs, {x1, x2, ...}]
finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond to the successive x_i.
  • Lists or logical combinations of inequalities can be given.
New in 5
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team