Tactic to deduce new equations from given ones (using Gröbner-bases) in a ring or more precisely a commutative algebra over a field