Set ?linearitydetected = true in detect?linearity!

Author: oyamad

src/polyhedron.jl

@@ -55,8 +55,6 @@ function getine(p::Polyhedron)
         else
             p.ine = LiftedHRepresentation(getextm(p, :Fresh))
             p.inem = nothing
-            p.hlinearitydetected = true
-            p.noredundantinequality = true
         end
     end
     return p.ine
@@ -74,8 +72,6 @@ function getext(p::Polyhedron)
         else
             p.ext = LiftedVRepresentation(getinem(p, :Fresh))
             p.extm = nothing
-            p.vlinearitydetected = true
-            p.noredundantgenerator = true
         end
     end
     return p.ext
@@ -154,7 +150,7 @@ function Polyhedra.detecthlinearity!(p::Polyhedron)
         p.inem = nothing
         p.ine = nothing
         getine(p)
-        # getine sets hlinearity as detected and no redundant ineq.
+        p.hlinearitydetected = true
     end
 end
 function Polyhedra.detectvlinearity!(p::Polyhedron)
@@ -163,7 +159,7 @@ function Polyhedra.detectvlinearity!(p::Polyhedron)
         p.extm = nothing
         p.ext = nothing
         getext(p)
-        # getext sets vlinearity as detected and no redundant gen.
+        p.vlinearitydetected = true
     end
 end
 function Polyhedra.removehredundancy!(p::Polyhedron)