Conjugate gradient; experiments on positive definite linear systems (FP, 2017-12-15)