Welcome to the forum. We could implement intersect!, PR welcome ! (see this issue.
In the meantime, you can use algebraic_set and basic_semialgebraic_set functions to create these sets programmatically.
I just added explanation in the README
2 Likes