Would it be too much asking that PetscSplitReduction be available in a public header? (together with the functions PetscSplitReductionGet, PetscSplitReductionEnd, PetscSplitReductionExtend).
I know this request comes too close to the release date. Jose
