Changes between Version 7 and Version 8 of Ticket #29581, comment 47


Ignore:
Timestamp:
08/19/21 08:59:19 (4 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29581, comment 47

    v7 v8  
    11Well, what I need to know is already encoded in the characteristic cohomology class itself. For example, if it contains no Euler class generator, then I don't need to invoke `EulerAlgorithm().get(nab)`. Like I said, this only matters for the "mixed" PontryaginEuler case because in any other case I have to do the full computation anyway.
    22
    3 One reason why this is important: in the odd-rank case, this algorithm for the Euler class is not working. But one may still want to compute the Pontryagin classes.
     3One reason why this is important: in the odd-rank case, or for non-Levi-Civita connections, this algorithm for the Euler class is not working. But one may still want to compute the Pontryagin classes.
    44
    55The current commit makes sure of that by asking for the power of a certain generator and returning the one scalar field right away if the exponent is zero. This works, but it feels rather dirty to me, and I ponder whether there might be a nicer solution to this.