The MagmaCSFiniteField file verifies that the collection of certain minors of the Jacobian matrix 
is not identically zero on the scheme cut out by one quadric and 84 cubic equations in 10 
variables.

The MagmaCSrationals file verifies that Z and C are irreducible.

The MacaulayCSFiniteField file verifies that H^1(O_Z(1))=0.

The MacaulayCSrationals file verifies that dim H^1(O_C(1))=1.