using Polyhedra

v = convexhull([0, 0], [0, 1], [1, 0], [0.1, 0.1]) # list of points
v = vrep([[0, 0], [0, 1], [1, 0], [0.1, 0.1]]) # vector of points

x = [0,0,1,0.1]
y = [0,1,0,0.1]
v = vrep([x y])

Polyhedra.planar_hull(v)

import GLPK

removevredundancy(v, GLPK.Optimizer)

p = polyhedron(v)
removevredundancy!(p)
p