# coordinates and the given ones, we need to stick the original
# basis in W.
U = V.span_of_basis( deortho_vector_basis, check=check_axioms)
# coordinates and the given ones, we need to stick the original
# basis in W.
U = V.span_of_basis( deortho_vector_basis, check=check_axioms)