Revision history [back]

What do you want to check? B in F is true by definition of B. You can do B in F.prime_subfield() to check if B is in $GF(3)$. This is the same as checking B1 < 3, which is seen to be False here.