How to convert non-simple polygon_2 to simple polygons set?

[RikiLee]

How do we convert non-simple polygon_2 to simple polygons?
For example, convert Polygon P { (0, 0), (1,1), (1, 0), (0, 1) } to P1 { (0, 0), (0.5,0.5), (0, 1) } and P2{ (1,1), (0.5, 0.5), (1, 0) }

[efifogel]

P { (0, 0), (1,1), (1, 0), (0, 1) } is not a polygon (neither a simple polygon nor a non-simple polygon). It is not well defined. The interior of a polygon is defined as the area to the left of the boundary. If you want to extract the bounded faces that your path induces, one option is using the 2D Arrangement package. ____ _ ____ _ /_____/_) o /__________ __ // (____ ( ( ( (_/ (_/-(-'_(/ _/

…

On Sun, 16 Feb 2025 at 16:39, RikiLee ***@***.***> wrote: How do we convert non-simple polygon_2 to simple polygons? For example, convert Polygon P { (0, 0), (1,1), (1, 0), (0, 1) } to P1 { (0, 0), (0.5,0.5), (0, 1) } and P2{ (1,1), (0.5, 0.5), (1, 0) } — Reply to this email directly, view it on GitHub <#8740>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABVBNOBSH2LB4GVDKCUJ3Q32QCPILAVCNFSM6AAAAABXHVAE32VHI2DSMVQWIX3LMV43ERDJONRXK43TNFXW4OZXHE3TENJZGI> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[RikiLee]

Thanks for your reply