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

Starting values for constant expression #3559

Closed
blegat opened this issue Nov 3, 2023 · 4 comments · Fixed by #3564
Closed

Starting values for constant expression #3559

blegat opened this issue Nov 3, 2023 · 4 comments · Fixed by #3564

Comments

@blegat
Copy link
Member

blegat commented Nov 3, 2023

See https://discourse.julialang.org/t/wram-start-of-hermitianpsdcone-in-jump/105491/10?u=blegat

@odow
Copy link
Member

odow commented Nov 5, 2023

So I implemented this locally, but I don't know about it.

Even if we fix the constant case, the example will still fail for imag.(x) because the lower-triangle is -x.

It also breaks our current rule of "iff the expression is convertible to a variable."

@blegat
Copy link
Member Author

blegat commented Nov 6, 2023

For the lower triangle, we could set the opposite of the starting value. It then set twice the same value to the variable. We could allow starting value if we have at most one variable and possible a nonzero constant and non-one coefficient

@odow
Copy link
Member

odow commented Nov 6, 2023

So now our scope is starting to widen... How about we just add the set_start_value function from Discourse into the docs for HermitianPSD?

@odow
Copy link
Member

odow commented Nov 6, 2023

See #3564

@odow odow closed this as completed in #3564 Nov 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging a pull request may close this issue.

2 participants