>>167
「気まま」は失礼した。

尋ねているのは、戻る場合のRに対する処理についてだ。

例えば、p^n・p1^q1・p2^q2でR=1から始めて、
p^n・p1^q1を経由してq^m・p1^q1・p3^q3で再びR=1になった場合、
p2^q2を消去するときに生じた(p2^q2+・・・+1)が
約分できずに分母に残るんじゃないか？