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

Regression in is_integer for Mul of Pow #23287

Closed
oscarbenjamin opened this issue Mar 24, 2022 · 1 comment · Fixed by #23289
Closed

Regression in is_integer for Mul of Pow #23287

oscarbenjamin opened this issue Mar 24, 2022 · 1 comment · Fixed by #23289
Labels
assumptions core regression

Comments

@oscarbenjamin
Copy link
Contributor

This should give None as output rather than False:

In [9]: x = symbols('x') # no assumptions set

In [10]: (x**2/2).is_integer
Out[10]: False

This is a regression tracked to 9bb7873 from #22250

CC @smichr
@oscarbenjamin oscarbenjamin mentioned this issue Mar 24, 2022
Merged
@smichr
Copy link
Member

smichr commented Mar 24, 2022

Looks like if not numerators and denominators and all(is_gt(_... should be if not unknown and not numerators...

skirpichev added a commit to skirpichev/diofant that referenced this issue Mar 25, 2022
@skirpichev
Add regression test
bda9a53 
Closes sympy/sympy#23287
skirpichev added a commit to skirpichev/diofant that referenced this issue Mar 25, 2022
@skirpichev
Add regression test
2abd66b 
Closes sympy/sympy#23287
@smichr smichr mentioned this issue Mar 25, 2022
Merged
@oscarbenjamin oscarbenjamin mentioned this issue Jun 17, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
assumptions core regression
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

23287: Mul.is_integer correction smichr/sympy
2 participants
@smichr @oscarbenjamin