linear alg verification; start of a non-working use of Cairo for displays