Shirasawa's Maple: Difference between revisions