Note, whether the boundary is considered to be inside the Region or not is controlled by the Closed attribute. Changing the value of the Negated attribute does not change the value of the Closed attribute. Thus, if Region is closed, then the boundary of the Region will be inside the Region, whatever the setting of the Negated attribute.
AST A Library for Handling World Coordinate Systems in Astronomy