Good euclidian geometry package Python?

Question

Good evening,

I am looking for a package under python that have the following properties :

1. define any rectangles R in R^2

2. if R_1, ... , R