Documentation

HexNumberFieldMathlib.AlgebraicallyClosed

source
instance Hex.AlgebraicNumber.instIsAlgClosed :
IsAlgClosed AlgebraicNumber

Canonical algebraic numbers form an algebraically closed field.

source
instance Hex.AlgebraicNumber.instIsAlgClosure :
IsAlgClosure ℚ AlgebraicNumber

This executable field is an algebraic closure of the rationals.