Document function macro #168
Description
We could add an example in https://juliaintervals.github.io/IntervalConstraintProgramming.jl/latest/
Example:
using IntervalConstraintProgramming, IntervalArithmetic, Plots
dom = IntervalBox(-2 .. 2, -2 .. 2)
@function gg(x, y) = (x^4 + y^4 - 1) * (x^2 + y^2 - 2) + x^5 * y
C = @constraint gg(x, y) <= 0
p = pave(C, dom, 0.01)
plot(p.inner, lw=1, ratio=1, lab="f(x, y) ≤ 0", title="")
plot!(p.boundary, lw=1, ratio=1, lab="boundary")