Assertion: basis | /r/HasProperty | depend on monomial ordering
Facets:
Source sentences:
text: Multivariate division requires a monomial ordering, the basis depends on the monomial ordering chosen, and different orderings can give rise to radically different Gröbner bases.