Gaussian Curvature of a 2D manifold.
Given a two-dimensional manfiold M, a chart X, a metric and the connection coefficents, is it possible to calculate the Gaussian curvature of this manifold using SageManifolds?
I thought that such an opperation would look something like "K = M.gaussian_curvature()", but I get the following attribute error:
'DifferentiableManifold_with_category' object has no attribute 'gaussian_curvature'.
I'm new to SageManifolds, and I'm a little confused with how to proceed.
Tip: provide code for defining the "givens": a two-dimensional manfiold M, a chart X, a metric and the connection coefficents.