  Formulating the alternating current optimal power flow (ACOPF) as a
polynomial optimization problem makes it possible to solve large instances in
practice and to guarantee asymptotic convergence in theory.
