Though `solveset_real` claimes to be complete in terms of real solution returned
But for this
>>> x = Symbol('x', real=True)
>>> solveset_real(exp(I*x), x)
FiniteSet(0)
But probably the solution is what is returned for the `solveset_complex`
>>> y = Symbol('y')
>>> solveset_complex(exp(I*y), y)
ImageSet(Lambda(_n, 2*_n*pi), Integers()) # correct solution returned
# same should be returned for `solveset_real` ?
Is there any reason why we just get `FiniteSet(0)` ?
Cheers
Gaurav
Harsh Gupta
未讀,
2015年7月1日 下午1:54:072015/7/1
回覆作者
登入以回覆作者
轉寄
登入以轉寄訊息
刪除
你的權限不足,無法在這個群組刪除訊息
複製連結
檢舉訊息
顯示原始貼文
該群組的電子郵件地址為匿名,或你需要檢視成員電子郵件地址的權限才能查看原始貼文
收件者:sy...@googlegroups.com
> Though `solveset_real` claims to be complete in terms of real solution returned
Well, solveset_real assumes that you are working in a real system,
that means both the equation and the solutions are in a real domain.
So solveset_real expect users to input equations like `exp(I*x) = 0`
and it should probably raise an error or maybe the doc string needs to
be updated. As you have figured out for yourself if someone wants to
work in the complex domain they can always use solveset_complex.
Now equation is `solveset_real(exp(I*x) - 1, x)` now this should return `ImageSet(Lambda(_n, 2*_n*pi), Integers())`
but currently returns `FiniteSet(0)` what about this ?
Harsh Gupta
未讀,
2015年7月1日 下午2:44:402015/7/1
回覆作者
登入以回覆作者
轉寄
登入以轉寄訊息
刪除
你的權限不足,無法在這個群組刪除訊息
複製連結
檢舉訊息
顯示原始貼文
該群組的電子郵件地址為匿名,或你需要檢視成員電子郵件地址的權限才能查看原始貼文
收件者:sy...@googlegroups.com
The "effective input" to exp in exp(I*x) is not real for any non-zero
real value of x, so 0 is the only real point in the domain hence the
solution is correct. I should clarify that the input function/equation
of solveset_real are functions of real variable [1] and are also
real-valued [2] functions. This means they should map a subset of real
numbers to a subset of real numbers.