### 1.46.11 Αναγωγή σε πίνακα Hessenberg : hessenberg

hessenberg παίρνει ως όρισμα έναν πίνακα A.
hessenberg επιστρέφει μία λίστα δύο πινάκων P και H έτσι ώστε A=PHP−1. Ο H είναι πίνακας Hessenberg ισοδύναμος με τον A και οι συντελεστές του κάτω από την υποδιαγώνιο είναι μηδενικοί.
Είσοδος :

hessenberg([[3,2,2,2,2],[2,1,2,-1,-1],[2,2,1,-1,1], [2,-1,-1,3,1],[2,-1,1,1,2]])

Έξοδος :

[[1,0,0,0,0],[0,1,0,0,0],[0,1,1,0,0],[0,1,1/2,1/4,1], [0,1,1,1,0]],[[3,8,5,5/2,2],[2,1,1/2,-5/4,-1],[0,2,1,2,0], [0,0,2,3/2,2],[0,0,0,13/8,7/2]]

Είσοδος

A:=[[3,2,2,2,2],[2,1,2,-1,-1],[2,2,1,-1,1],
[2,-1,-1,3,1],[2,-1,1,1,2]] :;
[P,H]:= hessenberg(A):; pcar(A,x)==pcar(H,x)

Έξοδος: 1.
Επομένως, οι πίνακες A και H έχουν το ίδιο χαρακτηριστικό πολυώνυμο.