$ time sage OMF79.sage
Q(x0, x1, x2, x3, x4) = x0^2 + x0*x1 + x1^2 + x2^2 + 2*x3^2 + 5*x1*x4 + 5*x2*x4 + 5*x3*x4 + 100*x4^2

Computing V and T₂ ... Time: CPU 47.21 s, Wall: 45.67 s
Computing V1 ... Time: CPU 24.45 s, Wall: 0.60 s
Computing V2 ... Time: CPU 25.05 s, Wall: 0.57 s

Lemma 2.1.
  (1) The dimension of V is 612
  (2) The dimension of V₁ is 3
  (3) The dimension of V₂ is 6
  (4) The dimension of V₁⊗𝔽₅ ∩ V₂⊗𝔽₅ is 1

98.05user 0.58system 0:48.74elapsed 202%CPU (0avgtext+0avgdata 354996maxresident)k
86inputs+4outputs (1major+151683minor)pagefaults 0swaps