`desing/exchange`
Performing exchange operation on a chart-record with chart U.
- Input:
-
- O
- a chart-record,
- f
- a polynomial form k[S] (a representative of an element of
k[U]),
- p
- an index to the IND member of the chart,
- a
- a polynomial from k[S], the inverse of
the partial
derivative of f w.r.t. IND[p].
- Output:
- a new chart-record with IND[p] exchanged to
f.
The input chart is moved to chartHistory and the operation is
registered in chartTree. The value of
globalChartCounter is increased by one.