Computation for the degree 4 Del Pezzo
Computation for smallGroup(162,19)
Computation to check the genericity conditions in Example 7