20140118
使用GRTensorM
<<grii/grt.m
初始化坐标、基矢和度规（“sphere3d”只是一个名字，随后要在弹出窗口中输入各种参数）
makeg[sphere3d]

ConnectionExample.nb.pdf

20140116

使用Ricci
<<Ricci.m
定义丛（切丛）
DefineBundle[tangent,n,g,{i,j,k,l,m},MetricType->Riemannian]
定义各种张量（场）（包括标量、矢量、余矢、微分形式）
DefineTensor[u,0]DefineTensor[w,1]DefineTensor[v,1,Variance->Con]DefineTensor[eta,2,Symmetries->Skew]
求张量（场）的全导数
Del[w]
正如几何语言中那样，张量是不带（具体）指标的，需要指定指标
% [L[j],L[k]]
或者可以进行基底展开（其中N是Del[w]对应的公式号）
BasisExpand[%N]

20140115