todd -- compute the Todd class of an abstract sheaf, variety, map

Synopsis

Usage:

todd F

todd X

todd f
Inputs:
- F, an abstract sheaf,
- X, an abstract variety,
- f, an abstract variety map,
Outputs:
- a ring element, the Todd class of $F$, of the (absolute) tangent bundle of $X$, of the (relative) tangent bundle of $f$

Description

i1 : todd abstractProjectiveSpace 6

         7       35       49       203       49
o1 = 1 + -H    + --H    + --H    + ---H    + --H    + H
         2 2,1    6 2,2    8 2,3    45 2,4   20 2,5    2,6

                                                 QQ[][h, H   ..H   ]
                                                          2,1   2,6
o1 : ----------------------------------------------------------------------------------------------------------
     (- h - H   , - h*H    - H   , - h*H    - H   , - h*H    - H   , - h*H    - H   , - h*H    - H   , -h*H   )
             2,1       2,1    2,2       2,2    2,3       2,3    2,4       2,4    2,5       2,5    2,6      2,6

Ways to use todd :

todd(AbstractSheaf)
todd(AbstractVariety)
todd(AbstractVarietyMap)

For the programmer

The object todd is a method function.