$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, b)$ as input to Sage's 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 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.