Add a first version of the LMM algorithm + solver for ax^2-by^2=c.