Ideal membership problem

Redirect to:

• Linear equation over a ring