Maxima Function
orthogonal_complement (v_1, ..., v_n)
Return span (u_1, ..., u_m), where the set {u_1, ..., u_m} is a basis for the orthogonal complement of the set (v_1, ..., v_n).
span (u_1, ..., u_m)
{u_1, ..., u_m}
(v_1, ..., v_n)
Each vector v_1 through v_n must be a column vector.