Hi,
I have a matrix M and a vector r both over the integers and I want to solve the equation v∗M=r over the integers. I know that there is the command v = M.solve_left(r) to a vector v satisfying the equation. But how can I force it to be a vector over Z?
