Re: [firedrake] Difference between u.split() and split(u)