Regarding rational canonical form/frobenius form of matrices over finite fields
Hi,
The sagemath documentation on linear algebra describes a function frobenius which computes the frobenius normal form (rational canonical form) of a matrix over integers. The same command doesnt work on matrices over finite fields. Can someone help me to find the frobenius form of matrices over finite fields
Sample code :
A = matrix(GF(2),[[1,0,0],[0,0,1],[1,1,0]])
A.frobenius()
This code gives the error
'sage.matrix.matrix_mod2_dense.Matrix_mod2_dense' object has no attribute 'frobenius'
There is work in progress about this kind of thing here : https://trac.sagemath.org/ticket/22397 But it is kind of stuck currently.