1 problem

Let $M$ be a gcd-monoid, let $\mathcal{R}_{M}$ be its reduction system, and let an $n$-multifraction be a multifraction with $n$ entries. A reduction sequence is a sequence of elem…