Skip to main content
3 events
when toggle format what by license comment
Jul 4, 2013 at 19:10 comment added Mariano Suárez-Álvarez Your rewriting rules are of the form $W_\sigma\leadsto f_\sigma$, and the right hand side of such a thing is the $f_\sigma$. When you resolve ambiguities, you never divide by scalars (this is implicit in the act that, for example, Bergmann works over a ring) so you simply cannot get a polt at zero at any point of the process.
Jul 4, 2013 at 1:14 comment added MTS Thanks for your answer, Mariano. What do you mean by "right members"? And how can we be sure that no coefficients arise outside of $R$? That was precisely the question that I was asking myself when thinking about this.
Jul 4, 2013 at 0:01 history answered Mariano Suárez-Álvarez CC BY-SA 3.0