Tag Info

New answers tagged

4

exp = Reduce[#, Backsubstitution -> True] & /@ BooleanMinimize@ CylindricalDecomposition[x^2 + y^2 <= 1 && y <= x, {x, y}]; ToBoxes[TraditionalForm @ exp] /. "\[Or]" -> "\[Or]\n" // RawBoxes Or, wrap with TraditionalForm: ToBoxes[TraditionalForm@exp] /. "\[Or]" -> "\[Or]\n" // RawBoxes // TraditionalForm ...



Top 50 recent answers are included