Hello,

I am new to REDUCE. I am trying to perform Cylindrical Algebraic Decomposition on a set of inequalities but I am completely unfamiliar with the syntax, and I cannot find any examples. In mathematica, I use:

CONS=

A1 > 1/10 && A1 < 50 &&

A2 > 1/10 && A2 < 50 &&

A3 > 1/10 && A3 < 50 &&

A4 > 1/10 && A4 < 50 &&

-(33/A1) - (139/2 + Sqrt[2])/A2 - 6/A3 - (14 Sqrt[2])/A4 >= -6

CylindricalDecomposition[CONS, {A1, A2, A3, A4}]

I get:

-(3300/(-449 + 30 Sqrt[2])) < A1 < 50 &&

(-3475 A1 - 50 Sqrt[2] A1)/( 1650 - 294 A1 + 14 Sqrt[2] A1) < A2 < 50 &&

-((300 A1 A2)/( 3475 A1 + 50 Sqrt[2] A1 + 1650 A2 - 300 A1 A2 + 14 Sqrt[2] A1 A2)) < A3 < 50 &&

(28 Sqrt[2] A1 A2 A3)/(-12 A1 A2 - 139 A1 A3 - 2 Sqrt[2] A1 A3 - 66 A2 A3 + 12 A1 A2 A3) <= A4 < 50

Is it possible to set up this problem with REDUCE?

TIA,

Aristotelis