Global symbolic minimization of a function over variables with optional constraints.
Differs from the .wl reference: `Minimize` does not detect an unattained infimum
Minimize[f, x]
Minimize[f, {x, y, …}]
Minimize[{f, cons}, {x, y, …}]
Minimize[…, x ∈ rdom]
Minimize[…, …, dom]
Minimize[x^3, x]
→
Minimize::natt: The minimum is not attained at any point satisfying the given constraints.
{-Infinity, {x -> -Infinity}}