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.