Coordinate computation of a vector in a vector space with respect to a
- a basis of a vector space in the k-algebra of the chart,
- the polynomial whose coordinates in has to be determined with
respect to V,
- the list of variables of the chart (cf. VAR),
- (output parameter) the coordinates of P in V.
- true if the given vector is in the vector space, false