This symbol represents a binary function. The first argument should be a
natural number p which is zero or a prime number,
the second argument a list or a
set L. When evaluated on such arguments p and L, the function represents the
field of rational functions in L over the rationals if p = 0 and over the
field of integers mod p if p is a prime.
Example:
The rational function field Q(a,b) in the indeterminates a, b is
This symbol is a binary function whose first argument is a univariate
polynomial ring R over a field, and whose second argument is an irreducible
polynomial f in this polynomial ring R. So, when applied to R and f, the
function has value the quotient ring R/(f).
Example:
The finite field GF(2)[X]/(X^2+X+1) is represented by