ideal membership problem