class interface COMPOSITION_PAIR

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