Gröbner bases calculations of the paper "Conformally Einstein Lorentzian Lie groups: the almost Abelian case"

This notebook is a complementary file of the paper "Conformally Einstein Lorentzian Lie groups: the almost Abelian case". It contains the expressions of the Bach tensor and the calculations of the different Gröbner bases, aimed to provide evidence of the ideal membership of the polynomials used through the paper. Headings and numbering correspond to those in the paper.