jackameister

One nice feature that's somewhat buried in the notes is that the linter can now warn against some Kotlin/Java interoperability problems. But you need to turn the new inspections on manually: https://developer.android.com/studio/releases/#lint

But your last sentence is only true among single-variable polynomials, isn't it? For example, f(x,y)=xy and g(x,y)=x^2 agree on infinitely many points.