Petsc-线性系统求解以及矩阵向量的组装