Revision history [back]

$Ax \leq b \iff Ax - b \leq 0 \iff (-A)x + b \geq 0.$

$Ax \leq b \iff Ax - b \leq 0 \iff (-A)x + b \geq 0.$

$Ax \leq b \iff Ax - b \leq 0 \iff (-A)x + b \geq 0.$

So if you have $(A, b)$ such that $Ax \leq b$ is your polyhedron, then use $(-A, $(A', b)$ as input to Sage's Polyhedron.where $A'=-A$ are such that $A'x + b \geq 0$ is also your polyhedron.

$Ax \leq b \iff Ax - b \leq 0 \iff (-A)x + b \geq 0.$

So if you have $(A, b)$ such that $Ax \leq b$ is your polyhedron, then $(A', b)$ where $A'=-A$ are is such that $A'x + b \geq 0$ is also your polyhedron.

$Ax \leq b \iff Ax - b \leq 0 \iff (-A)x + b \geq 0.$

So if you have $(A, b)$ such that $Ax \leq b$ is your polyhedron, then the pair $(A', b)$ b)$, where $A'=-A$ $A'=-A$, is such that $A'x + b \geq 0$ is also your polyhedron.