How many equivalence classes of $\Bbb F_2[x,y]$ polynomials with $x$ degree $n_x$ and $y$ degree $n_y$ are there such that each $y^i$ coefficient (polynomial in $\Bbb Z[x]$) is distinct and $x^i$ coefficient (polynomial in $\Bbb Z[y]$) is distinct?
Two polynomials are equivalent if there is a member of $S_{n_x+1}\times S_{n_y+1}$ changes permutes coefficient of one polynomial to other.
Is there a way to give the standard basis for these polynomials (are these a vector space in any sense)?
Consider $0/1$ as integers how are these classes organized under $GL_{n_x}(\Bbb R)\times GL_{n_y}(\Bbb R)$ action (muliply coefficient matrix on left and right)?
Is there a $c>0$ such that if $n_y>n_x^c$ then there is no such polynomial for large enough $n_x$, $n_y$?