My-Kingdom-for-a-Cat comments

Repositories
Issues
Comments

Results 2 comments of


                                            My-Kingdom-for-a-Cat

Possible bug in volume

It seems the issue is the same as in [#249]: the function `triangulation_indices()` returns redundant simplices. Removing duplicates as explained [here](https://github.com/JuliaPolyhedra/Polyhedra.jl/issues/249#issuecomment-1864265455) yields the correct volume `1.0`.

Incorrect volume calculation when H-rep contains redundant inequalities

I get the same issue with Julia 1.9.4 and GLPK or other libraries (e.g. CDDLib): ```julia using Polyhedra using CDDLib lib=CDDLib.Library(:exact) L3 = polyhedron(vrep([ 0 0 0 0 0 0...