Go backward to `desing/singw` Go up to Procedures Go forward to `desing/testintegrity`

`desing/substitute`

Performing variable elimination by substitution in a chart-record.

Input:

 

O

a chart record,

SUB

the list of pairs [k, eq], where k is an index to the S member of the chart, and eq is the substitution equation for it.

Output:

the chart-record with the given substitutions performed.