Check the result from QRationalCanonicalForm[2].
Condition 1 is satisfied.
Condition 2 is satisfied.
Condition 3 is satisfied.
Condition 4 is satisfied.
Degrees of the kernel:
The degree of v1 is minimal:
The degree of u2 is minimal:
For , the degree of the shell is minimal: