multivariate division algorithm

1. REDIRECT Gröbner basis#Reduction

{{Redirect category shell|1=

{{R to section}}

{{R from merge}}

}}