Ideal membership problem

Summary