ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 03 Jan 2018 22:07:00 -0600Solving an inequality symbolically under constraintshttp://ask.sagemath.org/question/40456/solving-an-inequality-symbolically-under-constraints/Hello,
new to Sage. How would you go about this problem?
Assumptions:
a) e0, e1 are positive real numbers
b) e1 <= e0/2
Define:
A=e0/2-e1; (notice, greater than or equal to zero)
B=e0/2+e1; (equivalently, B=A+2e1)
Solve for e1:
Int(1/B)+2 >= 1/A, where Int(x) is the largest integer less or equal to x
Output:
An expression linking e0 and e1Wed, 03 Jan 2018 22:07:00 -0600http://ask.sagemath.org/question/40456/solving-an-inequality-symbolically-under-constraints/