3.5 Canonical Forms - cs.ucr.edu