"Nasser M. Abbasi" schrieb:   
   >   
   > fyi;   
   >   
   > Maple has  "compute a cylindrical decomposition of the complex space"   
   > command:   
   >   
   > http://www.maplesoft.com/support/help/maple/view.aspx?path=Reg   
   larChains%2FConstructibleSetTools%2FCylindricalDecompose   
   >   
   > And Mathematica has CylindricalDecomposition[] also   
   >   
   > http://reference.wolfram.com/language/ref/CylindricalDecomposition.html   
   > "finds a decomposition of the region represented by the inequalities   
   > ineqs into cylindrical parts whose directions correspond to the successive "   
   >   
   > ps. would you have a simple example of an input and what the   
   > output you are looking for should be to make things more clear?   
   >   
      
   Thanks, Nasser. I have by now found a solution by another route. Using   
   CAD may no be as simple as I was assuming.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)