describes the coefficient field of the current basering as
an algebraic extension with the minimal polynomial equal to minpoly.
Setting the minpoly should be the first command after
defining the ring.
Note:
The minimal polynomial has to be specified in the syntax of a polynomial.
Its variable is not one of the ring variables, but the algebraic element
which is being adjoined to the field.
Algebraic extensions in SINGULAR are only possible over the rational
numbers or over Z/p, p a prime number.
SINGULAR does not check whether the given
polynomial is irreducible! It can be checked in advance with the
function factorize (see factorize).
Example:
//(Q[i]/(i^2+1))[x,y,z]:
ring Cxyz=(0,i),(x,y,z),dp;
minpoly=i^2+1;
i2; //this is a number, not a poly
==> -1