Experimental`CylindricalAlgebraicDecomposition
 Usage
• CylindricalAlgebraicDecomposition[ineqs,   ,  , ...  ]找出由不等式 ineqs表示的区域到圆柱部分的一个分解，圆柱的方向与  相对应。
Notes
• 例如：Experimental`CylindricalAlgebraicDecomposition[x^2 + y^2 < 1,  x, y ]  .
• CylindricalAlgebraicDecomposition假定所有的变量是实数。
• 可以给出列表或不等式的逻辑组合。
• CylindricalAlgebraicDecomposition用于返回不等式，这些不等式的范围通常包括代数功能。
• CylindricalAlgebraicDecomposition的运算法则将被自动用于FullSimplify和Resolve函数中。
• 另见： ExistsRealQ, ForAllRealQ, ImpliesRealQ, Resolve, Minimize
• 注意：这是一个试验性的功能，可能不会得到Mathematica未来版本的支持，或者可能会有不同的规格要求。
|
