i1 : P = intersection(matrix{{1,0},{0,1},{-1,-1}},matrix{{-1},{1},{-1}}) Warning: This method is deprecated. Please consider using polyhedronFromHData instead. o1 = P o1 : Polyhedron
i2 : isEmpty P o2 = true