Indicator functional of a constraint set (source code)

= Indicator functional of a constraint set

For a set $C$, its extended-real indicator functional is zero on $C$ and $+\infty$ outside $C$. It converts minimization subject to $x\in C$ into unconstrained minimization after adding the indicator to the objective.