companion παίρνει ως όρισμα ένα πολυώνυμο P με μοναδιαίο κύριο συντελεστή και το όνομα
της μεταβλητής του.
companion επιστρέφει τον πίνακα του οποίου το χαρακτηριστικό πολυώνυμο είναι P.
Εάν P(x)=xn+an−1xn−1+...+a−1x+a0,
αυτός ο πίνακας ισούται με τον μοναδιαίο πίνακα μεγέθους n−1 στον οποίο έχουν προστεθεί
[0,0..,0,−a0] σαν πρώτη γραμμή, και
[−a0,−a1,....,−an−1] σαν τελευαταία στήλη.
Είσοδος :
^
2+5x-7,x)Έξοδος :
Είσοδος :
^
4+3x^
3+2x^
2+4x-1,x)Έξοδος :