>>221 補足

Macaulay2 ではないが、マイヤー・ヴィートリス完全系列
https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%A4%E3%83%A4%E3%83%BC%E3%83%BB%E3%83%B4%E3%82%A3%E3%83%BC%E3%83%88%E3%83%AA%E3%82%B9%E5%AE%8C%E5%85%A8%E7%B3%BB%E5%88%97
数学の特に代数的位相幾何学およびホモロジー論におけるマイヤー・ヴィートリス完全系列（マイヤーヴィートリスかんぜんけいれつ、英: Mayer?Vietoris sequence）は、
位相空間が持つホモロジー群やコホモロジー群といった代数的位相不変量を計算するのに便利な道具の一つで、オーストリアの数学者ヴォルター・マイヤーとレオポルト・ヴィートリスによって示された。
これは、位相空間を（コ）ホモロジーの計算がより容易にできるような部分空間の小片に分解するとき、得られる部分空間の（コ）ホモロジーの列ともとの空間のそれとの関係を述べたもので、それによりもとの空間のそれらを計算するという方法論を与える。
マイヤー・ヴィートリス完全系列と呼ばれる完全系列は、全体空間の（コ）ホモロジー群、部分空間の（コ）ホモロジー群の直和、部分空間の交わりの（コ）ホモロジー群の三者から構成される自然な長完全列である。

位相幾何学に現れるような空間の多くは非常に簡単な小片の貼り合わせとして構成されるが、
そういったものの中で、空間を被覆する二つの部分空間（およびそれらの交わり）がもとの空間より単純な（コ）ホモロジーを持つものを注意深く選べば、マイヤー・ヴィートリス完全系列によりもとの空間の（コ）ホモロジーが完全に演繹できるというのである。
この観点で言えば、マイヤー・ヴィートリス完全系列は、基本群に対するザイフェルト-ファン・カンペンの定理（英語版）の類似であり、実際一次元ホモロジーに対しては明確な関係がある。