Compute average value

Hi there, me again

jumpaverage
I know that freefem has a function to compute (4.28), but does it have one to compute the average value (4.29)? Couldn’t find anything in the documentation