2 problems

Linear-eliminant membership conjecture. If $m\geq 2$, $p\geq 2m+2$, and $R\cup C\neq\bar R\cup\bar C$, then

Equivariant ideal membership dichotomy conjecture. Exactly one of the following holds: (i) the equivariant ideal membership problem is decidable; (ii) there exists an equivariant i…