I assume lots of assumptions here are relying on real values `v` and real-valued sets `s`. Solvers are starting to support complex, so should we
I assume lots of assumptions here are relying on real values
vand real-valued setss. Solvers are starting to support complex, so should we