ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 04 Jan 2018 05:07:00 +0100Solving an inequality symbolically under constraintshttps://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 e1Thu, 04 Jan 2018 05:07:00 +0100https://ask.sagemath.org/question/40456/solving-an-inequality-symbolically-under-constraints/