These functions are intended to annotate contour plots with constraint regions. Inequality
constraints are shaded where the constraint is NOT satisfied. Equality constraints
are shaded in a small region near where the constraint is satisfied.
can be ignored by user. It supports the pipe syntax for layering
graphics.
tilde
a tilde expression specifying the constraint. For an inequality constraint
this should be a logical expression that is TRUE where the constraint is satisfied.
For an equality constraint, the left-hand side of the tilde expression should
be zero where the constraint IS satisfied.
domain
as in contour_plot(), the domain over which to graph the constraint
npts
a number specifying how finely to divide the domain in each direction. Default
is 100, but this gives a discernably pixelated appearance to the shading. 200 or 300
is more appropriate for publication-quality graphics.