If the ring of the argument is of a dth cyclotomic field and d
a divisor of n we embed
via the mapping zd -> znn/d
where zn denotes a fixed nth root of unity.
The following Rings are mapped: Cyclotomic fields, where the variable is of
the form z* where z ist the preifx of the variable and * is a number;
Polynomial rings and Quotient fields over Polynomial rings
where the variables are of the form z*; the usual suspects (Z, Q).
Strings denoting Rational functions (elements of Quotient fields of Polynomial rings)
over variables of the form z* where z ist the preifx of the variable and * is a number;
are mapped.