search

JuliaPolyhedra / Polyhedra.jl

Polyhedral Computation Interface
Other
172 stars 27 forks source link

Redundancy removal with LU if no solver is specified #325

Open blegat opened 11 months ago

blegat commented 11 months ago

If no solver is provided, we fall back to a representation conversion: https://github.com/JuliaPolyhedra/Polyhedra.jl/blob/3e5e93490e7f2558263df3cca4432e722e761cb2/src/redundancy.jl#L106-L112 We should use a LU decomposition instead