微分形式をあつかうCartan パッケージ

if get('cartan,'version)=false then load("cartan");
(もしくは単に) load("cartan");

としておいて cartan パッケージをload することでこの節の内容のことが行えます。

詳しくは load("cartan") のあと demo(cartan) すれば 詳しい解説が行われます。