[GiNaC-list] matrix::solve(): how to use?