Definition (Regular differential). A differential ω∈ΩC is regular if div(ω)≥0, i.e. it has no poles.