The canonical form of a second degree polyomial in a variable x is the form a(x−c)2+b.
The canonical_form command finds the canonical form of a second degree polynomial.