Translate 0-based indices to Julia's 1-based in removevredundancy!

JuliaPolyhedra · Jan 18, 2025 · d385984 · d385984
1 parent 67dbb7c
commit d385984
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/polyhedron.jl b/src/polyhedron.jl
@@ -185,7 +185,7 @@ function Polyhedra.removevredundancy!(p::Polyhedron)
         detectvlinearity!(p)
         ext = getext(p)
         extm = getextm(p, :AlmostFresh) # FIXME does it need to be fresh ?
-        redset = redund(extm)
+        redset = BitSet(redund(extm) .+ 1)
         nonred = setdiff(BitSet(1:size(ext.R, 1)), redset)
         nonred = collect(setdiff(nonred, ext.linset))
         lin = collect(ext.linset)