Alternatively, interpret as sum over all **solutions** (with multiplicity or not)? But in algebraic contexts like this, unless specified, we consider distinct roots or with multiplicity. But multiplicity doesn't affect real part — each root contributes its real part once in evaluation, but the real part function is defined per root. However, in such symmetric cases, we sum over distinct roots unless told otherwise. - Nelissen Grade advocaten