The RootOfs in the following example are dependent, and the formal algebraic degree is bigger than the actual degree, which is :
The set of RootOfs in the following example is not closed under sub-RootOfs, and Degree does not return the correct formal degree, which is :