## 15 Reputation

6 years, 261 days

## Solving a big system of inequalities ...

Maple 16

Hello,

I have a problem with MAPLE. I would like to solve a system of 18 inequalities with 4 variables. The variables shall be rational numbers. I should also mention that I am not sure if the system has a solution. Here is my MAPLE code:

LinearMultivariateSystem({0 < (1/20)*b11, 0 < (1/20)*b1818, 0 < (1/20)*b22, 0 < (1/20)*b33, 0 < -653385574770525739/313841848320000+(1001/20)*b33+(3003/5)*b22+4004*b11-(91/5)*b1818, 0 < -476383516463665673/69742632960000+(3003/20)*b33-(1001/10)*b1818+(27027/2)*b11+(3861/2)*b22, 0 < -372810037848242383/52306974720000+(72072/5)*b11+(3003/20)*b33-(858/5)*b1818+2002*b22, 0 < -302968656462848461/125536739328000+(1001/20)*b33-(1001/10)*b1818+5005*b11+(1365/2)*b22, 0 < -94060277895192911/627683696640000+(91/20)*b33+273*b11-(7/10)*b1818+(91/2)*b22, 0 < -3219528868317343/14944849920000+468*b11+(91/20)*b33-(91/5)*b1818+63*b22, 0 < -1167616840098623/627683696640000+(7/10)*b22+(1/20)*b33+(21/4)*b11-(7/10)*b1818, 0 < 6620337745005653/9510359040000+(91/20)*b1818-(91/5)*b33-(6552/5)*b11-(819/4)*b22, 0 < 10321214321183681/627683696640000-(21/4)*b22-(7/10)*b33-28*b11+(1/20)*b1818, 0 < 19939504442621873/627683696640000-(7/10)*b33-(39/4)*b22-(364/5)*b11+(91/20)*b1818, 0 < 21128314477665001/24141680640000-(91/5)*b33-1848*b11+(1001/20)*b1818-(1001/4)*b22, 0 < 30458564958023749/6340239360000-(1001/10)*b33+(3003/20)*b1818-9828*b11-(27027/20)*b22, 0 < 78768022311702133/17933819904000-(1001/10)*b33-8580*b11+(1001/20)*b1818-(5005/4)*b22, 0 < 418747163878248241/52306974720000-(858/5)*b33+(3003/20)*b1818-16016*b11-(9009/4)*b22}, [b11, b22, b33, b1818])

I am sorry for the writing style but I do not know how to write the command in MAPLE-style in this forum:-)

The first 4 inequalities shall ensure that all four variables b11, b22, b33, b1818 are positive. When entering the command i get the following error: