Dear Abdul Jarrah,
> I want to compute the rational canonical form of a square
> matrix over a finite field. Based on what is in the
>library linalg, it seems that there is no built-in command
> for that.
> Do you know how to compute RCF in Singular?
> Any help will greatly be appreciated.
Actually, in the SINGULAR book there is an exercise 2.6.3 on the page 165, where a "rational normal form" is asked to compute.
There are hints to this exercise, so it is not complicated to implement it by yourself.
> Thanks in advance.
With best regards,