public interface ExtensionField extends FiniteField
int
getDegree()
FiniteField
getSubfield()
getCharacteristic, getDimension
FiniteField getSubfield()
int getDegree()