Status: NeedsDecision
Owner: [email protected]
Labels: Type-Defect Priority-Medium Assumptions

New issue 2294 by [email protected]: Remove .is_finite assumption
http://code.google.com/p/sympy/issues/detail?id=2294

.is_finite is basically defined by the following lines in sympy/core/assumptions.py:

        'finite     ->  bounded',       # XXX do we need this?
        'finite     ->  !zero',         # XXX wrong?
        'infinitesimal ->  !finite',    # XXX is this ok?

I think this is just weird and causes a lot of confusion as to the meaning of both .is_finite and .is_bounded. So I think we should just remove it. It might possibly be reintroduced later on as an exact synonym of is_bounded.

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sympy-issues?hl=en.

Reply via email to