canonical_form takes as argument a trinomial of second
degree.

canonical_form returns the canonical form of the argument.

Example :

Find the canonical form of :

x^{2}−6x+1 |

Input :

canonical_form(x

`^`

2-6*x+1)Output :

(x-3)

`^`

2-8