# Question:Speed up built-in `solve`?

## Question:Speed up built-in `solve`?

Maple 2023

The `solve` function is able to solve inequalities and return solutions that satisfy the inequalities. Unfortunately, it appears that for some toy problems, this command does not always perform efficiently

 > restart;
 >
 >
 >
 >
 >
 >
 >
 >
 >
 >
 >

So none of them is capable of giving a complete description of the region defined by eqns__1 or eqns__2 with a time limit of "ten seconds". (I believe that completing the evaluation may take a much long time; actually, if there is no constraint on the real time allowed, the symbolic solver will be stuck.) (Note that here it is not hard to find individual instances of values of variables that satisfy them (for example, via the 3-D region boundary plot above), yet they provide less insight into all solutions that exist.)
But in my view, ten seconds are too long for these two special systems.

Can Maple solve them more quickly at present?

```> eqns__1 := {x^2+y^2+z^2+x*y*z <= 2*(y*z+z*x+x*y), 2*(x^2+y^2+z^2) < y^2*z+z^2*x+x^2*y-27, x >= 0, y >= 0, z >= 0};
> eqns__2 := {x^2+y^2+z^2+x*y*z <= 2*(y*z+z*x+x*y), 2*(x^2+y^2+z^2) <= y^2*z+z^2*x+x^2*y-27, x > 0, y > 0, z > 0};
```

(It seems that a potential difficult part for Maple is likely attributable to proving completeness of the solution ….)

﻿