Analizowanie tożsamości wielomianowych