infiniteopt / InfiniteOpt.jl

An intuitive modeling interface for infinite-dimensional optimization problems.
https://infiniteopt.github.io/InfiniteOpt.jl/stable
MIT License
251 stars 17 forks source link

Measures inside derivatives are not expanded #323

Open pulsipher opened 11 months ago

pulsipher commented 11 months ago

When measures are expanded within an InfiniteModel via expand_all_measures!, any measure inside a derivative is skipped.

model = InfiniteModel()
@infinite_parameter(m, t in [0, 1])
@infinite_parameter(m, x in [0, 1])
@variable(m, y, Infinite(t, x))
@constraint(m, ∂(∫(y, t), x) == 0)
expand_all_measures!(m)

Hence, nothing happens with the above.