Grobner bases calculations of the paper "Critical metrics and algebraic solitons for quadratic curvature functionals on non-solvable four-dimensional Lorentzian Lie groups"

This notebook is a complementary file of the paper "Critical metrics and algebraic solitons for quadratic curvature functionals on non-solvable four-dimensional Lorentzian Lie groups". It contains 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 this paper.