Streams and Lazy Evaluation Applied to Integrable Models

Abstract

Computer algebra procedures to manipulate pseudo-differential operators are implemented to perform calculations with integrable models. We use lazy evaluation and streams to represent and operate with pseudo-differential operators. No order of truncation is needed since terms are produced on demand. We give a series of concrete examples using the computer algebra language MAPLE.