Macaulay2 » Documentation
Packages » Schubert2 > Ideas for future development
next | previous | forward | backward | up | index | toc

Ideas for future development

  • 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/