域上一元多项式上的稠密矩阵