Does Maxima have QR factorization built in?
i.e.? A = Q*R
where A has more rows than columns, Q is orthogonal, and R is upper triangular?
Also, does? Maxima have a backsubstitution method, so that
the overdetermined linear system? Ax~b can be solved using QR factorization by solving Rx=Q'b by backsubstitution?