Require that a polygon p contains circle c with optional margin padding.
p
c
padding
List of points for p
Center of c
Radius of c
Margin between the polygon and the circle (default: 0)
Require that a polygon
p
contains circlec
with optional marginpadding
.