Introduce the notation F/S for the structure map from F to S, and extend it to towers of structure maps. Then we could downplay StructureMap. We could also change tangentBundle F so it yields the relative tangent bundle over the immediate predecessor, and let tangentBundle(F/point) serve as the notation for the absolute tangent bundle (see tangentBundle). We could also adopt the notation OO_(F/S)(n) for tautological sheaves.
compare logg and expp to the routines in Schubert, and try to speed them up
Maybe we should distinguish between cohomology and homology.
eliminate the generators from the intersection ring of a flag bundle that correspond to the Chern classes of the first tautological subquotient bundle
change the default names H_(i,j) for the Chern classes of the tautological subquotient bundles on a flag variety to chern_j E_i
make an easy way to specify maps from a variety to a flag bundle, by specifying where all (but one) of the tautological subquotients go
make it possible to call the toric package
add the blow up of a subvariety with known normal bundle and known restriction function
add a function that goes from the Hilbert series of a sheaf on projective space to the Chern class
add knowledge of the intersection ring of an abelian variety, in particular of the Jacobian of a curve
add knowledge of the tautological ring (as far as it's known!) of M_(g,n)
add excess intersection formula
add double (and multiple) point formula
add Bott's formula, useful for counting twisted cubics, as described in Schubert2/Stromme/
The source of this document is in Schubert2.m2:1857:0.