{x : Ax = 0}
instead
LazySets.minkowski_sum
.
minkowski_sum
, didn't even think to check the operators...
julia> h = HalfSpace([1], 1) ∩ HalfSpace([-1], 0)
H-representation Polyhedra.Intersection{Int64,Array{Int64,1},Int64}:
2-element iterator of HalfSpace{Int64,Array{Int64,1}}:
HalfSpace([1], 1)
HalfSpace([-1], 0)
julia> p = polyhedron(h)
Polyhedron Interval{Int64,StaticArrays.SArray{Tuple{1},Int64,1,1},StaticArrays.Size{(1,)}}:
2-element iterator of HalfSpace{Int64,StaticArrays.SArray{Tuple{1},Int64,1,1}}:
HalfSpace([1], 1)
HalfSpace([-1], 0):
2-element iterator of StaticArrays.SArray{Tuple{1},Int64,1,1}:
[1]
[0]
julia> similar(p, Polyhedra.FullDim(p), Polyhedra.coefficient_type(p), hyperplanetype(p)[], halfspacetype(p)[])
Polyhedron Interval{Int64,StaticArrays.SArray{Tuple{1},Int64,1,1},StaticArrays.Size{(1,)}}:
1-element iterator of StaticArrays.SArray{Tuple{1},Int64,1,1}:
[0],
1-element iterator of Line{Int64,StaticArrays.SArray{Tuple{1},Int64,1,1}}:
Line([1])