Implement hull(embed(s)) = hom(conv(s)) perhaps using embed(sConvexComb(c_i,x_i)) = sum_i c_i embed(x_i)
Implement
hull(embed(s)) = hom(conv(s))
perhaps using
embed(sConvexComb(c_i,x_i)) = sum_i c_i embed(x_i)