creation
make (replace: INDETERMINATE; replace_with: POLYNOMIAL)
meaning: we want 'replace' to be replaced with 'replace_with'
feature(s) from COMPOSITION_PAIR
variable: INDETERMINATE
replaced_by: POLYNOMIAL
make (replace: INDETERMINATE; replace_with: POLYNOMIAL)
meaning: we want 'replace' to be replaced with 'replace_with'
end of COMPOSITION_PAIR