# The rank is the highest possible degree of a minimal
# polynomial, and is bounded above by the dimension. We know
# in this case that there's an element whose minimal
# polynomial has the same degree as the space's dimension
# (remember how we constructed the space?), so that must be
# its rank too.
# The rank is the highest possible degree of a minimal
# polynomial, and is bounded above by the dimension. We know
# in this case that there's an element whose minimal
# polynomial has the same degree as the space's dimension
# (remember how we constructed the space?), so that must be
# its rank too.