See again [this comment](https://github.com/JuliaReach/MathematicalSystems.jl/issues/41). **Proposal.** Add `polar(set)`. See https://en.wikipedia.org/wiki/Polar_set for distinct definitions.