2018-11-30 14:28:25 +0200 | received badge | ● Student (source) |
2018-11-30 13:43:18 +0200 | asked a question | Simplify symbolic equation based on assumptions? Hi guys, I'm using Sage since few days ago. I'm struggling solving some inequalities with constraints. I have two questions that may be related. First, why do we obtain such result in the following code? Second, when I compute some equation, I obtain a result with a square root of something that I know is negative. So I make some assumption on that value and I obtain the result I expect. Then, if I want to compute another square root that should also be negative using the previous assumption. Sage does not simplify the equation. Then I have to explicitely set another assumption (which is less restrictive by the say) to obtain the result I want. I this the wanted behavior? My full problem is the following: I want to show that the roots have a negative real part. I tried many things but with no succes. Here is one of my trials: Thank you very much. |
2018-11-30 13:43:17 +0200 | asked a question | Show that one variable is negative based on assumptions Hi guys, I'm using Sage since few days ago. I'm struggling solving some inequalities with constraints. I have two questions that may be related. First, why do we obtain such result in the following code? Second, when I compute some equation, I obtain a result with a square root of something that I know is negative. So I make some assumption on that value and I obtain the result I expect. Then, if I want to compute another square root that should also be negative using the previous assumption. Sage does not simplify the equation. Then I have to explicitely set another assumption (which is less restrictive by the say) to obtain the result I want. I this the wanted behavior? My full problem is the following: I want to show that the roots have a negative real part. I tried many things but with no succes. Here is one of my trials: Thank you very much. |