Total degree
Computes the total degree or index of a field extension , usually denoted as .
Syntax
total_degree(Extension)
Description
Given a field extension , computes the degree of with respect to its precedent.
Computes the total degree or index of a field extension , usually denoted as .
total_degree(Extension)
Given a field extension , computes the degree of with respect to its precedent.