 Determining the computational complexity required for polynomial identity testing is one of the most important open problems in algebraic computing complexity.The question "Does formula_1 equal formula_2" is a question about whether two polynomials are identical.As with any polynomial identity testing question, it can be trivially transformed into the question "Is a certain polynomial equal to 0?