Skip to content

[Nonlinear] parse x*x as x^2 in Nonlinear.Model #2799

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

Merged
merged 1 commit into from
Aug 7, 2025
Merged

Conversation

odow
Copy link
Member

@odow odow commented Aug 4, 2025

Issue raised in PSORLab/EAGO.jl#150

I'll run solver-tests to see if there's any impact.

https://github.com/jump-dev/MathOptInterface.jl/actions/runs/16733837980

@odow
Copy link
Member Author

odow commented Aug 4, 2025

JuMP failure is because of #2775

@odow
Copy link
Member Author

odow commented Aug 4, 2025

It's an open question whether we should merge this. You might be tempted to say that this is an EAGO issue, not a JuMP/MOI issue.

They should detect structure rather than relying on the precise way that JuMP users write models or MOI lowers a quadratic.

@odow odow force-pushed the od/parse-square branch from 7eeb587 to 95d9357 Compare August 7, 2025 03:09
@odow
Copy link
Member Author

odow commented Aug 7, 2025

@blegat
Copy link
Member

blegat commented Aug 7, 2025

I also think that they should probably detect the structure, the user may still be able to write x * x, e.g., using @force_nonlinear ? On the other hand, this make to MOI makes sense. If we have a square in the ScalarQuadraticFunction, we should probably detect is as square.

@odow
Copy link
Member Author

odow commented Aug 7, 2025

Yeah there's no right or wrong answer here. Very much open for debate

@odow odow merged commit 252ca45 into master Aug 7, 2025
99 of 101 checks passed
@odow odow deleted the od/parse-square branch August 7, 2025 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants