SemiAlgebraicSets are geometric shapes (sets of points) that constrained by a set of polynomial constraints.
A bump could be defined as follows:
bump(i,x,y) :- i=1, y+x^2-3<0, y>0.
SemiAlgebraicSets are geometric shapes (sets of points) that constrained by a set of polynomial constraints.
A bump could be defined as follows:
bump(i,x,y) :- i=1, y+x^2-3<0, y>0.