Go backward to `desing/branchSize` Go up to Procedures Go forward to `desing/chtohtml`

`desing/ccvv`

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.