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 !

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.