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, 10 Jun 2021 11:33:47 +0200assume causes a solving failurehttps://ask.sagemath.org/question/57526/assume-causes-a-solving-failure/This code
var("a b")
assume(a, "real")
equation=[a+b==0]
s=solve(equation, a, b)
print(s)
causes an AttributeError :
AttributeError: 'list' object has no attribute 'lhs'
The problem comes from the assumption in line 2. Can somebody explain?
poThu, 10 Jun 2021 11:33:47 +0200https://ask.sagemath.org/question/57526/Sage says equation isn't true while Mathematica says it ishttps://ask.sagemath.org/question/38795/sage-says-equation-isnt-true-while-mathematica-says-it-is/I have the following equation, of which I know that it is true when ```sigma > 0``` and ```mu > 0```.
eq = mu + 0.5*log(2*pi*sigma^2*e) == log(sqrt(2)*sqrt(pi)*sigma*e^(mu + 0.5))
So I set the constraints ```assume(sigma > 0)``` and ```assume(mu > 0)```. When evaluating it with ```bool(eq)```, Sage says ```False``` while Mathematica says that the equation holds. What am I doing wrong?muxamilianTue, 12 Sep 2017 15:22:24 +0200https://ask.sagemath.org/question/38795/