# Revision history [back]

First, i guess that you write

sage: R.inject_variables()
Defining x

to define x after defining R. Then, indeed, since $(F1\setminus \{0\},\times)$ is a group of order p^5-1, you should have $b^{p^5-1}=1$, but it is not what you are writing, some parentheses are missing, you should write:

sage: b^(p^5-1)
1

which works !

First, i guess that you write

sage: R.inject_variables()
Defining x

to define let the Python name x point to the indeterminate x after defining R. Then, indeed, since $(F1\setminus \{0\},\times)$ is a group of order p^5-1, you should have $b^{p^5-1}=1$, but it is not what you are writing, some parentheses are missing, you should write:

sage: b^(p^5-1)
1

which works !