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 $\mathbb{Z}$?
