Basis change
--- Introduction ---

This is a classical exercise on vector spaces: one gives a new basis B
of as well as a vector u written under the standard basis
of , and you should find the coefficients of
u in the basis , that is the real numbers ci
such that :