The commands for manipulating ring maps are described in this section. The examples all assume that the following rings R, S, and T, have been defined:
% pring R ; ring R ; characteristic : 31991 ; number of variables : 4 ; variables : abcd ; weights : 1 1 1 1 ; monomial order : 4 c ; top degree of a monomial : 512 % pring S ; ring S ; characteristic : 31991 ; number of variables : 3 ; variables : xyz ; weights : 1 1 1 ; monomial order : 3 c ; top degree of a monomial : 512 % pring T ; ring T ; characteristic : 31991 ; number of variables : 3 ; variables : abx ; weights : 1 1 1 ; monomial order : 3 c ; top degree of a monomial : 512
R has four variables
, S has three variables
, and T has variables
.