Create fully_homomorphic.h