next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
CharacteristicClasses :: ResidualStrategy

ResidualStrategy

Description

The option ResidualStrategy determines which strategy is used to compute the residuals, which is the main step in the computation of the Chern and Segre classes. When choosing the default Symbolic, Gröbner basis methods will be used. The computations can also be done numerically using the regenerative cascade implemented in Bertini. This is done by choosing the option Bertini and provided Bertini is installed and configured. Using Bertini will usually result in a considerable speed-up.
i1 : R = QQ[x,y,z,w]

o1 = R

o1 : PolynomialRing
i2 : chernClass( minors(2,matrix{{x,y,z},{y,z,w}}), ResidualStrategy=>Symbolic)

       3     2
o2 = 2H  + 3H

     ZZ[H]
o2 : -----
        4
       H

Functions with optional argument named ResidualStrategy :

For the programmer

The object ResidualStrategy is a symbol.