有限生成合同の和が基底項代数上の合同になるかどうかの効率的な決定問題

2つの有限生成合同の和が、基底項代数上の合同になるかどうかの決定問題を、入力のサイズの二乗時間で解くことができる。