[firedrake] edge length