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

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

Description

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 arXiv:1904.05994.

Further information

See also