Extension

Constructs an algebraic extension from a ring, adjoining one element and its minimal polynomial.

extension(Ring, Identifier, Polynomial)

Given a ring R, an identifier alpha and a polynomial p, constructs the extension adjoining alpha to R.

extension(Ring, Polynomial)

Given a ring R and a polynomial p left parenthesis x right parenthesis, constructs the extension adjoining x to R.

extension(Ring, Identifier, Polynomial, Boolean)

Given a ring R, an identifier alpha and a polynomial p, constructs the extension adjoining alpha to R. The Boolean ensures if the ring is a field or not (internally, another algorithm is used).

extension(Ring, Polynomial, Boolean)

Given a ring R and a polynomial p left parenthesis x right parenthesis, constructs the extension adjoining x to R. The Boolean ensures if the ring is a field or not (internally, another algorithm is used).