Implementing a Restricted Function Space Class in Firedrake. - Emma Rothwell (CoRR, 2024)