revising pseudo-algorithm; revising text on paint order; revising description on clipping of floats
machine-generated version