Degree

degree(Expression)

degree(Expression, Identifier)

degree(Expression, Integer)

Given an expression, returns its degree.

Given an expression and an identifier $t$, returns its degree with respect to $t$.

Given an expression and an integer $n$, returns its degree with respect to the $n$-th variable (sorted in lexicographical order).