Relative degree

relative_degree(Extension, Extension)

relative_degree(Extension)

Given two extensions $B$ and $A$, computes the relative degree of $B$ with respect to $A$.

Given an extension $B$, computes the relative degree of $B$ with respect to its precedent.