Status: Accepted
Owner: smi...@gmail.com
Labels: Type-Defect Priority-Medium
New issue 2195 by smi...@gmail.com: review the is_bounded issue
http://code.google.com/p/sympy/issues/detail?id=2195
There are some issues with is_finite and is_bounded that were discussed in
[
http://groups.google.com/group/sympy/browse_thread/thread/e00b617e48744b0/ea5a2543bcbc9508?lnk=gst&q=log(3)#ea5a2543bcbc9508
] I also noted some code that should be reviewed in the assumptions.py file
at line 128:
# XXX do we need this ?
'finite -> bounded', # XXX do we need this?
'finite -> !zero', # XXX wrong?
'infinitesimal -> !finite', # XXX is this ok?
It seems like inifinite, the opposite of finite, would suggest 0 should be
finite. Also, an infinitesimal is something that is indistiguishable from 0
and thuse should also be finite.
I'm just putting this here so this issue doesn't get forgotten...though the
XXX in the program is doing that, too.
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to sympy-issues@googlegroups.com.
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
