> ring rGF8 = (8,a),x,dp;
> basering;
//   # ground field : 8
//   primitive element : a
//   minpoly        : 1*a^3+1*a^1+1*a^0
//   number of vars : 1
//        block   1 : ordering dp
//                  : names    x
//        block   2 : ordering C
> 2*a2+a;
a

> 2^24;
16777216
> prime(2^24);     // the largest prime below or equal to the input
16777213
> ring rGF16777216 = (16777216,b),x,dp;
> basering;
//   characteristic : 16777213      // <--  this is not 2^24
//   1 parameter    : b
//   minpoly        : 0                  // <-- a minpoly is not set yet
//   number of vars : 1
//        block   1 : ordering dp
//                  : names    x
//        block   2 : ordering C

> ring r2ext = (2,a),x,dp;
> minpoly = a3+a+1;
> basering;
//   characteristic : 2
//   1 parameter    : a
//   minpoly        : (a3+a+1)
//   number of vars : 1
//        block   1 : ordering dp
//                  : names    x
//        block   2 : ordering C
> a2+a;
(a2+a)
> 2*a2+a;
(a)