How can I ask Sage to solve the following non linear inequality
$$\sum_\limits_{i=1}^{n}a_{i}u^{sum_\limits_{j=1}^{i}y_j} > c$$
$$y_j in \{0,1\}, j=1,2,\dots,n$$
$$a_i \in \mathbd{R}, i=1,2,\dots,n$$
$$n \in \mathbd{N}, u>0, c > 0$$
where the $y_j$ are variable and all other terms constant.
I'm ne
I'm just beginning to use this setup. Maybe, there are are some hidden
limitations.
I assume you have a working installation of eclipse, PyDev and Sage.
Do this in eclipse:
1- set PyDev python interpreter to Sage
windows: preferences: PyDev: Interpreter Python: new: /sage/local/bin/
pytho