|
Size: 190
Comment:
|
Size: 321
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| SemiAlgebraicSets are geometric shapes (sets of points) that constrained by a set of polynomial constraints. | SemiAlgebraicSets are geometric shapes (sets of points) constrained by a set of polynomial constraints. |
| Line 5: | Line 5: |
| bump(i,x,y) :- i=1, y+x^2-3<0, y>0. | bump(i,x,y) :- i=1, y+x^2-3<=0, y>=0. |
| Line 7: | Line 7: |
| Bumb would then be the set of points contained in the geometric shape below: attachment:bump.gif '''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