maple code in Discrete Schemes for Gaussian Curvature and Their Convergence