Ideal membership problem