Items tagged with inequality inequality Tagged Items Feed

How to solve the inequality

with Maple?

My attempts were the following.

Warning, solutions may have been lost

Of course, this works

f(1);
,

but one wishes to describe the solutions in the dependence on the parameter a. Unfortunately, both

and

produce wrong outputs(An SCR has been submitted by me.).

 

 

 

 

 

 

Hi there. 

I'm kind of new to Maple and i'm trying to solve a Linear Algebra problem for my class of Linear Algebra of the course of Physics. Also, my first language is portuguese so forgive for my not-so-perfect english.

I have a (solved) linear system of 7 equations and 12 variables (A, B, C, D, E, F, G, H, I, J, K, L) that is the following:

  • A = 33 - K - L
  • B = 1 + F - J
  • C = -15 - F + J + K + L
  • D = 15 + H - K
  • E = 16 - F - H + J + K
  • G = 34 - H - J - L
  • I = 18 - J - K

Note: I'm using letters (A, B, ..., L) instead of X1X2, ..., X12 because it's easier to write it like this here and because I don't know if the Xn notation is allowed on Maple (i don't think so).

So, the system is possible but undetermined (with 5 degrees of freedom), being F, H, J, K and L the free variables.

Until here, everything's fine. The problem arises when the professor asks us for every solution of the system that satisfies the condition that all the variables (form A to L) are positive integers (A, B, C, D, E, F, G, H, I, J, K, L ϵ IN → natural numbers).

From my understanding, that gives rise to a system of linear inequalities with 12 variables and the following inequalities:

  • A = 33 - K - L > 0
  • B = 1 + F - J > 0
  • C = -15 - F + J + K + L > 0
  • D = 15 + H - K > 0
  • E = 16 - F - H + J + K > 0
  • G = 34 - H - J - L > 0
  • I = 18 - J - K > 0
  • > 0
  • > 0
  • > 0
  • > 0
  • > 0                            (and A,B,C,D,E,F,G,H,I,J,K,L ϵ IN)



After some research, i found that a possible way to solve this type of system of linear inequalities is trough a method of elimination (analog to Gauss-Jordan's elimination method for systems of linear equations) named Fourier-Motzkin. But it's hardwork and i wanted to do it on the computer. After some research, i came across with the following Maple command:

SolveTools[Inequality][LinearMultivariateSystem]

http://www.maplesoft.com/support/help/Maple/view.aspx?path=SolveTools%2fInequality%2fLinearMultivariateSystem

So, I tried to use that command to solve my system, with the following result (or non-result):

with(SolveTools[Inequality]);
LinearMultivariateSystem({F > 0, H > 0, J > 0, K > 0, L > 0, 1+F-J > 0, 15+H-K > 0, 18-J-K > 0, 33-K-L > 0, 34-H-J-L > 0, -15-F+J+K+L > 0, 16-F-H+J+K > 0}, [F, H, J, K, L]);

Error, (in SolveTools:-Inequality:-Piecewise) piecewise takes at least 2 parameters


So, i really need help solving this as the professor told us that the first one to solve would win a book, eheh. I don't know what I'm doing wrong. Maybe this Maple command is not made for 12 variables? Or maybe i'm just writing something on a wrong form. I've never used Maple before so i can be doing something really stupid without knowing it.

I would really apreciate an answer, as my only goal as a future physicist is to unveil the secrets of the Cosmos to us all.

Thank you again.

Miguel Jesus





Hi, I have an equation and I want to plot it for a set of inequalities, is this possible or will i need to insert values for the constant?

 

So if i have the equation;

 

y=(X_0-aX)/a+(X_0-bX)/b, can I plot y given that: X_0>bX and <aX

 

 

Hello those who are in mapleprimes,

I want to devide both hand side of inequality by positive a.

And, the ways I want to know are two ways for doing this.

1)         c:=a<b: c/d assuming d>0;

returns 

I don't know why the result isn't a/d<b/d.

 

2)        the second way is one to focus on op(0,c) being <. And, from lhs(c), rhs(c), and op(0,c), 

I want to constract lhs(c)/d op(0,c) rhs(c)/d, that is lhs(c)/d<rhs(c)/d.

Please tell me about this.

 

Thank you in advance.

taro

 

Hi, those who are in mapleprimes.

 

i have a problem in solving inequality with symbolic notated parameters.

I wrote the following code to solve for n(SPH), but couldn't obtain any result but an error message.

solve(-s*(-n(SPF)*tau+n(SPH))/(tau-1) <= n(SPH),n(SPH)) assuming (tau<1,s>0,s<1,tau>0);

 

The error was

Error, (in assuming) when calling 'unknown'. Received: 'invalid input: Utilities:-SetSolutions expects its 2nd argument, solutions, to be of type ({list, set})({piecewise, ({list, set})({name, relation})}), but received [s = -tau~+1, [SPF = SPF, s = s, tau~ <= 0]]'

 

Please tell me how I should do to solve the inequality.

 

Thanks in advance.

 

taro

 

Hi,


Is it possible to solve linear matrix inequality in Maple?
For example, using Matlab and yalmip we can easily
solve Lyapunov equation
  
    A'P + P * A <0, P> 0

Is it possible to solve this equation in the Maple?


Regards,

 

Here's an example compound inequality I'm working on.

Working it out manually.... 

Compound Inequality
4477.25 <= 4477.25+.25*(t-32450) <= 16042.25;

Distribute the coefficient
4477.25 <= 4477.25+.25*t - 8112.50 <= 16042.25;

Combine like terms
4477.25 <= -3635.25+.25*t <= 16042.25;

Add 3635.25 to all sides
8112.50 <= .25*t <= 19677.50;

Divide all sides by .25
32450 <= t <= 78710;

 

How can I ask Maple to simplify this compound inequality? Obviously this is not the correct syntax, It seems Maple doesn't understand what I want it to do.

4477.25 <= 4477.25 + .25 * (t-32450) <= 16042.25;

                       0.00 <= 0.25 t - 8112.50 and 0.25 t <= 19677.50                (112)

 

Also is there a way to ask Maple to only perform one step? In the above example, is it possible to ask Maple to "Distribute the .25", then show the result, next ask it to combine like terms, etc?

Hello: I'm looking over the Help section but I can not find a Maple package that has a command to compute the symmetric sum or the cyclic sum. I just started working with inequalities. Please could anyone recommend a package that allows me to compute expressions related to Muirhead's Inequality (see part 2 of  the answer:  http://math.stackexchange.com/questions/488967/majorization-muirhead)

I need to maximize two multivariate objective functions (f(x1,y1,z1,t1) and g(x2,y2,z2,t2)) with inequality and nonnegativity constraints (x1, x2>0 and y1, z1, t1, y2, z2, t2 >=0). I am looking for parametric not numerical solutions.


What is the best way to find the solution to such a problem using maple?

I'm trying to solve the following inequality:

ln(x+1)<x^2-1

but the solve command returns:

"Warning, solutions may have been lost"

Can someone halp me?

Thank you.

Carmelita

Hi, I need to show some how by using Maple, that n^3>(n+1)^2 where n>=3. Iam new at Maple and not sure how I can graph inequality as n goes to infinity. Any help would be appriciated. Thanks!!!

Hi,

 

I want to check this inequality (check below) for the set of parameters that holds, and I also want to restrict my variable to be real and non-negative (i.e k>=0), I am getting the usual message that "Solutions may have being lost". Can somebody please help me on how i can handle this ? Thanks 

alpha*beta*(1-alpha)*k^(alpha-1)/(1+beta)-1-(2*alpha-1)*alpha*(1-alpha)*beta*k^(2*(alpha-1))/(1+beta)+alpha^2*k^(alpha-1)

Please give specific instructions line per line, and all commands necessary to solve and plot on the same graph the inequality (x+3)^2>(-2)*(x+10).Thank you in advance for your help

I'm trying to use solve to find out if a system of equalities and inequalities has any solution or not, but maple 15 seems to be giving phantom solutions.  A simple example is the following:

  solve({ a + b = 1, a > 0, b > 1, c > 0 }, {a,b,c});

It gives the output

Hi,

I want to create a tangent function.

I know that you can create tan(x) but how can you create the tangent function when the solutions are only:

x in [0.19740;0.91510[ union [3.3390;4.0567 ?

 

Another explanation:

How you can graphically show the valid values of x in this inequality?

                  0.2 ≤ tan x < 1.3
Best regards
fattali
1 2 Page 1 of 2