julia 1.0
LazySets
TypedPolynomials
