今回は Python（SymPy）を活用する具体例として、４次元時空のde Sitter（ド・ジッター）解が宇宙定数がある場合のアインシュタイン方程式の解になっていることをPython（SymPy）を使って確認してみたいと思います。宇宙定数がゼロの場合には、前の記事piano…