16.12 Extension Element Records

Elements of an algebraic extension are represented by a record. The record for the element e of L contains the components isAlgebraicElement, domain and coefficients:

isAlgebraicElement:

is always true, and indicates, that e is an algebraic element.

domain:

contains L.

coefficients:

contains the coefficients of e as a polynomial in the primitive root of L.

Previous Up Top Next
Index