Total degree

Computes the total degree or index of a field extension E/F, usually denoted as [E:F].

Syntax

total_degree(Extension)

Description

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

abstract_algebra.total_degree.calc.png