Jmap Solving Linear Systems