finding term orders for which the given generators of an ideal/algebra form a Gröbner/SAGBI basis