What is the best method of solving matrix equations with constraints? I also need a method to get the solution so I can generate a new matrix. For example, suppose A and B are known matrices and X is unknown. I want to solve:
(A^2 - X^2)B=0 over the integers mod p, with possible constraints on some X(i,j). The solution will then automatically determine a new matrix M.
I have been using FindInstance with some success without the squares, but once I add the squares I get some errors.