Revision history [back]
 | 1 | initial version |
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 !
| | 2 | No.2 Revision |
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 !
