Time complexity of rewriting systems [closed]
What is the time complexity of rewriting polynomials (simplifying them) over a 2-valued field? What properties of the initial expression influence the time it takes for Sage to come up with the simplest possible expression?