Functional identities
Expressions involving a+b+c==0 mod(2omega1,2omega3)
Generalization for arbitrary a, b, c, d
