search

JuliaPolyhedra / Polyhedra.jl

Polyhedral Computation Interface
Other
172 stars 27 forks source link

`eliminate` creates duplicate HalfSpaces #307

Closed hdavid16 closed 2 years ago

hdavid16 commented 2 years ago

Is it possible to remove duplicates in the output of eliminate? I notice that eliminating often creates duplicate HalfSpaces in the iterator of the resulting Polyhedron. I think this is really hurting performance when eliminating many dimensions...

blegat commented 2 years ago

Yes, you can remove it with removehredundancy