I am trying to multiple a symbolic 1x1 matrix with one element in it, by a square matrix over a finite field. for example
[-9*x0^2 - 11*x0*x1 - 5*x1^2 - 11*x0*x2 - 4*x1*x2 + 7*x2^2 + 13*x1*x3 + 8*x2*x3 + 4*x3^2 - 6*x0*x4 - 4*x1*x4 - 15*x2*x4 + 9*x0*x5 - 8*x1*x5 - 5*x2*x5 - 3*x3*x5]
to be multiplied with them matrix
[18 23 14 1 6 21]
[24 3 3 0 2 0]
[17 25 2 16 23 8]
[ 8 21 16 5 1 9]
[14 28 8 17 12 12]
[ 6 24 18 19 3 1]
however when i try this i get the following error:
TypeError: unsupported operand parent(s) for *: 'Full MatrixSpace of 1 by 1 dense matrices over Multivariate Polynomial Ring in x0, x1, x2, x3, x4, x5 over Finite Field of size 31' and 'Full MatrixSpace of 6 by 6 dense matrices over Finite Field of size 31'
Is there a way to do this?
