Total degree

Computes the total degree or index of a field extension E divided by F, usually denoted as left square bracket E colon F right square bracket.

total_degree(Extension)

Given a field extension A, computes the degree of A with respect to its precedent.