What is the time complexity of rewriting polynomials?
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?