The primary purpose of this package is to help compute with intersection theory on smooth varieties. An
AbstractVariety is not given by equations. Instead, one gives its intersection ring (usually mod numerical equivalence), its dimension, and the chern class of its tangent bundle. An
AbstractSheaf is represented by its total chern class (or by its chern character). An
AbstractVarietyMap (missing documentation) is a ’morphism’ of abstract varieties, and the information encoded is the pull-back to the corresponding intersection rings.