The documentation for polynomial sequences is here:

http://doc.sagemath.org/html/en/reference//polynomial_rings/sage/rings/polynomial/multi_polynomial_sequence.html

It says

We call a finite list of polynomials a `Polynomial Sequence`

.

To see all the polynomials in the sequence, you can use the `list`

command.

Example.

```
sage: sr = mq.SR(2,1,2,4,gf2=True,polybori=True)
sage: F,s = sr.polynomial_system()
sage: F
Polynomial Sequence with 112 Polynomials in 64 Variables
sage: list(F)
```

This outputs the list of all polynomials in the polynomial sequence.

Note that the representation of `F`

is a string of the list itself if the sequence `F`

has less than 20 elements, while if `F`

has 20 elements or more, a summary is printed.

Example: compare

```
sage: P = PolynomialRing(GF(127), 2, names='a')
sage: I = sage.rings.ideal.Katsura(P)
sage: F = Sequence([I.gens(),I.gens()], I.ring())
sage: len(F)
4
sage: F
[a0 + 2*a1 - 1, a0^2 + 2*a1^2 - a0, a0 + 2*a1 - 1, a0^2 + 2*a1^2 - a0]
```

and

```
sage: P = PolynomialRing(GF(127), 10, names='a')
sage: I = sage.rings.ideal.Katsura(P)
sage: F = Sequence([I.gens(),I.gens()], I.ring())
sage: len(F)
20
sage: F
Polynomial Sequence with 20 Polynomials in 10 Variables
```

Note that this information is in the documentation for the `_repr_`

method of `F`

,
which you can access by typing

```
sage: F._repr_?
```

See also the source code by typing

```
sage: F._repr_??
```