• VirtualResolutions -- a package for computing virtual resolutions
• Attempt -- limit number of attempts for randomCurveP1P2
• curveFromP3toP1P2 -- creates the ideal of a curve in P^1xP^2 from the ideal of a curve in P^3
• GeneralElements -- combines generators of same degree into a general linear combination
• idealSheafGens -- creates a list of subsets of the minimal generators that generate a given ideal up to saturation
• isVirtual -- checks whether a chain complex is a virtual resolution
• isVirtual(...,Strategy=>...) -- changes strategy from computing homology to computing minors of boundary maps
• multigradedRegularity -- computes the minimal elements of the multigraded regularity of a module over a multigraded ring
• PreserveDegree -- Determines if curve is disjoint from base loci
• randomCurveP1P2 -- creates the ideal of a random curve in P^1xP^2
• randomMonomialCurve -- creates the ideal of a random monomial curve of degree (d,e) in P^1xP^2
• randomRationalCurve -- creates the ideal of a random rational curve of degree (d,e) in P^1xP^2
• resolveViaFatPoint -- returns a virtual resolution of a zero-dimensional scheme
• virtualOfPair -- creates a virtual resolution from a free resolution by keeping only summands of specified degrees
• virtualOfPair(...,LengthLimit=>...) -- stop when the virtual resolution reaches this length