Réécrivons ces inégalités sous la forme suivante :
$$
\begin{array}{l}
4x_1\leq 100\\
-35 x_1 \leq -3\\
12 x_1 \leq 72\\
x_1 \geq 0\\
\end{array}
$$
On peut les entrer dans SageMath selon la syntaxe des polyèdres, soit :
cl0
Pour les obtenir dans le bon format, on code :
cl0
Pour les mettre dans le bon format pour une analyse de Fourier-Motzkin, on code :
cl0
On peut maintenant séparer les équations pour lesquelles $x_1$ est situé dans le membre de droite
de celles où elle est dans le membre de gauche (on se contente des valeurs des paramètres) et développer les résultats de manière
cl0