Go backward to `desing/branchSize`Go up to ProceduresGo forward to `desing/chtohtml` |

Coordinate computation of a vector in a vector space with respect to a given basis.

**Input:**-
**V**- a basis of a vector space in the
*k*-algebra of the chart, **P**- the polynomial whose coordinates in has to be determined with
respect to
*V*, **S**- the list of variables of the chart (cf.
`VAR`), **C**- (output parameter) the coordinates of
*P*in*V*.

**Output:**- true if the given vector is in the vector space, false otherwise.