  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.
