|
Size: 290
Comment:
|
Size: 321
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 11: | Line 11: |
| '''See Also SemiLinearSets''' |
SemiAlgebraicSets are geometric shapes (sets of points) 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.
Bumb would then be the set of points contained in the geometric shape below:
attachment:bump.gif
See Also SemiLinearSets