ExtensionDegree

ExtensionDegree[f]
gives the degree of the extension of the field f over its base field.

更多信息更多信息