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.

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

Fix ability to identify if a specific symbolic unary expression satisfies a property #616

Closed
lgeretti opened this issue May 29, 2021 · 0 comments · Fixed by #618
Closed

Fix ability to identify if a specific symbolic unary expression satisfies a property #616

lgeretti opened this issue May 29, 2021 · 0 comments · Fixed by #618
Assignees
@lgeretti
Labels
bug Something isn't working
Milestone
Release 2.4

Comments

@lgeretti
Copy link
Member

lgeretti commented May 29, 2021 •
edited

There is a problem with dispatching specific unary operations for is_affine_in and similar, since the code falls back to the generic unary OP version, ignoring the specialisation.
@lgeretti lgeretti added the bug Something isn't working label May 29, 2021
@lgeretti lgeretti added this to the Release 2.4 milestone May 29, 2021
@lgeretti lgeretti self-assigned this May 29, 2021
@lgeretti lgeretti changed the title Fix ability to identify if a symbolic expression is polynomial Fix ability to identify if a specific symbolic unary expression satisfies a property May 29, 2021
lgeretti added a commit that referenced this issue May 29, 2021
@lgeretti
Fix identification of affinity for unary operations, add is_polynomia…
0fcea22 
…l_in, fix #616, resolve #617
@lgeretti lgeretti mentioned this issue May 29, 2021
Merged
lgeretti added a commit that referenced this issue May 29, 2021
@lgeretti
Fix identification of affinity for unary operations, add is_polynomia…
d9792fb 
…l_in, fix #616, resolve #617
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lgeretti lgeretti

Labels
bug Something isn't working
Milestone
Release 2.4
Development

Successfully merging a pull request may close this issue.

Fix identification of affinity for unary operations, add is_polynomia… ariadne-cps/ariadne
1 participant
@lgeretti