next | previous | forward | backward | up | top | index | toc | Macaulay2 website
VirtualResolutions :: isVirtual(...,Strategy=>...)

isVirtual(...,Strategy=>...) -- changes strategy from computing homology to computing minors of boundary maps


If Strategy is set to Determinantal, isVirtual will check whether the given chain complex is a virtual resolution by checking the depth of the saturation of the ideals of maximal rank from the boundary maps. See Theorem 1.3 of [Loper, arXiv:1904.05994].

Further information

See also

Functions with optional argument named Strategy :