answered 5 years ago
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.
B in F
B
B in F.prime_subfield()
B1 < 3
False