Reduction to a Basis