Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ceiling(pos) > 0 should be true #17309

Closed
smichr opened this issue Jul 31, 2019 · 1 comment · Fixed by #17313
Closed

ceiling(pos) > 0 should be true #17309

smichr opened this issue Jul 31, 2019 · 1 comment · Fixed by #17313
Labels
functions

Comments

@smichr
Copy link
Member

smichr commented Jul 31, 2019 •
edited

Also, shouldn't floor(neg) < 0, floor(pos) >= 0 and ceiling(neg) <=0 evaluate to True, too?
@ethankward ethankward mentioned this issue Jul 31, 2019
Merged
@oscarbenjamin
Copy link
Contributor

To clarify I guess that you mean that e.g. this should evaluate to True:

In [4]: floor(Symbol('x', negative=True)) < 0
Out[4]: ⌊x⌋ < 0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
functions
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

floor and ceiling inequality simplification ethankward/sympy
3 participants
@smichr @oscarbenjamin @sylee957