Tests for homomorphic addition