Extension

Reading time: 1min

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

Syntax

extension(Ring, Identifier, Polynomial)

extension(Ring, Polynomial)

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

Given a ring R and a polynomial p(x), constructs the extension adjoining x to R.

Syntax Description