  We present the construction of constraint HMC algorithms for gauge-Higgs
models in order to measure the effective Higgs potential. In particular we
focus on SU(2) Gauge-Higgs Unification models in five dimensions. Previous
simulations have identified regions in the Higgs phase of these models which
have properties of 4D adjoint or Abelian Higgs models. We want to test this
relationship by comparing the effective potentials in five and four dimensions.
