This directory contains equations of a fake projective plane, described in a joint paper of
Borisov, Buch and Fatighenti.

Section2.nb and Section3.nb are Mathematica files that cover the corresponding sections of the 
paper. They take a couple of days to run. Section2.nb.pdf and Section3.nb.pdf files are 
printouts of the corresponding Mathematica files which can be useful for those without 
the Mathematica access.

The equations of the fake projective plane are in EqsFPPwithrr (rr stands for (-2)^(1/2)). The 
file EqsFPPC3W contains equations of a C_3 quotient of the FPP in question.

The files CheckSmoothness and CheckFPP verify smoothness and FPP properties of the scheme cut 
out by the equations from EqsFPPwithrr. They are written in Magma and Macaulay2 respectively.