Note on two compatibility criteria: Jacobi–Mayer bracket vs. differential Gröbner basis

We compare two compatibility criteria for overdetermined PDEs: one via geometric theory of differential equations and another via differential algebra approach. Whenever both are applicable, we show that the former is more effective, though in some very special cases they are equivalent.