Currently it will just return False, since that is what happens if there is a shape mismatch in `==`. Since 0s are trimmed, I will explicitely return False here, or should it really be an error to compare polynomials of different order? It seems right to me to just return False.

I think I won't add it now, but it might make sense to add a type check here?