Advanced Search

Question: How can remove the redundant inequalities for defining a polyhedral cone?

Question:How can remove the redundant inequalities for defining a polyhedral cone?

MDD 347 Maple 15
cone inequality polyhedron
January 20 2018
1

 

Hi Dears,

Let us consider the following polyhedral cone which is defined by 8 inequalities (also, x,y,z ≥0): 

1. y-z ≥0

2. 3y-2z ≥0

3. 2y-2z ≥0

4. x-2y+z ≥0

5. x-y ≥0

6. 2x-y ≥0

7. x-z ≥0

8. x+y-z ≥0. 

How can we deduce that the inequalities 3 and 4 may be define this polyhedral cone and the others are redundant?

How can remove the redundant inequalities for defining this polyhedral cone?

Is there any Maple command or function that recive these 8 inequalities and return inequalities 3 and 4? In fact, inequalities 3 and 4 are facets of this polyhedral cone. 

 

Thank you in advanced. 

Sincerely yours
Please Wait...