SAGE

Simplicial homology を sagemathで

単体的複体によって位相を表現する 単体的複体を構成する、1-単体、2-単体、...、k-単体, ... とすると、1,2,...k-単体の集合ごとに「層」を作って評価する k-単体の集まりを考えるとき、k-単体のそれぞれを「基底の1つ」としてアーベル群を構成する。それ…

gfan in sagemath でトロピカル多様体

SAGEでリーマンの写像定理遊びをする

単位円板と同相な面があったとき、conformalな写像が存在して、単位円板に滑らかに移せる、しかもしれは一意、というのがリーマンの写像定理 存在証明と一意性の証明はされるものの、「みつける」のは面倒くさくて、計算機的にはちまちまと計算するらしい 数…

SAGE で団代数

こちらにSAGEの団代数パッケージのチュートリアルがある こちらにその文書PDF 団代数についてはこちらにメモした SAGEについてはこちらにメモした

SAGEでカバーする数学アプリケーション

こちらからSAGEがインストールできる SAGEは、以下の数学アプリをラッピングしている GP/PARI("計算機代数システムで、整数論 (因数分解、 代数的数理論、楕円曲線等) における計算を高速に行なえる") pari.math.u-bordeaux.fr GAP www.gap-system.org ("com…