groebner basis {2a^2+2b^2+2ab-1,2c^2+2d^2+2cd-1,2ac+2bd+ad+bc}