Extension

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

Syntax

extension(Ring, Identifier, Polynomial)
extension(Ring, Polynomial)

Description

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

abstract_algebra.extension1.calc.png

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

abstract_algebra.extension2.calc.png